( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tree dimension in verification of constrained Horn clauses.

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

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.

Pierre Venet

Pierre Nyabyenda

Pierre Gottschlich

Pierre Mattern

Pierre Mangold

 

Другие публикации лиц с тем же именем

Analysis of Asynchronous Programs with Event-Based Synchronization., , , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 535-559. Springer, (2015)Interprocedural Reachability for Flat Integer Programs., и . FCT, том 9210 из Lecture Notes in Computer Science, стр. 133-145. Springer, (2015)Model Checking Parameterized Asynchronous Shared-Memory Systems., , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 67-84. Springer, (2015)Parikh Image of Pushdown Automata., и . FCT, том 10472 из Lecture Notes in Computer Science, стр. 271-283. Springer, (2017)Regular Expression Search on Compressed Text., и . DCC, стр. 528-537. IEEE, (2019)Verification of population protocols., , , и . Acta Inf., 54 (2): 191-215 (2017)Pattern-Based Verification for Multithreaded Programs., , и . ACM Trans. Program. Lang. Syst., 36 (3): 9:1-9:29 (2014)From non-zenoness verification to termination., , , и . MEMOCODE, стр. 228-237. IEEE, (2015)A Quasiorder-Based Perspective on Residual Automata., , и . MFCS, том 170 из LIPIcs, стр. 40:1-40:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Fixpoint Guided Abstraction Refinement for Alternating Automata., , и . CIAA, том 5642 из Lecture Notes in Computer Science, стр. 155-164. Springer, (2009)