( en | de | ru )

 

Disambiguierung von "Schnoebelen, Philippe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cutting through Regular Post Embedding Problems.

, und . CSR, Volume 7353 von Lecture Notes in Computer Science, Seite 229-240. Springer, (2012)

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.

Philippe Moisan

Philippe Zysset

Philippe Dreuw

Philippe Kersting

Philippe Bopp

 

Weitere Publikationen von Autoren mit dem selben Namen

On the index of Simon's congruence for piecewise testability., und . CoRR, (2013)Verifying Performance Equivalence for Timed Basic Parallel Processes., , und . FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 35-47. Springer, (2000)Model Checking Timed Automata with One or Two Clocks., , und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 387-401. Springer, (2004)On flat lossy channel machines.. CoRR, (2020)The Height of Piecewise-Testable Languages with Applications in Logical Complexity., und . CSL, Volume 62 von LIPIcs, Seite 37:1-37:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems., und . Nord. J. Comput., 9 (1): 118-144 (2002)Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets.. MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 616-628. Springer, (2010)Fundamental Structures in Well-Structured Infinite Transition Systems., und . LATIN, Volume 1380 von Lecture Notes in Computer Science, Seite 102-118. Springer, (1998)On Reachability for Unidirectional Channel Systems Extended with Regular Tests., , und . Log. Methods Comput. Sci., (2015)On the piecewise complexity of words and periodic words., , , und . CoRR, (2023)