Publications

Henryk Michalewski

Number of publications: 37

2021

• Sebastian Jaszczur , Aakanksha Chowdhery, Afroz Mohiuddin, Lukasz Kaiser, Wojciech Gajewski, Henryk Michalewski , Jonni Kanerva, Sparse is Enough in Scaling Transformers, Thirty-fifth Conference on Neural Information Processing Systems, Online, the United States of America, 7 December 2021 - 10 December 2021. See in PBN

2019

• Leszek Kołodziejczyk , Henryk Michalewski , Pierre Pradic, Michał Skrzypczak , The logical strength of Büchi's decidability theorem, Logical Methods in Computer Science, 15 (2) 2019, p. 16:1-16:31. See in PBN

2018

• Sean Carroll, Jiale Chen, Zhibo Chen, Scott Delp, Jennifer Hicks, Zhewei Huang, Piotr Jarosik, Łukasz Kidziński, Sergey Kolesnikov, Sergey Levine, Zhihui Lin, Andrew Melnik, Henryk Michalewski , Piotr Miłoś , Sharada Mohanty, Carmichael Ong, Błażej Osiński, Mikhail Pavlov, Anton Pechenko, Sergey Plis, Helge Ritter, Marcel Salathé, Malte Schilling, Jun Shi, Adam Stelmaszczyk, Chun Yuan, Zhizheng Zhang, Zhuobin Zheng, Shuchang Zhou, Learning to Run Challenge Solutions: Adapting Reinforcement Learning Methods for Neuromusculoskeletal Environments, NIPS 2017 Competition Track, 2018, p. 121-153. See in PBN
• Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods in Computer Science, 14 (2) 2018, p. 2:1-2:29. See in PBN
• Henryk Michalewski , Michał Skrzypczak , On the Strength of Unambiguous Tree Automata, International Journal of Foundations of Computer Science, 29 (5) 2018, p. 911-933. See in PBN

2017

• Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. See in PBN
• Filippo Cavallari, Henryk Michalewski , Michał Skrzypczak , A Characterisation of Pi^0_2 Regular Tree Languages, 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, 21 August 2017 - 25 August 2017. See in PBN
• Maciej Klimek, Henryk Michalewski , Piotr Miłoś , Hierarchical Reinforcement Learning with Parameters, 1st Annual Conference on Robot Learning, 2017. See in PBN
• Tomasz Gogacz, Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Measure properties of regular sets of trees, Information and Computation, 256 2017, p. 108-130. See in PBN

2016

• Henryk Michalewski , Andrzej Nagórko , Jakub Pawlewicz , 485 – A New Upper Bound for Morpion Solitaire, Fourth Workshop on Computer Games, CGW 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015., Buenos Aires, Argentina, 26 July 2015 - 27 July 2016. See in PBN
• Henryk Michalewski , Andrzej Nagórko , Jakub Pawlewicz , An upper bound of 84 for Morpion Solitaire 5D, 28th Canadian Conference on Computational Geometry, Vancouver, Canada, 3 August 2016 - 5 August 2016. See in PBN
• Leszek Kołodziejczyk , Henryk Michalewski , How unprovable is Rabin's decidability theorem?, LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Nowy Jork, the United States of America, 5 July 2016 - 8 July 2016. See in PBN
• Henryk Michalewski , Jakub Sygnowski, Learning from the Memory of Atari 2600, Fifth Workshop on Computer Games, CGW 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016; New York, 2016., New York, the United States of America, 9 July 2016 - 10 July 2016. See in PBN
• Henryk Michalewski , Matteo Mio, Measure Quantifier in Monadic Second Order Logic, 2016. See in PBN
• Oskar Skibski , Henryk Michalewski , Andrzej Nagórko , Tomasz Michalak , Andrew Dowell, Talal Rahwan, Michael Wooldridge, Non-Utilitarian Coalition Structure Generation, 2016 European Conference on Artificial Intelligence, Hague, the Netherlands, 29 August 2016 - 2 September 2016. See in PBN
• Mikołaj Bojańczyk , Henryk Michalewski , Matteo Mio, On the Regular Emptiness Problem of Subzero Automata, 2016. See in PBN
• Leszek Kołodziejczyk , Henryk Michalewski , Pierre Pradic, Michał Skrzypczak , The logical strength of Büchi's decidability theorem, 25th EACSL Annual Conference on Computer Science Logic, Marsylia, France, 29 August 2016 - 1 September 2016. See in PBN
• Henryk Michalewski , Michał Skrzypczak , Unambiguous Büchi Is Weak, Developments in Language Theory, Montreal, Canada, 2016. See in PBN

2015

• Henryk Michalewski , Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, 2015. See in PBN
• Henryk Michalewski , Matteo Mio, On the Problem of Computing the Probability of Regular Sets of Trees, 2015. See in PBN

2014

• Alessandro Facchini, Henryk Michalewski , Deciding the Borel Complexity of Regular Tree Languages, 2014. See in PBN
• Tomasz Gogacz, Henryk Michalewski , Matteo Mio, Michał Skrzypczak , Measure Properties of Game Tree Languages, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, Budapest, Hungary, 25 August 2014 - 29 August 2014. See in PBN
• Mikołaj Bojańczyk , Tomasz Gogacz, Henryk Michalewski , Michał Skrzypczak , On the Decidability of MSO+U on Infinite Trees, International Colloquium on Automata, Languages and Programming, 2014. See in PBN

2013

• André Arnold, Henryk Michalewski , Damian Niwiński , On the Separation Question for Tree Languages, Theory of Computing Systems, 2013. See in PBN

2012

• Andre Arnold, Henryk Michalewski , Damian Niwiński , On the separation question for tree languages, 2012. See in PBN
• Henryk Michalewski , Damian Niwiński , On Topological Completeness of Regular Tree Languages, Lecture Notes in Computer Science, 2012. See in PBN

2011

• Menachem Kojman, Henryk Michalewski , Borel extensions of Baire measures in ZFC, Fundamenta Mathematicae, 2011. See in PBN

2010

• Andrzej Komisarski, Henryk Michalewski , Functions equivalent to Borel measurable ones, Bulletin of the Polish Academy of Sciences. Mathematics, 2010. See in PBN

2009

• Szczepan Hummel, Henryk Michalewski , Damian Niwiński , On the Borel inseparability of game tree languages, 2009. See in PBN
• Adam Krawczyk, Witold Marciszewski , Henryk Michalewski , Remarks on the set of G_δ-points in Eberlein and Corson compact spaces, Topology and its Applications, 2009. See in PBN

2006

• Wiesław Kubiś, Henryk Michalewski , Small Valdivia compact spaces, Topology and its Applications, 2006. See in PBN

2003

• Adam Krawczyk, Henryk Michalewski , An example of a topological group, Topology and its Applications, 2003. See in PBN
• Henryk Michalewski , Condensations of projective sets onto compacta, Proceedings of the American Mathematical Society, 2003. See in PBN

2001

• Henryk Michalewski , An answer to a question of Arhangel'skii, Commentationes Mathematicae Universitatis Carolinae, 2001. See in PBN

2000

• Henryk Michalewski , Homogeneity of $\scr K(\bold Q)$, Tsukuba Journal of Mathematics, 2000. See in PBN

1998

• Henryk Michalewski , Game-theoretic approach to the hereditary Baire property of Cp(Nf), Bulletin of the Polish Academy of Sciences. Mathematics, 1998. See in PBN

1995

• Henryk Michalewski , Roman Pol , On a Hurewicz-type theorem and a selection theorem of Michael, Bulletin of the Polish Academy of Sciences. Mathematics, 1995. See in PBN