( en | de | ru )

 

Disambiguierung von "Reynier, Pierre-Alain"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generalised Twinning Property for Minimisation of Cost Register Automata.

, , und . LICS, Seite 857-866. ACM, (2016)

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

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)Visibly Pushdown Transducers with Well-Nested Outputs., und . Int. J. Found. Comput. Sci., 27 (2): 235-258 (2016)On Characteristic Formulae for Event-Recording Automata., und . FICS, Seite 70-78. Institute of Cybernetics, (2009)Robustness of Time Petri Nets under Guard Enlargement., , , und . Fundam. Informaticae, 143 (3-4): 207-234 (2016)Synthesis of Data Word Transducers., , und . Log. Methods Comput. Sci., (2021)Extended Timed Automata and Time Petri Nets., , und . ACSD, Seite 91-100. IEEE Computer Society, (2006)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)Robust Analysis of Timed Automata via Channel Machines., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 157-171. Springer, (2008)