| 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 |