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.

 

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

Satisfiability versus Finite Satisfiability in Elementary Modal Logics., , и . Fundam. Informaticae, 163 (2): 165-188 (2018)Satisfiability vs. Finite Satisfiability in Elementary Modal Logics, , и . GandALF, том 96 из EPTCS, стр. 141-154. (2012)Lipschitz Robustness of Timed I/O Systems., , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 250-267. Springer, (2016)From Model Checking to Model Measuring., и . CONCUR, том 8052 из Lecture Notes in Computer Science, стр. 273-287. Springer, (2013)Unification of anti-terms.. UNIF, стр. 9-14. (2011)Lipschitz Robustness of Finite-state Transducers., , и . FSTTCS, том 29 из LIPIcs, стр. 431-443. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Quantitative Automata under Probabilistic Semantics., , и . Logical Methods in Computer Science, (2019)Approximate Learning of Limit-Average Automata., и . CONCUR, том 140 из LIPIcs, стр. 17:1-17:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)On a Semantic Subsumption Test., , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 142-153. Springer, (2004)Computing Average Response Time., , и . Principles of Modeling, том 10760 из Lecture Notes in Computer Science, стр. 143-161. Springer, (2018)