( en | de | ru )

 

Disambiguierung von "Raskin, Mikhail A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Flatness and Complexity of Immediate Observation Petri Nets.

, , und . CONCUR, Volume 171 von LIPIcs, Seite 45:1-45:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Peter Raskin

Gisela Raskin

Richard Raskin

Katrin Raskin

Heinrich Raskin

 

Weitere Publikationen von Autoren mit dem selben Namen

Affine Extensions of Integer Vector Addition Systems with States., , , und . Log. Methods Comput. Sci., (2021)A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model.. ICALP, Volume 80 von LIPIcs, Seite 88:1-88:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Regular Model Checking Upside-Down: An Invariant-Based Approach., , und . CONCUR, Volume 243 von LIPIcs, Seite 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Computing Parameterized Invariants of Parameterized Petri Nets., , und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 141-163. Springer, (2021)The Complexity of Reachability in Affine Vector Addition Systems with States., und . LICS, Seite 224-236. ACM, (2020)The Complexity of Verifying Population Protocols., , , und . Distributed Computing, (2021)https://arxiv.org/abs/1912.06578.Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy., , und . FoSSaCS, Volume 12650 von Lecture Notes in Computer Science, Seite 42-61. Springer, (2021)The Complexity of Verifying Population Protocols., , , und . (2019)A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model.. CoRR, (2016)A Superpolynomial Lower Bound for the Size of Non-Deterministic Complement of an Unambiguous Automaton.. ICALP, Volume 107 von LIPIcs, Seite 138:1-138:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)