( en | de | ru )

 

Disambiguierung von "Sznajder, Nathalie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Round- and context-bounded control of dynamic pushdown systems.

, , und . Formal Methods Syst. Des., 62 (1): 41-78 (Juni 2024)

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.

Nathalie Mispagel

Nathalie Gusew

Nathalie Schmitz

Nathalie Zatula

Nathalie Wacker

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed Synthesis for Well-Connected Architectures., , und . FSTTCS, Volume 4337 von Lecture Notes in Computer Science, Seite 321-332. Springer, (2006)On the Encoding and Solving of Partial Information Games., , , , , und . NETYS, Volume 12129 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2020)Event Clock Automata: From Theory to Practice., , und . FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2011)Synthesis in Presence of Dynamic Links., , , , und . GandALF, Volume 326 von EPTCS, Seite 33-49. (2020)Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems., , und . SOFSEM, Volume 5404 von Lecture Notes in Computer Science, Seite 141-152. Springer, (2009)Safraless Procedures for Timed Specifications., , , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 2-22. Springer, (2010)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)Phase-Bounded Broadcast Networks over Topologies of Communication., , und . CoRR, (2024)Parameterized verification of algorithms for oblivious robots on a ring., , , und . Formal Methods Syst. Des., 56 (1): 55-89 (2020)Parameterized Synthesis for Fragments of First-Order Logic Over Data Words., , , und . FoSSaCS, Volume 12077 von Lecture Notes in Computer Science, Seite 97-118. Springer, (2020)