Mikhail A. Raskin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CONCUR | Geometry of Reachability Sets of Vector Addition Systems. | Roland Guttenberg, Mikhail A. Raskin, Javier Esparza |
| 2022 | CONCUR | Regular Model Checking Upside-Down: An Invariant-Based Approach. | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
| 2021 | Algosensors | Population Protocols with Unreliable Communication. | Mikhail A. Raskin |
| 2021 | FOSSACS | Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. | A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin |
| 2020 | CONCUR | Flatness and Complexity of Immediate Observation Petri Nets. | Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza |
| 2020 | LICS | The Complexity of Reachability in Affine Vector Addition Systems with States. | Michael Blondin, Mikhail A. Raskin |
| 2018 | ICALP | A Superpolynomial Lower Bound for the Size of Non-Deterministic Complement of an Unambiguous Automaton. | Mikhail A. Raskin |
| 2017 | ICALP | A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model. | Mikhail A. Raskin |