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.

 

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

Lost in math?. Commun. ACM, 62 (3): 7 (2019)LTL Satisfiability Checking., и . SPIN, том 4595 из Lecture Notes in Computer Science, стр. 149-167. Springer, (2007)Sequential Relational Decomposition., , , и . CoRR, (2019)Pattern search in hierarchical high-level designs., , , и . ICECS, стр. 519-522. IEEE, (2004)Temporal Synthesis for Bounded Systems and Environments., , , и . STACS, том 9 из LIPIcs, стр. 615-626. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)The Siren Song of Temporal Synthesis (Invited Talk).. CONCUR, том 118 из LIPIcs, стр. 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Aggregating disparate estimates of chance., и . Games Econ. Behav., 56 (1): 148-173 (2006)2011 CAV award announcement., , , и . Formal Methods Syst. Des., 41 (1): 1-2 (2012)2009 CAV award announcement., , , и . Formal Methods Syst. Des., 36 (3): 195-197 (2010)A responce to Ä complete axiomatisation for full join dependencies in relations".. Bulletin of the EATCS, (1985)