default search action
Henryk Michalewski
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c39]Spyridon Mouselinos, Henryk Michalewski, Mateusz Tomasz Malinowski:
Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models. EMNLP (Findings) 2024: 6192-6222 - [c38]Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktäschel:
Promptbreeder: Self-Referential Self-Improvement via Prompt Evolution. ICML 2024 - [i40]Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski:
Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models. CoRR abs/2402.03877 (2024) - [i39]Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov:
Grounding Data Science Code Generation with Input-Output Specifications. CoRR abs/2402.08073 (2024) - [i38]Machel Reid, Nikolay Savinov, Denis Teplyashin, Dmitry Lepikhin, Timothy P. Lillicrap, Jean-Baptiste Alayrac, Radu Soricut, Angeliki Lazaridou, Orhan Firat, Julian Schrittwieser, Ioannis Antonoglou, Rohan Anil, Sebastian Borgeaud, Andrew M. Dai, Katie Millican, Ethan Dyer, Mia Glaese, Thibault Sottiaux, Benjamin Lee, Fabio Viola, Malcolm Reynolds, Yuanzhong Xu, James Molloy, Jilin Chen, Michael Isard, Paul Barham, Tom Hennigan, Ross McIlroy, Melvin Johnson, Johan Schalkwyk, Eli Collins, Eliza Rutherford, Erica Moreira, Kareem Ayoub, Megha Goel, Clemens Meyer, Gregory Thornton, Zhen Yang, Henryk Michalewski, Zaheer Abbas, Nathan Schucher, Ankesh Anand, Richard Ives, James Keeling, Karel Lenc, Salem Haykal, Siamak Shakeri, Pranav Shyam, Aakanksha Chowdhery, Roman Ring, Stephen Spencer, Eren Sezener, et al.:
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context. CoRR abs/2403.05530 (2024) - [i37]Thomas Mesnard, Cassidy Hardin, Robert Dadashi, Surya Bhupatiraju, Shreya Pathak, Laurent Sifre, Morgane Rivière, Mihir Sanjay Kale, Juliette Love, Pouya Tafti, Léonard Hussenot, Aakanksha Chowdhery, Adam Roberts, Aditya Barua, Alex Botev, Alex Castro-Ros, Ambrose Slone, Amélie Héliou, Andrea Tacchetti, Anna Bulanova, Antonia Paterson, Beth Tsai, Bobak Shahriari, Charline Le Lan, Christopher A. Choquette-Choo, Clément Crepy, Daniel Cer, Daphne Ippolito, David Reid, Elena Buchatskaya, Eric Ni, Eric Noland, Geng Yan, George Tucker, George-Cristian Muraru, Grigory Rozhdestvenskiy, Henryk Michalewski, Ian Tenney, Ivan Grishchenko, Jacob Austin, James Keeling, Jane Labanowski, Jean-Baptiste Lespiau, Jeff Stanway, Jenny Brennan, Jeremy Chen, Johan Ferret, Justin Chiu, et al.:
Gemma: Open Models Based on Gemini Research and Technology. CoRR abs/2403.08295 (2024) - 2023
- [j6]Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel:
PaLM: Scaling Language Modeling with Pathways. J. Mach. Learn. Res. 24: 240:1-240:113 (2023) - [c37]Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Oleksandr Polozov, Charles Sutton:
Natural Language to Code Generation in Interactive Data Science Notebooks. ACL (1) 2023: 126-173 - [c36]Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski:
A Simple, Yet Effective Approach to Finding Biases in Code Generation. ACL (Findings) 2023: 11299-11329 - [c35]Brianna Zitkovich, Tianhe Yu, Sichun Xu, Peng Xu, Ted Xiao, Fei Xia, Jialin Wu, Paul Wohlhart, Stefan Welker, Ayzaan Wahid, Quan Vuong, Vincent Vanhoucke, Huong T. Tran, Radu Soricut, Anikait Singh, Jaspiar Singh, Pierre Sermanet, Pannag R. Sanketi, Grecia Salazar, Michael S. Ryoo, Krista Reymann, Kanishka Rao, Karl Pertsch, Igor Mordatch, Henryk Michalewski, Yao Lu, Sergey Levine, Lisa Lee, Tsang-Wei Edward Lee, Isabel Leal, Yuheng Kuang, Dmitry Kalashnikov, Ryan Julian, Nikhil J. Joshi, Alex Irpan, Brian Ichter, Jasmine Hsu, Alexander Herzog, Karol Hausman, Keerthana Gopalakrishnan, Chuyuan Fu, Pete Florence, Chelsea Finn, Kumar Avinava Dubey, Danny Driess, Tianli Ding, Krzysztof Marcin Choromanski, Xi Chen, Yevgen Chebotar, Justice Carbajal, Noah Brown, Anthony Brohan, Montserrat Gonzalez Arenas, Kehang Han:
RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. CoRL 2023: 2165-2183 - [c34]Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos:
Focused Transformer: Contrastive Training for Context Scaling. NeurIPS 2023 - [i36]Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos:
Focused Transformer: Contrastive Training for Context Scaling. CoRR abs/2307.03170 (2023) - [i35]Anthony Brohan, Noah Brown, Justice Carbajal, Yevgen Chebotar, Xi Chen, Krzysztof Choromanski, Tianli Ding, Danny Driess, Avinava Dubey, Chelsea Finn, Pete Florence, Chuyuan Fu, Montse Gonzalez Arenas, Keerthana Gopalakrishnan, Kehang Han, Karol Hausman, Alexander Herzog, Jasmine Hsu, Brian Ichter, Alex Irpan, Nikhil J. Joshi, Ryan Julian, Dmitry Kalashnikov, Yuheng Kuang, Isabel Leal, Lisa Lee, Tsang-Wei Edward Lee, Sergey Levine, Yao Lu, Henryk Michalewski, Igor Mordatch, Karl Pertsch, Kanishka Rao, Krista Reymann, Michael S. Ryoo, Grecia Salazar, Pannag Sanketi, Pierre Sermanet, Jaspiar Singh, Anikait Singh, Radu Soricut, Huong T. Tran, Vincent Vanhoucke
, Quan Vuong
RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. CoRR abs/2307.15818 (2023) - [i34]Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktäschel:
Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution. CoRR abs/2309.16797 (2023) - [i33]Konrad Staniszewski, Szymon Tworkowski, Sebastian Jaszczur, Henryk Michalewski, Lukasz Kucinski, Piotr Milos:
Structured Packing in LLM Training Improves Long Context Utilization. CoRR abs/2312.17296 (2023) - 2022
- [c33]Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos:
Off-Policy Correction For Multi-Agent Reinforcement Learning. AAMAS 2022: 1774-1776 - [c32]Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski:
Measuring CLEVRness: Black-box Testing of Visual Reasoning Models. ICLR 2022 - [c31]Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska:
Q-Value Weighted Regression: Reinforcement Learning with Limited Data. IJCNN 2022: 1-8 - [c30]Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski:
Hierarchical Transformers Are More Efficient Language Models. NAACL-HLT (Findings) 2022: 1559-1571 - [c29]Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Sergio Guadarrama, Ian Fischer, Winnie Xu, Eric Jang, Henryk Michalewski, Igor Mordatch:
Multi-Game Decision Transformers. NeurIPS 2022 - [c28]Aitor Lewkowycz, Anders Andreassen, David Dohan, Ethan Dyer, Henryk Michalewski, Vinay V. Ramasesh, Ambrose Slone, Cem Anil, Imanol Schlag, Theo Gutman-Solo, Yuhuai Wu, Behnam Neyshabur, Guy Gur-Ari, Vedant Misra:
Solving Quantitative Reasoning Problems with Language Models. NeurIPS 2022 - [i32]Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski:
Measuring CLEVRness: Blackbox testing of Visual Reasoning Models. CoRR abs/2202.12162 (2022) - [i31]Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel:
PaLM: Scaling Language Modeling with Pathways. CoRR abs/2204.02311 (2022) - [i30]Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Winnie Xu, Sergio Guadarrama, Ian Fischer, Eric Jang, Henryk Michalewski, Igor Mordatch:
Multi-Game Decision Transformers. CoRR abs/2205.15241 (2022) - [i29]Aitor Lewkowycz, Anders Andreassen, David Dohan, Ethan Dyer, Henryk Michalewski, Vinay V. Ramasesh, Ambrose Slone, Cem Anil, Imanol Schlag, Theo Gutman-Solo, Yuhuai Wu, Behnam Neyshabur, Guy Gur-Ari, Vedant Misra:
Solving Quantitative Reasoning Problems with Language Models. CoRR abs/2206.14858 (2022) - [i28]David Dohan, Winnie Xu, Aitor Lewkowycz, Jacob Austin, David Bieber, Raphael Gontijo Lopes, Yuhuai Wu, Henryk Michalewski, Rif A. Saurous, Jascha Sohl-Dickstein, Kevin Murphy, Charles Sutton:
Language Model Cascades. CoRR abs/2207.10342 (2022) - [i27]Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski:
A Simple, Yet Effective Approach to Finding Biases in Code Generation. CoRR abs/2211.00609 (2022) - [i26]Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Alex Polozov, Charles Sutton:
Natural Language to Code Generation in Interactive Data Science Notebooks. CoRR abs/2212.09248 (2022) - 2021
- [c27]Piotr Piekos, Mateusz Malinowski, Henryk Michalewski:
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. ACL/IJCNLP (2) 2021: 383-394 - [c26]Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva:
Sparse is Enough in Scaling Transformers. NeurIPS 2021: 9895-9907 - [c25]Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban:
Towards Finding Longer Proofs. TABLEAUX 2021: 167-186 - [i25]Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska:
Q-Value Weighted Regression: Reinforcement Learning with Limited Data. CoRR abs/2102.06782 (2021) - [i24]Piotr Piekos, Henryk Michalewski, Mateusz Malinowski:
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. CoRR abs/2106.03921 (2021) - [i23]Jacob Austin, Augustus Odena, Maxwell I. Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie J. Cai, Michael Terry, Quoc V. Le, Charles Sutton:
Program Synthesis with Large Language Models. CoRR abs/2108.07732 (2021) - [i22]Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski:
Hierarchical Transformers Are More Efficient Language Models. CoRR abs/2110.13711 (2021) - [i21]Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos:
Off-Policy Correction For Multi-Agent Reinforcement Learning. CoRR abs/2111.11229 (2021) - [i20]Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva:
Sparse is Enough in Scaling Transformers. CoRR abs/2111.12763 (2021) - [i19]Maxwell I. Nye, Anders Johan Andreassen, Guy Gur-Ari, Henryk Michalewski, Jacob Austin, David Bieber, David Dohan, Aitor Lewkowycz, Maarten Bosma, David Luan, Charles Sutton, Augustus Odena:
Show Your Work: Scratchpads for Intermediate Computation with Language Models. CoRR abs/2112.00114 (2021) - 2020
- [c24]Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H. Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski
Model Based Reinforcement Learning for Atari. ICLR 2020 - [c23]Blazej Osinski, Adam Jakubowski, Pawel Ziecina, Piotr Milos, Christopher Galias, Silviu Homoceanu, Henryk Michalewski:
Simulation-Based Reinforcement Learning for Real-World Autonomous Driving. ICRA 2020: 6411-6418 - [i18]Sebastian Jaszczur, Michal Luszczyk, Henryk Michalewski:
Neural heuristics for SAT solving. CoRR abs/2005.13406 (2020) - [i17]Blazej Osinski, Piotr Milos, Adam Jakubowski, Pawel Ziecina, Michal Martyniak, Christopher Galias, Antonia Breuer, Silviu Homoceanu, Henryk Michalewski:
CARLA Real Traffic Scenarios - novel training ground and benchmark for autonomous driving. CoRR abs/2012.11329 (2020)
2010 – 2019
- 2019
- [j5]Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak:
The logical strength of Büchi's decidability theorem. Log. Methods Comput. Sci. 15(2) (2019) - [i16]Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H. Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski
Model-Based Reinforcement Learning for Atari. CoRR abs/1903.00374 (2019) - [i15]Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban:
Towards Finding Longer Proofs. CoRR abs/1905.13100 (2019) - [i14]Blazej Osinski, Adam Jakubowski, Piotr Milos, Pawel Ziecina, Christopher Galias, Silviu Homoceanu, Henryk Michalewski:
Simulation-based reinforcement learning for real-world autonomous driving. CoRR abs/1911.12905 (2019) - 2018
- [j4]Henryk Michalewski, Michal Skrzypczak:
On the Strength of Unambiguous Tree Automata. Int. J. Found. Comput. Sci. 29(5): 911-933 (2018) - [j3]Matteo Mio, Michal Skrzypczak, Henryk Michalewski:
Monadic Second Order Logic with Measure and Category Quantifiers. Log. Methods Comput. Sci. 14(2) (2018) - [c22]Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olsák:
Reinforcement Learning of Theorem Proving. NeurIPS 2018: 8836-8847 - [c21]Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski:
Distributed Deep Reinforcement Learning: Learn How to Play Atari Games in 21 minutes. ISC 2018: 370-388 - [i13]Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski:
Distributed Deep Reinforcement Learning: Learn how to play Atari games in 21 minutes. CoRR abs/1801.02852 (2018) - [i12]Lukasz Kidzinski, Sharada Prasanna Mohanty, Carmichael F. Ong, Zhewei Huang, Shuchang Zhou, Anton Pechenko, Adam Stelmaszczyk, Piotr Jarosik, Mikhail Pavlov, Sergey Kolesnikov, Sergey M. Plis, Zhibo Chen, Zhizheng Zhang, Jiale Chen, Jun Shi, Zhuobin Zheng, Chun Yuan, Zhihui Lin, Henryk Michalewski, Piotr Milos, Blazej Osinski, Andrew Melnik, Malte Schilling
Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments. CoRR abs/1804.00361 (2018) - [i11]Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olsák:
Reinforcement Learning of Theorem Proving. CoRR abs/1805.07563 (2018) - [i10]Michal Garmulewicz, Henryk Michalewski, Piotr Milos:
Expert-augmented actor-critic for ViZDoom and Montezumas Revenge. CoRR abs/1809.03447 (2018) - 2017
- [j2]Tomasz Gogacz, Henryk Michalewski, Matteo Mio
Measure properties of regular sets of trees. Inf. Comput. 256: 108-130 (2017) - [c20]Maciej Klimek, Henryk Michalewski, Piotr Milos:
Hierarchical Reinforcement Learning with Parameters. CoRL 2017: 301-313 - [c19]Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski:
Atari Games and Intel Processors. CGW@IJCAI 2017: 1-18 - [c18]Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak:
A Characterisation of Pi^0_2 Regular Tree Languages. MFCS 2017: 56:1-56:14 - [i9]Henryk Michalewski, Matteo Mio, Michal Skrzypczak:
Monadic Second Order Logic with Measure and Category Quantifiers. CoRR abs/1702.04769 (2017) - [i8]Mikolaj Bojanczyk, Henryk Michalewski:
Some connections between universal algebra and logics for trees. CoRR abs/1703.04736 (2017) - [i7]Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski:
Atari games and Intel processors. CoRR abs/1705.06936 (2017) - 2016
- [c17]Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz:
An upper bound of 84 for Morpion Solitaire 5D. CCCG 2016: 270-278 - [c16]Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak:
The Logical Strength of Büchi's Decidability Theorem. CSL 2016: 36:1-36:16 - [c15]Henryk Michalewski, Michal Skrzypczak:
Unambiguous Büchi Is Weak. DLT 2016: 319-331 - [c14]Oskar Skibski
Non-Utilitarian Coalition Structure Generation. ECAI 2016: 1738-1739 - [c13]Jakub Sygnowski, Henryk Michalewski:
Learning from the Memory of Atari 2600. CGW@IJCAI 2016: 71-85 - [c12]Henryk Michalewski, Matteo Mio
Measure Quantifier in Monadic Second Order Logic. LFCS 2016: 267-282 - [c11]Leszek Aleksander Kolodziejczyk, Henryk Michalewski:
How unprovable is Rabin's decidability theorem? LICS 2016: 788-797 - [c10]Henryk Michalewski, Matteo Mio
On the Regular Emptiness Problem of Subzero Automata. ICE 2016: 1-23 - [i6]Jakub Sygnowski, Henryk Michalewski:
Learning from the memory of Atari 2600. CoRR abs/1605.01335 (2016) - [i5]Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak:
The logical strength of Büchi's decidability theorem. CoRR abs/1608.07514 (2016) - 2015
- [c9]Henryk Michalewski, Matteo Mio
On the Problem of Computing the Probability of Regular Sets of Trees. FSTTCS 2015: 489-502 - [c8]Henryk Michalewski, Matteo Mio
Baire Category Quantifier in Monadic Second Order Logic. ICALP (2) 2015: 362-374 - [c7]Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz
485 - A New Upper Bound for Morpion Solitaire. CGW/GIGA@IJCAI 2015: 44-59 - [i4]Leszek Aleksander Kolodziejczyk, Henryk Michalewski:
How unprovable is Rabin's decidability theorem? CoRR abs/1508.06780 (2015) - [i3]Henryk Michalewski, Matteo Mio:
On the Problem of Computing the Probability of Regular Sets of Trees. CoRR abs/1510.01640 (2015) - 2014
- [j1]André Arnold, Henryk Michalewski, Damian Niwinski:
On the Separation Question for Tree Languages. Theory Comput. Syst. 55(4): 833-855 (2014) - [c6]Alessandro Facchini
Deciding the Borel Complexity of Regular Tree Languages. CiE 2014: 163-172 - [c5]Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak:
On the Decidability of MSO+U on Infinite Trees. ICALP (2) 2014: 50-61 - [c4]Tomasz Gogacz, Henryk Michalewski, Matteo Mio
Measure Properties of Game Tree Languages. MFCS (1) 2014: 303-314 - [i2]Henryk Michalewski, Michal Skrzypczak:
Unambiguous Buchi is weak. CoRR abs/1401.4025 (2014) - [i1]Alessandro Facchini, Henryk Michalewski:
Deciding the Borel complexity of regular tree languages. CoRR abs/1403.3502 (2014) - 2012
- [c3]Henryk Michalewski, Damian Niwinski:
On Topological Completeness of Regular Tree Languages. Logic and Program Semantics 2012: 165-179 - [c2]André Arnold, Henryk Michalewski, Damian Niwinski:
On the separation question for tree languages. STACS 2012: 396-407
2000 – 2009
- 2009
- [c1]Szczepan Hummel, Henryk Michalewski, Damian Niwinski:
On the Borel Inseparability of Game Tree Languages. STACS 2009: 565-575
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 19:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: