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
Current Page :
Number of result pages: 1
Number of documents: 12


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI