| No. |
Title |
Author |
Year |
| 1 |
Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time |
Parys, Pawel |
2019 |
| 2 |
Homogeneity Without Loss of Generality |
Parys, Pawel |
2018 |
| 3 |
Recursion Schemes and the WMSO+U Logic |
Parys, Pawel |
2018 |
| 4 |
The Complexity of the Diagonal Problem for Recursion Schemes |
Parys, Pawel |
2018 |
| 5 |
Models of Lambda-Calculus and the Weak MSO Logic |
Parys, Pawel et al. |
2016 |
| 6 |
On a Fragment of AMSO and Tiling Systems |
Blumensath, Achim et al. |
2016 |
| 7 |
Reasoning About Integrity Constraints for Tree-Structured Data |
Czerwinski, Wojciech et al. |
2016 |
| 8 |
The MSO+U Theory of (N,<) Is Undecidable |
Bojanczyk, Mikolaj et al. |
2016 |
| 9 |
Ordered Tree-Pushdown Systems |
Clemente, Lorenzo et al. |
2015 |
| 10 |
A Pumping Lemma for Pushdown Graphs of Any Level |
Parys, Pawel |
2012 |
| 11 |
Decidable classes of documents for XPath |
Bárány, Vince et al. |
2012 |
| 12 |
Variants of Collapsible Pushdown Systems |
Parys, Pawel |
2012 |
| 13 |
Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata |
Parys, Pawel |
2011 |
