From post

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.

 

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

On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels., , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 305-318. Springer, (1998)Verifying Networks of Timed Processes (Extended Abstract)., и . TACAS, том 1384 из Lecture Notes in Computer Science, стр. 298-312. Springer, (1998)A Survey of Regular Model Checking., , , и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 35-48. Springer, (2004)Decision problems in systolic circuit verification.. Uppsala University, Sweden, (1990)The Decidability of Verification under PS 2.0., , , , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 1-29. Springer, (2021)Chain-Free String Constraints., , , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 277-293. Springer, (2019)Verifying Reachability for TSO Programs with Dynamic Thread Creation., , , , и . NETYS, том 13464 из Lecture Notes in Computer Science, стр. 283-300. Springer, (2022)Forcing Monotonicity in Parameterized Verification: From Multisets to Words.. SOFSEM, том 5901 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2010)The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO., , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 308-332. Springer, (2015)Comparing the Expressive Power of Well-Structured Transition Systems., , и . CSL, том 4646 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2007)