( en | de | ru )

 

Disambiguierung von "Ganty, Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tree dimension in verification of constrained Horn clauses.

, , und . Theory Pract. Log. Program., 18 (2): 224-251 (2018)

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.

Piérre Schulze

Pierre Rollin

Pierre Rudolph

Pierre Joeris

Pierre Mathis

 

Weitere Publikationen von Autoren mit dem selben Namen

Regular Expression Search on Compressed Text., und . DCC, Seite 528-537. IEEE, (2019)A Language-theoretic View on Network Protocols., , und . CoRR, (2016)Parikh Image of Pushdown Automata., und . FCT, Volume 10472 von Lecture Notes in Computer Science, Seite 271-283. Springer, (2017)Verification of population protocols., , , und . Acta Informatica, 54 (2): 191-215 (2017)Pattern-Based Verification for Multithreaded Programs., , und . ACM Trans. Program. Lang. Syst., 36 (3): 9:1-9:29 (2014)Decomposition by tree dimension in Horn clause verification., , und . VPT@ETAPS, Volume 199 von EPTCS, Seite 1-14. (2015)A Quasiorder-Based Perspective on Residual Automata., , und . MFCS, Volume 170 von LIPIcs, Seite 40:1-40:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)From non-zenoness verification to termination., , , und . MEMOCODE, Seite 228-237. IEEE, (2015)Generating Bounded Languages Using Bounded Control Sets., und . CoRR, (2014)Bounded-oscillation Pushdown Automata., und . GandALF, Volume 226 von EPTCS, Seite 178-197. (2016)