Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Michał Skrzypczak
2018
- Udi Boker, Orna Kupferman and Michał Paweł Skrzypczak, How Deterministic are Good-For-Games Automata?, in: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018, r. 18, p. 18:1–18:14.see in PBN
- Michał Paweł Skrzypczak, B\üchi VASS Recognise \(\sum\)\(^\mbox1\)\(_\mbox1\)-complete \(ω\)-languages, in: Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings, Springer, 2018, p. 133–145.see in PBN
- Michał Paweł Skrzypczak, Unambiguous Languages Exhaust the Index Hierarchy, in: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, 2018, r. 140, p. 140:1–140:14.see in PBN
- Matteo Mio, Michał Paweł Skrzypczak and Henryk Michalewski, Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods In Computer Science 14 (2) 2018.see in PBN
- Henryk Michalewski and Michał Paweł Skrzypczak, On the Strength of Unambiguous Tree Automata, International Journal Of Foundations Of Computer Science 29 (5) 2018.see in PBN
2017
- Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter and Lorenzo ClementeFilip Murlak (ed.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.see in PBN
- Filippo Cavallari, Henryk Michalewski and Michał Paweł Skrzypczak, A Characterisation of Pi\^0\_2 Regular Tree Languages, in: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 56:1–56:14.see in PBN
- Michał Paweł Skrzypczak, Connecting Decidability and Complexity for MSO Logic, in: Developments in Language Theory - 21st International Conference, DLT 2017, Li\`ege, Belgium, August 7-11, 2017, Proceedings, Springer, 2017, p. 75–79.see in PBN
- Tomasz Gogacz, Henryk Michalewski, Matteo Mio and Michał Paweł Skrzypczak, Measure properties of regular sets of trees, Information And Computation 256 2017, p. 108–130.see in PBN
2016
- Leszek Aleksander Kołodziejczyk, Henryk Michalewski, Pierre Pradic and Michał Paweł Skrzypczak, The logical strength of Büchi's decidability theorem, in: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Schloss Dagstuhl 2016, p. 36:1–36:16.see in PBN
- Henryk Michalewski and Michał Paweł Skrzypczak, Unambiguous Büchi Is Weak, in: Developments in Language Theory - 20th International Conference, DLT 2016, Montr\'eal, Canada, July 25-28, 2016, Proceedings, 2016, p. 319–331.see in PBN
- Michał Paweł Skrzypczak and Igor Walukiewicz, Deciding the Topological Complexity of Büchi Languages, in: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, 2016, p. 99:1–99:13.see in PBN
- Alessandro Facchini, Filip Murlak and Michał Paweł Skrzypczak, Index Problems for Game Automata, Acm Transactions On Computational Logic 17 (4) 2016, p. 24:1–24:38.see in PBN
- Michał Paweł Skrzypczak, Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity, Springer, 2016.see in PBN
- Marcin Przybyłko and Michał Paweł Skrzypczak, On the Complexity of Branching Games with Regular Conditions, in: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, p. 78:1–78:14.see in PBN
2015
- Alessandro Facchini, Filip Murlak and Michał Paweł Skrzypczak, On the Weak Index Problem for Game Automata, in: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, Springer, 2015, p. 93–108.see in PBN
- Denis Kuperberg and Michał Paweł Skrzypczak, On Determinisation of Good-For-Games Automata, in: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, Springer, 2015, p. 299–310.see in PBN
- Nathanael Fijalkow, Florian Horn, Denis Kuperberg and Michał Paweł Skrzypczak, Trading bounds for memory in games with counters, in: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, Springer, 2015, p. 197–208.see in PBN
- Nathanael Fijalkow and Michał Paweł Skrzypczak, Irregular Behaviours for Probabilistic Automata, in: Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings, Springer, Warsaw 2015, p. 33–36.see in PBN
- Tomasz Idziaszek, Michał Paweł Skrzypczak and Mikołaj Bojańczyk, Regular languages of thin trees, Theory Of Computing Systems 2015, p. 1–50.see in PBN
2014
- Mikołaj Bojańczyk, Tomasz Gogacz, Henryk Michalewski and Michał Paweł Skrzypczak, On the Decidability of MSO+U on Infinite Trees, in: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, 2014, p. 50–61.see in PBN
- Tomasz Gogacz, Henryk Michalewski, Matteo Mio and Michał Paweł Skrzypczak, Measure Properties of Game Tree Languages, in: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, Springer, 2014, p. 303–314.see in PBN
- Olivier Finkel and Michał Paweł Skrzypczak, On the Topological Complexity of w-Languages of Non-Deterministic Petri Nets, Information Processing Letters 114 (5) 2014, p. 229–233.see in PBN
- Michał Paweł Skrzypczak, Separation Property for wB- and wS-regular Languages, Logical Methods In Computer Science 10 (1:8) 2014, p. 1–20.see in PBN
2013
- Mikołaj Bojańczyk, Tomasz Idziaszek and Michał Paweł Skrzypczak, Regular languages of thin trees, in: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2013, p. 562–573.see in PBN
- Alessandro Facchini, Filip Murlak and Michał Paweł Skrzypczak, Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata, in: Proceedings of LICS 2013, 2013, p. 499–508.see in PBN
- Michał Paweł Skrzypczak, Topological extension of parity automata, Information And Computation 228 2013, p. 16–27.see in PBN
- Marcin Bilkowski, Michał Skrzypczak and Simona Ronchi Della Rocca, Unambiguity and uniformization problems on infinite trees, in: Computer Science Logic 2013 (CSL 2013), 2013, p. 81–100.see in PBN
- Udi Boker, Denis Kuperberg, Orna Kupferman and Michał Paweł Skrzypczak, Nondeterminism in the Presence of a Diverse or Unknown Future, in: ICALP (2), 2013, 2013, p. 89–100.see in PBN
2010
- Szczepan Hummel, Michał Paweł Skrzypczak and Szymon Toruńczyk, On the Topological Complexity of MSO+U and Related Automata Models, in: Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings, Springer, Brno 2010, p. 429–440.see in PBN
- Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich, Adam Radziwonczyk-Syta and Michał Skrzypczak, On the Borel Complexity of MSO Definable Sets of Branches, Fundamenta Informaticae 98 (4) 2010, p. 337–349.see in PBN
You are not logged in | log in
