( en | de | ru )

 

Disambiguierung von "Sangnier, Arnaud"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reachability in Distributed Memory Automata.

, , und . CSL, Volume 183 von LIPIcs, Seite 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

Arnaud Mende

Arnaud Moris

Julien Arnaud

Arnaud Dewalque

Arnaud Casteigts

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Parameterized Verification of Abstract Models of Contact Tracing Protocols., , und . OVERLAY@GandALF, Volume 2987 von CEUR Workshop Proceedings, Seite 61-66. CEUR-WS.org, (2021)Reachability in Distributed Memory Automata., , und . CSL, Volume 183 von LIPIcs, Seite 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic., , und . RP, Volume 8762 von Lecture Notes in Computer Science, Seite 85-97. Springer, (2014)On the Verification of Timed Ad Hoc Networks., , , , und . FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 256-270. Springer, (2011)Weak Time Petri Nets Strike Back!., und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 557-571. Springer, (2009)From Time Petri Nets to Timed Automata: An Untimed Approach., , , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 216-230. Springer, (2007)On the Formalization of Decentralized Contact Tracing Protocols., , , , und . OVERLAY, Volume 2785 von CEUR Workshop Proceedings, Seite 65-70. CEUR-WS.org, (2020)Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous., , und . CONCUR, Volume 279 von LIPIcs, Seite 7:1-7:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks., , , und . FSTTCS, Volume 18 von LIPIcs, Seite 289-300. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?, und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 89-105. (2016)