Autor der Publikation

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.

Keine Personen gefunden für den Autorennamen Lampropoulos, Leonidas
Eine Person hinzufügen mit dem Namen Lampropoulos, Leonidas
 

Weitere Publikationen von Autoren mit dem selben Namen

Beginner's Luck: A Language for Property-Based Generators., , , , , und . CoRR, (2016)A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq., , und . Haskell, Seite 63-74. ACM, (2017)A Formal Model of Checked C., , , , , und . CoRR, (2022)Testing noninterference, quickly., , , , , , , und . J. Funct. Program., (2016)Achieving Safety Incrementally with Checked C., , , , und . POST, Volume 11426 von Lecture Notes in Computer Science, Seite 76-98. Springer, (2019)Ode on a random urn (functional pearl)., , und . Haskell, Seite 26-37. ACM, (2017)Testing noninterference, quickly., , , , , , und . ICFP, Seite 455-468. ACM, (2013)Measuring Neural Net Robustness with Constraints., , , , , und . CoRR, (2016)Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services, und . WWV, Volume 98 von EPTCS, Seite 3-16. (2012)Keep your laziness in check., , und . Proc. ACM Program. Lang., 2 (ICFP): 102:1-102:30 (2018)