( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Quasiorder-Based Perspective on Residual Automata.

, , и . MFCS, том 170 из LIPIcs, стр. 40:1-40:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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 Rudolph

Piérre Schulze

Pierre Rollin

 

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

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets., , и . Fundam. Informaticae, 88 (3): 275-305 (2008)Generating Bounded Languages Using Bounded Control Sets., и . CoRR, (2014)Bounded-oscillation Pushdown Automata., и . GandALF, том 226 из EPTCS, стр. 178-197. (2016)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)Fixed point guided abstraction refinement for alternating automata., , и . Theor. Comput. Sci., 411 (38-39): 3444-3459 (2010)Underapproximation of procedure summaries for integer programs., , и . Int. J. Softw. Tools Technol. Transf., 19 (5): 565-584 (2017)Solving non-linear Horn clauses using a linear Horn clause solver., , и . HCVS@ETAPS, том 219 из EPTCS, стр. 33-48. (2016)Model Checking Parameterized Asynchronous Shared-Memory Systems., , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 67-84. Springer, (2015)A Language-theoretic View on Network Protocols., , и . CoRR, (2016)