No. Title Author Year
1 Regular Model Checking Upside-Down: An Invariant-Based Approach Esparza, Javier et al. 2022
2 Flatness and Complexity of Immediate Observation Petri Nets Raskin, Mikhail et al. 2020
3 A Superpolynomial Lower Bound for the Size of Non-Deterministic Complement of an Unambiguous Automaton Raskin, Mikhail 2018
4 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: 4

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