Henryk Michalewski

87 papers A* 12A 4B 4C 3Misc 3Journal 46Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Structured Packing in LLM Training Improves Long Context Utilization. AAAI Konrad Staniszewski, Szymon Tworkowski, Sebastian Jaszczur, Yu Zhao, Henryk Michalewski, Lukasz Kucinski, Piotr Milos
2025	A*	`conf`	Towards Robust Mathematical Reasoning. EMNLP Thang Luong, Dawsen Hwang, Hoang H. Nguyen, Golnaz Ghiasi, Yuri Chervonyi, Insuk Seo, Junsu Kim, Garrett Bingham, Jonathan Lee, Swaroop Mishra, Alex Zhai, Clara Huiyi Hu, Henryk Michalewski, Jimin Kim, Jeonghyun Ahn, Junhwi Bae, Xingyou Song, Trieu H. Trinh, Quoc V. Le, Junehyuk Jung
2025	J	`jnl`	Towards Robust Mathematical Reasoning. CoRR Thang Luong, Dawsen Hwang, Hoang H. Nguyen, Golnaz Ghiasi, Yuri Chervonyi, Insuk Seo, Junsu Kim, Garrett Bingham, Jonathan Lee, Swaroop Mishra, Alex Zhai, Clara Huiyi Hu, Henryk Michalewski, Jimin Kim, Jeonghyun Ahn, Junhwi Bae, Xingyou Song, Trieu H. Trinh, Quoc V. Le, Junehyuk Jung
2024	—	`conf`	Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models. EMNLP (Findings) Spyridon Mouselinos, Henryk Michalewski, Mateusz Tomasz Malinowski
2024	J	`jnl`	Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models. CoRR Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski
2024	J	`jnl`	Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context. CoRR 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.
2024	J	`jnl`	Grounding Data Science Code Generation with Input-Output Specifications. CoRR Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov
2024	A*	`conf`	Promptbreeder: Self-Referential Self-Improvement via Prompt Evolution. ICML Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktäschel
2023	—	`conf`	A Simple, Yet Effective Approach to Finding Biases in Code Generation. ACL (Findings) Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski
2023	A*	`conf`	Focused Transformer: Contrastive Training for Context Scaling. NeurIPS Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos
2023	J	`jnl`	Focused Transformer: Contrastive Training for Context Scaling. CoRR Szymon Tworkowski, Konrad Staniszewski, Mikolaj Pacek, Yuhuai Wu, Henryk Michalewski, Piotr Milos
2023	—	`conf`	Natural Language to Code Generation in Interactive Data Science Notebooks. ACL (1) 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
2023	J	`jnl`	PaLM: Scaling Language Modeling with Pathways. J. Mach. Learn. Res. 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
2023	J	`jnl`	Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution. CoRR Chrisantha Fernando, Dylan Banarse, Henryk Michalewski, Simon Osindero, Tim Rocktäschel
2023	Misc	`conf`	RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. CoRL 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
2023	J	`jnl`	RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. CoRR 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, Ayzaan Wahid, Stefan Welker, Paul Wohlhart, Jialin Wu, Fei Xia, Ted Xiao, Peng Xu, Sichun Xu, Tianhe Yu, Brianna Zitkovich
2023	J	`jnl`	Structured Packing in LLM Training Improves Long Context Utilization. CoRR Konrad Staniszewski, Szymon Tworkowski, Sebastian Jaszczur, Henryk Michalewski, Lukasz Kucinski, Piotr Milos
2022	J	`jnl`	A Simple, Yet Effective Approach to Finding Biases in Code Generation. CoRR Spyridon Mouselinos, Mateusz Malinowski, Henryk Michalewski
2022	—	`conf`	Hierarchical Transformers Are More Efficient Language Models. NAACL-HLT (Findings) Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
2022	J	`jnl`	Language Model Cascades. CoRR 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
2022	A*	`conf`	Measuring CLEVRness: Black-box Testing of Visual Reasoning Models. ICLR Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski
2022	J	`jnl`	Measuring CLEVRness: Blackbox testing of Visual Reasoning Models. CoRR Spyridon Mouselinos, Henryk Michalewski, Mateusz Malinowski
2022	A*	`conf`	Multi-Game Decision Transformers. NeurIPS Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Sergio Guadarrama, Ian Fischer, Winnie Xu, Eric Jang, Henryk Michalewski, Igor Mordatch
2022	J	`jnl`	Multi-Game Decision Transformers. CoRR Kuang-Huei Lee, Ofir Nachum, Mengjiao Yang, Lisa Lee, Daniel Freeman, Winnie Xu, Sergio Guadarrama, Ian Fischer, Eric Jang, Henryk Michalewski, Igor Mordatch
2022	J	`jnl`	Natural Language to Code Generation in Interactive Data Science Notebooks. CoRR 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
2022	A	`conf`	Off-Policy Correction For Multi-Agent Reinforcement Learning. AAMAS Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos
2022	J	`jnl`	PaLM: Scaling Language Modeling with Pathways. CoRR 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
2022	B	`conf`	Q-Value Weighted Regression: Reinforcement Learning with Limited Data. IJCNN Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska
2022	A*	`conf`	Solving Quantitative Reasoning Problems with Language Models. NeurIPS 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
2022	J	`jnl`	Solving Quantitative Reasoning Problems with Language Models. CoRR 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
2021	J	`jnl`	Hierarchical Transformers Are More Efficient Language Models. CoRR Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski
2021	—	`conf`	Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. ACL/IJCNLP (2) Piotr Piekos, Mateusz Malinowski, Henryk Michalewski
2021	J	`jnl`	Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning. CoRR Piotr Piekos, Henryk Michalewski, Mateusz Malinowski
2021	J	`jnl`	Off-Policy Correction For Multi-Agent Reinforcement Learning. CoRR Michal Zawalski, Blazej Osinski, Henryk Michalewski, Piotr Milos
2021	J	`jnl`	Program Synthesis with Large Language Models. CoRR 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
2021	J	`jnl`	Q-Value Weighted Regression: Reinforcement Learning with Limited Data. CoRR Piotr Kozakowski, Lukasz Kaiser, Henryk Michalewski, Afroz Mohiuddin, Katarzyna Kanska
2021	J	`jnl`	Show Your Work: Scratchpads for Intermediate Computation with Language Models. CoRR 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
2021	A*	`conf`	Sparse is Enough in Scaling Transformers. NeurIPS Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva
2021	J	`jnl`	Sparse is Enough in Scaling Transformers. CoRR Sebastian Jaszczur, Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski, Jonni Kanerva
2021	B	`conf`	Towards Finding Longer Proofs. TABLEAUX Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
2020	J	`jnl`	CARLA Real Traffic Scenarios - novel training ground and benchmark for autonomous driving. CoRR Blazej Osinski, Piotr Milos, Adam Jakubowski, Pawel Ziecina, Michal Martyniak, Christopher Galias, Antonia Breuer, Silviu Homoceanu, Henryk Michalewski
2020	A*	`conf`	Model Based Reinforcement Learning for Atari. ICLR Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H. Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski, Sergey Levine, Afroz Mohiuddin, Ryan Sepassi, George Tucker, Henryk Michalewski
2020	J	`jnl`	Neural heuristics for SAT solving. CoRR Sebastian Jaszczur, Michal Luszczyk, Henryk Michalewski
2020	A*	`conf`	Simulation-Based Reinforcement Learning for Real-World Autonomous Driving. ICRA Blazej Osinski, Adam Jakubowski, Pawel Ziecina, Piotr Milos, Christopher Galias, Silviu Homoceanu, Henryk Michalewski
2019	J	`jnl`	Model-Based Reinforcement Learning for Atari. CoRR Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H. Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski, Sergey Levine, Ryan Sepassi, George Tucker, Henryk Michalewski
2019	J	`jnl`	Simulation-based reinforcement learning for real-world autonomous driving. CoRR Blazej Osinski, Adam Jakubowski, Piotr Milos, Pawel Ziecina, Christopher Galias, Silviu Homoceanu, Henryk Michalewski
2019	J	`jnl`	The logical strength of Büchi's decidability theorem. Log. Methods Comput. Sci. Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak
2019	J	`jnl`	Towards Finding Longer Proofs. CoRR Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
2018	C	`conf`	Distributed Deep Reinforcement Learning: Learn How to Play Atari Games in 21 minutes. ISC Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski
2018	J	`jnl`	Distributed Deep Reinforcement Learning: Learn how to play Atari games in 21 minutes. CoRR Igor Adamski, Robert Adamski, Tomasz Grel, Adam Jedrych, Kamil Kaczmarek, Henryk Michalewski
2018	J	`jnl`	Expert-augmented actor-critic for ViZDoom and Montezumas Revenge. CoRR Michal Garmulewicz, Henryk Michalewski, Piotr Milos
2018	J	`jnl`	Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments. CoRR 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, Helge J. Ritter, Sean F. Carroll, Jennifer L. Hicks, Sergey Levine, Marcel Salathé, Scott L. Delp
2018	J	`jnl`	Monadic Second Order Logic with Measure and Category Quantifiers. Log. Methods Comput. Sci. Matteo Mio, Michal Skrzypczak, Henryk Michalewski
2018	J	`jnl`	On the Strength of Unambiguous Tree Automata. Int. J. Found. Comput. Sci. Henryk Michalewski, Michal Skrzypczak
2018	A*	`conf`	Reinforcement Learning of Theorem Proving. NeurIPS Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olsák
2018	J	`jnl`	Reinforcement Learning of Theorem Proving. CoRR Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olsák
2017	B	`conf`	A Characterisation of Pi^0_2 Regular Tree Languages. MFCS Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak
2017	—	`conf`	Atari Games and Intel Processors. CGW@IJCAI Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski
2017	J	`jnl`	Atari games and Intel processors. CoRR Robert Adamski, Tomasz Grel, Maciej Klimek, Henryk Michalewski
2017	Misc	`conf`	Hierarchical Reinforcement Learning with Parameters. CoRL Maciej Klimek, Henryk Michalewski, Piotr Milos
2017	J	`jnl`	Measure properties of regular sets of trees. Inf. Comput. Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2017	J	`jnl`	Monadic Second Order Logic with Measure and Category Quantifiers. CoRR Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2017	J	`jnl`	Some connections between universal algebra and logics for trees. CoRR Mikolaj Bojanczyk, Henryk Michalewski
2016	—	`conf`	An upper bound of 84 for Morpion Solitaire 5D. CCCG Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz
2016	A*	`conf`	How unprovable is Rabin's decidability theorem? LICS Leszek Aleksander Kolodziejczyk, Henryk Michalewski
2016	—	`conf`	Learning from the Memory of Atari 2600. CGW@IJCAI Jakub Sygnowski, Henryk Michalewski
2016	J	`jnl`	Learning from the memory of Atari 2600. CoRR Jakub Sygnowski, Henryk Michalewski
2016	Misc	`conf`	Measure Quantifier in Monadic Second Order Logic. LFCS Henryk Michalewski, Matteo Mio
2016	A	`conf`	Non-Utilitarian Coalition Structure Generation. ECAI Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge
2016	—	`conf`	On the Regular Emptiness Problem of Subzero Automata. ICE Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk
2016	B	`conf`	The Logical Strength of Büchi's Decidability Theorem. CSL Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak
2016	J	`jnl`	The logical strength of Büchi's decidability theorem. CoRR Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak
2016	C	`conf`	Unambiguous Büchi Is Weak. DLT Henryk Michalewski, Michal Skrzypczak
2015	—	`conf`	485 - A New Upper Bound for Morpion Solitaire. CGW/GIGA@IJCAI Henryk Michalewski, Andrzej Nagórko, Jakub Pawlewicz
2015	—	`conf`	Baire Category Quantifier in Monadic Second Order Logic. ICALP (2) Henryk Michalewski, Matteo Mio
2015	J	`jnl`	How unprovable is Rabin's decidability theorem? CoRR Leszek Aleksander Kolodziejczyk, Henryk Michalewski
2015	—	`conf`	On the Problem of Computing the Probability of Regular Sets of Trees. FSTTCS Henryk Michalewski, Matteo Mio
2015	J	`jnl`	On the Problem of Computing the Probability of Regular Sets of Trees. CoRR Henryk Michalewski, Matteo Mio
2014	C	`conf`	Deciding the Borel Complexity of Regular Tree Languages. CiE Alessandro Facchini, Henryk Michalewski
2014	J	`jnl`	Deciding the Borel complexity of regular tree languages. CoRR Alessandro Facchini, Henryk Michalewski
2014	—	`conf`	Measure Properties of Game Tree Languages. MFCS (1) Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2014	—	`conf`	On the Decidability of MSO+U on Infinite Trees. ICALP (2) Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak
2014	J	`jnl`	On the Separation Question for Tree Languages. Theory Comput. Syst. André Arnold, Henryk Michalewski, Damian Niwinski
2014	J	`jnl`	Unambiguous Buchi is weak. CoRR Henryk Michalewski, Michal Skrzypczak
2012	—	`conf`	On Topological Completeness of Regular Tree Languages. Logic and Program Semantics Henryk Michalewski, Damian Niwinski
2012	A	`conf`	On the separation question for tree languages. STACS André Arnold, Henryk Michalewski, Damian Niwinski
2009	A	`conf`	On the Borel Inseparability of Game Tree Languages. STACS Szczepan Hummel, Henryk Michalewski, Damian Niwinski