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.

 

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

Mutation Testing with Hyperproperties., , и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 203-221. Springer, (2019)Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3., , , , , , , , , и . ICECCS, стр. 97-106. IEEE, (2019)Counterexample Explanation by Learning Small Strategies in Markov Decision Processes., , , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 158-177. Springer, (2015)Language Inclusion for Finite Prime Event Structures., , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 314-336. Springer, (2020)