| No. |
Title |
Author |
Year |
| 1 |
Improved Lower Bounds for Reachability in Vector Addition Systems |
Czerwiński, Wojciech et al. |
2021 |
| 2 |
New Techniques for Universality in Unambiguous Register Automata |
Czerwiński, Wojciech et al. |
2021 |
| 3 |
Reachability in Fixed Dimension Vector Addition Systems with States |
Czerwiński, Wojciech et al. |
2020 |
| 4 |
Universality Problem for Unambiguous VASS |
Czerwiński, Wojciech et al. |
2020 |
| 5 |
Improved Bounds for the Excluded-Minor Approximation of Treedepth |
Czerwinski, Wojciech et al. |
2019 |
| 6 |
New Pumping Technique for 2-Dimensional VASS |
Czerwinski, Wojciech et al. |
2019 |
| 7 |
Regular Separability of Well-Structured Transition Systems |
Czerwinski, Wojciech et al. |
2018 |
| 8 |
Unboundedness Problems for Languages of Vector Addition Systems |
Czerwinski, Wojciech et al. |
2018 |
| 9 |
Regular Separability of Parikh Automata |
Clemente, Lorenzo et al. |
2017 |
| 10 |
Separability of Reachability Sets of Vector Addition Systems |
Clemente, Lorenzo et al. |
2017 |
| 11 |
Reasoning About Integrity Constraints for Tree-Structured Data |
Czerwinski, Wojciech et al. |
2016 |
| 12 |
Fast equivalence-checking for normed context-free processes |
Czerwinski, Wojciech et al. |
2010 |
