( en | de | ru )

 

Disambiguierung von "Cerný, Pavol"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis Through Unification.

, , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 163-179. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Elfriede Cerny

Pavol Hanus

Pavol Svaba

Pavol Gajdosik

Lothar Cerny

 

Weitere Publikationen von Autoren mit dem selben Namen

Type-Directed Bounding of Collections in Reactive Programs., , , und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 275-296. Springer, (2019)Simulation Distances., , und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 253-268. Springer, (2010)Expressiveness of streaming string transducers., und . FSTTCS, Volume 8 von LIPIcs, Seite 1-12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Data-Driven Debugging for Functional Side Channels., , und . NDSS, The Internet Society, (2020)Conflict-Aware Replicated Data Types., , und . CoRR, (2018)Synchronization Synthesis for Network Programs., , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 301-321. Springer, (2017)Model Checking of Linearizability of Concurrent List Implementations., , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 465-479. Springer, (2010)Security Evaluation of ES&S Voting Machines and Election Management System., , , , , , und . EVT, USENIX Association, (2008)Streaming transducers for algorithmic verification of single-pass list-processing programs., und . POPL, Seite 599-610. ACM, (2011)Program synthesis for networks.. FMCAD, Seite 7. IEEE, (2016)