( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Faster Algorithms for Weighted Recursive State Machines.

, , , и . ESOP, том 10201 из Lecture Notes in Computer Science, стр. 287-313. Springer, (2017)

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.

Brigitte Kragl

Martin Kragl

Uwe Kragl

Hans Kragl

Gisela Kragl

 

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

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3., , , , , , , , , и 2 other автор(ы). SOSP, стр. 836-850. ACM, (2021)Tree Interpolation in Vampire., , , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 173-181. Springer, (2013)Faster Algorithms for Weighted Recursive State Machines., , , и . ESOP, том 10201 из Lecture Notes in Computer Science, стр. 287-313. Springer, (2017)Inductive sequentialization of asynchronous programs., , , , и . PLDI, стр. 227-242. ACM, (2020)Synchronizing the Asynchronous., , и . CONCUR, том 118 из LIPIcs, стр. 21:1-21:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Layered Concurrent Programs., и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 79-102. Springer, (2018)Extensional Crisis and Proving Identity., , , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 185-200. Springer, (2014)Verifikation Nebenläufiger Programme.. Ausgezeichnete Informatikdissertationen, том D-21 из LNI, GI, (2020)Refinement for Structured Concurrent Programs., , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 275-298. Springer, (2020)The Civl Verifier., и . FMCAD, стр. 143-152. IEEE, (2021)