Mikhail Raskin

Available identifiers

Publication	Date of Publication	Type
Abduction of trap invariants in parameterized systems	2024-12-06	Paper
Regular model checking upside-down: an invariant-based approach	2024-08-13	Paper
Parameterized Analysis of Immediate Observation Petri Nets	2024-01-29	Paper
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy	2023-10-23	Paper
Protocols with constant local storage and unreliable communication	2023-04-20	Paper
Computing Parameterized Invariants of Parameterized Petri Nets	2022-10-31	Paper
Flatness and Complexity of Immediate Observation Petri Nets	2022-07-18	Paper
Population protocols with unreliable communication	2022-06-24	Paper
Computing parameterized invariants of parameterized Petri nets	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5020524	2022-01-06	Paper
Finding cut-offs in leaderless rendez-vous protocols is easy	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5155664	2021-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q5155662	2021-10-08	Paper
A Superpolynomial Lower Bound for the Size of Non-Deterministic Complement of an Unambiguous Automaton	2021-07-28	Paper
The complexity of verifying population protocols	2021-05-17	Paper
The Complexity of Reachability in Affine Vector Addition Systems with States	2021-01-21	Paper
A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model	2020-05-27	Paper
A Stay-in-a-Set Game without a Stationary Equilibrium	2019-03-28	Paper

This page was built for person: Mikhail Raskin