No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Klin, Bartek et al. 2022
2 Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem Lasota, Sławomir 2022
3 LIPIcs, Volume 243, CONCUR 2022, Complete Volume Klin, Bartek et al. 2022
4 Improved Lower Bounds for Reachability in Vector Addition Systems Czerwiński, Wojciech et al. 2021
5 Parikh Images of Register Automata Lasota, Sławomir et al. 2021
6 Determinisability of One-Clock Timed Automata Clemente, Lorenzo et al. 2020
7 Reachability in Fixed Dimension Vector Addition Systems with States Czerwiński, Wojciech et al. 2020
8 Timed Games and Deterministic Separability Clemente, Lorenzo et al. 2020
Current Page :
Number of result pages: 1
Number of documents: 8


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