( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis Through Unification.

, , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 163-179. Springer, (2015)

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.

Elfriede Cerny

Pavol Hanus

Pavol Svaba

Pavol Gajdosik

Lothar Cerny

 

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

Expressiveness of streaming string transducers., и . FSTTCS, том 8 из LIPIcs, стр. 1-12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Efficient Synthesis of Network Updates., , и . CoRR, (2014)Type-Directed Bounding of Collections in Reactive Programs., , , и . VMCAI, том 11388 из Lecture Notes in Computer Science, стр. 275-296. Springer, (2019)Simulation Distances., , и . CONCUR, том 6269 из Lecture Notes in Computer Science, стр. 253-268. Springer, (2010)Interface simulation distances., , , и . Theor. Comput. Sci., (2014)Simulation distances., , и . Theor. Comput. Sci., 413 (1): 21-35 (2012)Conflict-Aware Replicated Data Types., , и . CoRR, (2018)Specification and Compilation of Event-driven SDN Programs., , , и . CoRR, (2015)Security Evaluation of ES&S Voting Machines and Election Management System., , , , , , и . EVT, USENIX Association, (2008)Synchronization Synthesis for Network Programs., , и . CAV (2), том 10427 из Lecture Notes in Computer Science, стр. 301-321. Springer, (2017)