( en | de | ru )

 

Disambiguierung von "Ringer, Talia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Long-Term Mentoring for Computer Science Researchers.

, , , , , und . Commun. ACM, 66 (5): 33-35 (Mai 2023)

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.

Talia Einhorn

Enrico Taliani

Talia Sayah

Friedrich Ringer

Hans Ringer

 

Weitere Publikationen von Autoren mit dem selben Namen

AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems., , und . ACM Conference on Computer and Communications Security, Seite 204-216. ACM, (2016)Proof Repair.. University of Washington, USA, (2021)QED at Large: A Survey of Engineering of Formally Verified Software., , , , und . Found. Trends Program. Lang., 5 (2-3): 102-281 (2019)Passport: Improving Automated Formal Verification Using Identifiers., , , , , und . ACM Trans. Program. Lang. Syst., 45 (2): 12:1-12:30 (Juni 2023)A solver-aided language for test input generation., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 91:1-91:24 (2017)Ornaments for Proof Reuse in Coq., , , und . ITP, Volume 141 von LIPIcs, Seite 26:1-26:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)PRoofster: Automated Formal Verification., , , , , , , , und . ICSE Companion, Seite 26-30. IEEE, (2023)Adapting proof automation to adapt proofs., , , und . CPP, Seite 115-129. ACM, (2018)QED at Large: A Survey of Engineering of Formally Verified Software., , , , und . CoRR, (2020)Long-Term Mentoring for Computer Science Researchers., , , , , und . CoRR, (2022)