( en | de | ru )

 

Disambiguierung von "Raskin, Mikhail"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parameterized Analysis of Immediate Observation Petri Nets.

, , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 365-385. Springer, (2019)cite arxiv:1902.03025.

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

Population protocols with unreliable communication.. CoRR, (2019)http://arxiv.org/abs/1902.10041.The Complexity of Reachability in Affine Vector Addition Systems with States, und . Logical Methods in Computer Science, (Juli 2021)Parameterized Analysis of Immediate Observation Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 365-385. Springer, (2019)#conference.Affine Extensions of Integer Vector Addition Systems with States, , , und . (2019)https://arxiv.org/abs/1909.12386.Protocols with constant local storage and unreliable communication. Theoretical Computer Science, (Januar 2023)Abduction of trap invariants in parameterized systems, , und . (2021)cite arxiv:2108.09101Comment: Full version of the article In Proceedings GandALF 2021.Constructive expressive power of population protocols. (2020)http://arxiv.org/abs/2002.07303.A Stay-in-a-Set Game without a Stationary Equilibrium, und . Electronic Proceedings in Theoretical Computer Science, (September 2019)#conference.Affine Extensions of Integer Vector Addition Systems with States., , , und . Log. Methods Comput. Sci., (2021)Examples for submission to CONCUR'22., , und . (April 2022)