( en | de | ru )

 

Disambiguierung von "Raskin, Mikhail A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

, , und . Foundations of Software Science and Computation Structures - 24th International Conference, Volume 12650 von Lecture Notes in Computer Science, Seite 42--61. Springer, (2021)
DOI: 10.1007/978-3-030-71995-1_3

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

Heinrich Raskin

Katrin Raskin

 

Weitere Publikationen von Autoren mit dem selben Namen

Affine Extensions of Integer Vector Addition Systems with States., , , und . Log. Methods Comput. Sci., (2021)Examples for submission to CONCUR'22., , und . (April 2022)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)Computing Parameterized Invariants of Parameterized Petri Nets., , und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 141-163. Springer, (2021)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)The Complexity of Reachability in Affine Vector Addition Systems with States., und . LICS, Seite 224-236. ACM, (2020)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 . Distributed Computing, (2021)https://arxiv.org/abs/1912.06578.The Complexity of Verifying Population Protocols., , , und . (2019)heron., , und . (Oktober 2020)