( en | de | ru )

 

Disambiguation of "Sznajder, Nathalie"

Author of the publication

copydeleteadd this publication to your clipboard
On the Encoding and Solving of Partial Information Games.

, , , , , and . NETYS, volume 12129 of Lecture Notes in Computer Science, page 60-76. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nathalie Domanoldou

Nathalie Véron

Nathalie Schmitz

Nathalie Gusew

Nathalie Zatula

 

Other publications of authors with the same name

On the Encoding and Solving of Partial Information Games., , , , , and . NETYS, volume 12129 of Lecture Notes in Computer Science, page 60-76. Springer, (2020)Distributed Synthesis for Well-Connected Architectures., , and . FSTTCS, volume 4337 of Lecture Notes in Computer Science, page 321-332. Springer, (2006)Event Clock Automata: From Theory to Practice., , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 209-224. Springer, (2011)Synthesis in Presence of Dynamic Links., , , , and . GandALF, volume 326 of EPTCS, page 33-49. (2020)Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous., , and . CONCUR, volume 279 of LIPIcs, page 7:1-7:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Safraless Procedures for Timed Specifications., , , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 2-22. Springer, (2010)Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems., , and . SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 141-152. Springer, (2009)Phase-Bounded Broadcast Networks over Topologies of Communication., , and . CoRR, (2024)Parameterized verification of algorithms for oblivious robots on a ring., , , and . Formal Methods Syst. Des., 56 (1): 55-89 (2020)Parameterized Synthesis for Fragments of First-Order Logic Over Data Words., , , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 97-118. Springer, (2020)