( en | de | ru )

 

Disambiguierung von "Reynier, Pierre-Alain"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computability of Data-Word Transductions over Different Data Domains.

, , , und . Log. Methods Comput. Sci., (2022)

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.

Pierre-Alain Avouac

Pierre-Alain Dupont

Pierre-Alain Weiß

Pierre-Alain Loizeau

Pierre-Alain Mariaux

 

Weitere Publikationen von Autoren mit dem selben Namen

On Characteristic Formulae for Event-Recording Automata., und . FICS, Seite 70-78. Institute of Cybernetics, (2009)Visibly Pushdown Transducers with Well-Nested Outputs., und . Int. J. Found. Comput. Sci., 27 (2): 235-258 (2016)Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning., und . Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 69-88. Springer, (2011)Extended Timed Automata and Time Petri Nets., , und . ACSD, Seite 91-100. IEEE Computer Society, (2006)Robust Analysis of Timed Automata via Channel Machines., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 157-171. Springer, (2008)Trimming Visibly Pushdown Automata., , und . CIAA, Volume 7982 von Lecture Notes in Computer Science, Seite 84-96. Springer, (2013)Synthesis of Data Word Transducers., , und . CONCUR, Volume 140 von LIPIcs, Seite 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Playing Stochastically in Weighted Timed Games to Emulate Memory., , und . ICALP, Volume 198 von LIPIcs, Seite 137:1-137:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Robust Class of Languages of 2-Nested Words., , und . MFCS, Volume 241 von LIPIcs, Seite 50:1-50:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Synthesis of Robust Optimal Strategies in Weighted Timed Games., , und . CoRR, (2024)