Publikacje

Michał Skrzypczak

Liczba publikacji: 51

2024

• Pierre Ohlmann, Michał Skrzypczak , Positionality in Σ⁰₂ and a Completeness Result, 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 12 marca 2024 - 14 marca 2024. Zobacz w PBN
• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation of Regular Relations in First-Order Logic with Two Variables, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 8 2024, s. 1-13. Zobacz w PBN

2023

• Wojciech Czerwiński , Maciej Dębski, Tomasz Gogacz , Gordon Ho, Sanjay Jain, Michał Skrzypczak , Frank Stephan, Christopher Tan, Languages Given by Finite Automata over the Unary Alphabet, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 grudnia 2023 - 20 grudnia 2023. Zobacz w PBN
• Damian Niwiński , Paweł Parys , Michał Skrzypczak , The Probabilistic Rabin Tree Theorem*, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN

2022

• Olivier Finkel, Michał Skrzypczak , On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words, Fundamenta Informaticae, 183 (3-4) 2022, s. 243-291. Zobacz w PBN

2021

• Lorenzo Clemente , Michał Skrzypczak , Deterministic and Game Separability for Regular Languages of Infinite Trees, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 lipca 2021 - 16 lipca 2021, 198 2021, s. 126:1--126:15. Zobacz w PBN
• Damian Niwiński , Michał Skrzypczak , On Guidable Index of Tree Automata, 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 23 sierpnia 2021 - 27 sierpnia 2021, 202 2021, s. 81:1--81:14. Zobacz w PBN
• Piotr Hofman , Michał Skrzypczak , Preface, Fundamenta Informaticae, 180 (4) 2021, s. i-ii. Zobacz w PBN
• Marcin Przybyłko, Michał Skrzypczak , The uniform measure of simple regular sets of infinite trees, Information and Computation, 278 2021, s. 104595,1-24. Zobacz w PBN

2020

• Damian Niwiński , Marcin Przybyłko, Michał Skrzypczak , Computing Measures of Weak-MSO Definable Sets of Trees, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020, 168 2020, s. 136:1--136:18. Zobacz w PBN
• Udi Boker, Denis Kuperberg, Michał Skrzypczak , Karoliina Lehtinen, On the Succinctness of Alternating Parity Good-For-Games Automata, Leibniz International Proceedings in Informatics, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, Goa, India, 14 grudnia 2020 - 18 grudnia 2020, 182 2020, s. 41:1--41:13. Zobacz w PBN
• Vincent Michielini , Michał Skrzypczak , Regular Choice Functions and Uniformisations For countable Domains, 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czechia, 24 sierpnia 2020 - 28 sierpnia 2020, 170 2020, s. 69:1--69:13. Zobacz w PBN
• Grzegorz Fabiański , Michał Skrzypczak , Szymon Toruńczyk , Uniformisations of Regular Relations Over Bi-Infinite Words, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020. Zobacz w PBN

2019

• Michał Skrzypczak , Piotr Hofman , 23rd international conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, proceedings, 23nd International Conference on Developments in Language Theory, Warsaw, Poland, 4 sierpnia 2019 - 8 sierpnia 2019. Zobacz w PBN
• Mikołaj Bojańczyk , Edon Kelmendi, Michał Skrzypczak , MSO+∇ is undecidable, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24 lipca 2019 - 27 lipca 2019. Zobacz w PBN
• Mikołaj Bojańczyk , Filippo Cavallari, Thomas Place, Michał Skrzypczak , Regular tree languages in low levels of the Wadge Hierarchy, Logical Methods in Computer Science, 15 (3) 2019, s. 27:1–27:61. Zobacz w PBN
• 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, s. 16:1-16:31. Zobacz w PBN
• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation Gives the Full Strength of Regular Languages, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, 26 sierpnia 2019 - 30 sierpnia 2019, 138 2019, s. 61:1--61:13. Zobacz w PBN

2018

• Michał Skrzypczak , B\üchi VASS Recognise \(\sum\)\(^\mbox1\)\(_\mbox1\)-complete \(ω\)-languages, Reachability Problems, Marsylia, France, 24 września 2018 - 26 września 2018. Zobacz w PBN
• Udi Boker, Orna Kupferman, Michał Skrzypczak , How Deterministic are Good-For-Games Automata?, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, India, 11 grudnia 2017 - 15 grudnia 2017. Zobacz w PBN
• Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods in Computer Science, 14 (2) 2018, s. 2:1-2:29. Zobacz w PBN
• Henryk Michalewski , Michał Skrzypczak , On the Strength of Unambiguous Tree Automata, International Journal of Foundations of Computer Science, 29 (5) 2018, s. 911-933. Zobacz w PBN
• Michał Skrzypczak , Unambiguous Languages Exhaust the Index Hierarchy, 45th International Colloquium on Automata, Languages, and Programming, Praha, Czechia, 9 lipca 2018 - 13 lipca 2018. Zobacz w 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. Zobacz w 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 sierpnia 2017 - 25 sierpnia 2017. Zobacz w PBN
• Michał Skrzypczak , Connecting Decidability and Complexity for MSO Logic, 21st International Conference on Developments in Language Theory, Liege, Belgium, 7 sierpnia 2017 - 11 sierpnia 2017. Zobacz w PBN
• Tomasz Gogacz, Matteo Mio, Michał Skrzypczak , Henryk Michalewski , Measure properties of regular sets of trees, Information and Computation, 256 2017, s. 108-130. Zobacz w PBN

2016

• Michał Skrzypczak , Igor Walukiewicz, Deciding the Topological Complexity of Büchi Languages, 43rd International Colloquium on Automata, Languages, and Programming, 2016. Zobacz w PBN
• Michał Skrzypczak , Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity, 2016. Zobacz w PBN
• Filip Murlak , Michał Skrzypczak , Alessandro Facchini, Index Problems for Game Automata, ACM Transactions on Computational Logic, 17 (4) 2016, s. 24:1-24:38. Zobacz w PBN
• Marcin Przybyłko, Michał Skrzypczak , On the Complexity of Branching Games with Regular Conditions, Mathematical Foundations of Computer Science 2016, Kraków, Poland, 2016. Zobacz w 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 sierpnia 2016 - 1 września 2016. Zobacz w PBN
• Henryk Michalewski , Michał Skrzypczak , Unambiguous Büchi Is Weak, Developments in Language Theory, Montreal, Canada, 2016. Zobacz w PBN

2015

• Nathanael Fijalkow, Michał Skrzypczak , Irregular Behaviours for Probabilistic Automata, Reachability Problems, Warsaw, Poland, 2015. Zobacz w PBN
• Denis Kuperberg, Michał Skrzypczak , On Determinisation of Good-For-Games Automata, Automata, Languages, and Programming - 42th International Colloquium, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN
• Alessandro Facchini, Filip Murlak , Michał Skrzypczak , On the Weak Index Problem for Game Automata, 22nd International Workshop on Logic, Language, Information, and Computation, 2015, s. 93-108. Zobacz w PBN
• Mikołaj Bojańczyk , Tomasz Idziaszek, Michał Skrzypczak , Regular languages of thin trees, Theory of Computing Systems, 2015. Zobacz w PBN
• Nathanael Fijalkow, Florian Horn, Denis Kuperberg, Michał Skrzypczak , Trading bounds for memory in games with counters, Automata, Languages, and Programming - 42th International Colloquium, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN

2014

• 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 sierpnia 2014 - 29 sierpnia 2014. Zobacz w 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. Zobacz w PBN
• Olivier Finkel, Michał Skrzypczak , On the Topological Complexity of w-Languages of Non-Deterministic Petri Nets, Information Processing Letters, 2014. Zobacz w PBN
• Michał Skrzypczak , Separation Property for wB- and wS-regular Languages, Logical Methods in Computer Science, 10 (1:8) 2014, s. 1-20. Zobacz w PBN

2013

• Udi Boker, Denis Kuperberg, Orna Kupferman, Michał Skrzypczak , Nondeterminism in the Presence of a Diverse or Unknown Future, Automata, Languages, and Programming - 40th International Colloquium, Riga, Latvia, 2013. Zobacz w PBN
• Alessandro Facchini, Filip Murlak , Michał Skrzypczak , Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata, Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE, New Orleans, LA, the United States of America, 25 czerwca 2013 - 28 czerwca 2013. Zobacz w PBN
• Mikołaj Bojańczyk , Tomasz Idziaszek, Michał Skrzypczak , Regular languages of thin trees, 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, Kiel, Germany, 27 lutego 2013 - 2 marca 2013. Zobacz w PBN
• Michał Skrzypczak , Topological extension of parity automata, Information and Computation, 228 2013, s. 16-27. Zobacz w PBN
• Marcin Bilkowski, Michał Skrzypczak , Simona Ronchi Della Rocca, Unambiguity and uniformization problems on infinite trees, Computer Science Logic 2013, 2013, s. 81-100. Zobacz w PBN

2012

• Szczepan Hummel, Michał Skrzypczak , The Topological Complexity of MSO+U and Related Automata Models, Fundamenta Informaticae, 2012. Zobacz w PBN
• Szczepan Hummel, Michał Skrzypczak , Topological Complexity of MSO+U and Related Automata Models, Lecture Notes in Computer Science, 2012. Zobacz w PBN

2010

• Mikołaj Bojańczyk , Damian Niwiński , Alexander Rabinovich, Adam Radziwonczyk-Syta, Michał Skrzypczak , On the Borel Complexity of MSO Definable Sets of Branches, Fundamenta Informaticae, 2010. Zobacz w PBN
• Szczepan Hummel, Michał Skrzypczak , Szymon Toruńczyk , On the Topological Complexity of MSO+U and Related Automata Models, Mathematical Foundations of Computer Science 2010, Brno, Czechia, 2010. Zobacz w PBN