| No. |
Title |
Author |
Year |
| 1 |
Algebraic Recognition of Regular Functions |
Bojańczyk, Mikołaj et al. |
2023 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Bojańczyk, Mikołaj et al. |
2022 |
| 3 |
LIPIcs, Volume 229, ICALP 2022, Complete Volume |
Bojańczyk, Mikołaj et al. |
2022 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Bojańczyk, Mikołaj et al. |
2021 |
| 5 |
LIPIcs, Volume 213, FSTTCS 2021, Complete Volume |
Bojańczyk, Mikołaj et al. |
2021 |
| 6 |
Single-Use Automata and Transducers for Infinite Alphabets |
Bojańczyk, Mikołaj et al. |
2020 |
| 7 |
Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers |
Bojańczyk, Mikołaj et al. |
2020 |
| 8 |
String-to-String Interpretations With Polynomial-Size Output |
Bojanczyk, Mikolaj et al. |
2019 |
| 9 |
Emptiness of Zero Automata Is Decidable |
Bojanczyk, Mikolaj et al. |
2017 |
| 10 |
Optimizing Tree Decompositions in MSO |
Bojanczyk, Mikolaj et al. |
2017 |
| 11 |
Orbit-Finite Sets and Their Algorithms (Invited Talk) |
Bojanczyk, Mikolaj |
2017 |
| 12 |
Which Classes of Origin Graphs Are Generated by Transducers |
Bojanczyk, Mikolaj et al. |
2017 |
| 13 |
Circuits, Logic and Games (Dagstuhl Seminar 15401) |
Bojanczyk, Mikolaj et al. |
2016 |
| 14 |
Decidable Extensions of MSO (Invited Talk) |
Bojanczyk, Mikolaj |
2016 |
| 15 |
The MSO+U Theory of (N,<) Is Undecidable |
Bojanczyk, Mikolaj et al. |
2016 |
| 16 |
Thin MSO with a Probabilistic Path Quantifier |
Bojanczyk, Mikolaj |
2016 |
| 17 |
Nominal Computation Theory (Dagstuhl Seminar 13422) |
Bojanczyk, Mikolaj et al. |
2014 |
| 18 |
Regular languages of thin trees |
Bojanczyk, Mikolaj et al. |
2013 |
| 19 |
Decidable classes of documents for XPath |
Bárány, Vince et al. |
2012 |
| 20 |
Imperative Programming in Sets with Atoms |
Bojanczyk, Mikolaj et al. |
2012 |
| 21 |
Weak MSO+U over infinite trees |
Bojanczyk, Mikolaj et al. |
2012 |
| 22 |
Data Monoids |
Bojanczyk, Mikolaj |
2011 |
| 23 |
Automata for Data Words and Data Trees |
Bojanczyk, Mikolaj |
2010 |
| 24 |
Beyond omega-Regular Languages |
Bojanczyk, Mikolaj |
2010 |
| 25 |
Deterministic Automata and Extensions of Weak MSO |
Bojanczyk, Mikolaj et al. |
2009 |
| 26 |
Weak MSO with the Unbounding Quantifier |
Bojanczyk, Mikolaj |
2009 |
