No. Title Author Year
1 Geometry of Reachability Sets of Vector Addition Systems Guttenberg, Roland et al. 2023
2 Regular Model Checking Upside-Down: An Invariant-Based Approach Esparza, Javier et al. 2022
3 Flatness and Complexity of Immediate Observation Petri Nets Raskin, Mikhail et al. 2020
4 A Superpolynomial Lower Bound for the Size of Non-Deterministic Complement of an Unambiguous Automaton Raskin, Mikhail 2018
5 A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model Raskin, Mikhail 2017
Current Page :
Number of result pages: 1
Number of documents: 5

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