( en | de | ru )

 

Disambiguierung von "Sergey, Ilya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Programming Language Abstractions for Modularly Verified Distributed Systems.

, , und . SNAPL, Volume 71 von LIPIcs, Seite 19:1-19:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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.

Katja Ilyashava

Maxim Ilyasov

Rimma Ilyasova

Ilya Christoffel

Ilya Pavlyukevich

 

Weitere Publikationen von Autoren mit dem selben Namen

Deriving interpretations of the gradually-typed lambda calculus., , und . PEPM, Seite 157-168. ACM, (2014)A semantics for context-oriented programming with layers., und . COP@ECOOP, Seite 10:1-10:6. ACM, (2009)QED at Large: A Survey of Engineering of Formally Verified Software., , , , und . CoRR, (2020)A Concurrent Perspective on Smart Contracts., und . Financial Cryptography Workshops, Volume 10323 von Lecture Notes in Computer Science, Seite 478-493. Springer, (2017)Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)., , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 110-134. Springer, (2021)Certifying Certainty and Uncertainty in Approximate Membership Query Structures - Extended Version., und . CoRR, (2020)Certifying Certainty and Uncertainty in Approximate Membership Query Structures., und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 279-303. Springer, (2020)Programming and proving with distributed protocols., , und . Proc. ACM Program. Lang., 2 (POPL): 28:1-28:30 (2018)Modular, higher-order cardinality analysis in theory and practice., , und . POPL, Seite 335-348. ACM, (2014)Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis., , , und . VMCAI, Volume 12597 von Lecture Notes in Computer Science, Seite 376-400. Springer, (2021)