| No. |
Title |
Author |
Year |
| 1 |
Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix |
Michaliszyn, Jakub et al. |
2023 |
| 2 |
Learning Deterministic Visibly Pushdown Automata Under Accessible Stack |
Michaliszyn, Jakub et al. |
2022 |
| 3 |
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States |
Chatterjee, Krishnendu et al. |
2020 |
| 4 |
Approximate Learning of Limit-Average Automata |
Michaliszyn, Jakub et al. |
2019 |
| 5 |
Long-Run Average Behavior of Vector Addition Systems with States |
Chatterjee, Krishnendu et al. |
2019 |
| 6 |
Average Stack Cost of Büchi Pushdown Automata |
Michaliszyn, Jakub et al. |
2018 |
| 7 |
Non-deterministic Weighted Automata on Random Words |
Michaliszyn, Jakub et al. |
2018 |
| 8 |
Querying Best Paths in Graph Databases |
Michaliszyn, Jakub et al. |
2018 |
| 9 |
Bidirectional Nested Weighted Automata |
Chatterjee, Krishnendu et al. |
2017 |
| 10 |
Nested Weighted Limit-Average Automata of Bounded Width |
Chatterjee, Krishnendu et al. |
2016 |
| 11 |
Lipschitz Robustness of Finite-state Transducers |
Henzinger, Thomas A. et al. |
2014 |
| 12 |
Elementary Modal Logics over Transitive Structures |
Michaliszyn, Jakub et al. |
2013 |
| 13 |
Modal Logics Definable by Universal Three-Variable Formulas |
Kieronski, Emanuel et al. |
2011 |
