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