( en | de | ru )

 

Disambiguierung von "Zdancewic, Steve"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Counterfactual Explanations for Natural Language Interfaces.

, , , und . ACL (2), Seite 113-118. Association for Computational Linguistics, (2022)

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.

Steve Völler

Steve Pasek

Steve Blechschmidt

Steve Tonah

Steve Klopfleisch

 

Weitere Publikationen von Autoren mit dem selben Namen

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking., , und . CGO, Seite 175. ACM, (2014)Application-level concurrency: combining events and treads: invited talk.. DAMP, Seite 2. ACM, (2007)Lightweight linear types in system fdegree., , und . TLDI, Seite 77-88. ACM, (2010)Mechanized Metatheory for the Masses: The PoplMark Challenge., , , , , , , , , und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 50-65. Springer, (2005)Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces., und . Sci. Ann. Comput. Sci., 24 (2): 325-368 (2014)Synthesizing Trajectory Queries from Examples., , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 459-484. Springer, (2023)Enforcing Robust Declassification., , und . CSFW, Seite 172-186. IEEE Computer Society, (2004)Observational Determinism for Concurrent Program Security., und . CSFW, Seite 29-. IEEE Computer Society, (2003)Example-directed synthesis: a type-theoretic interpretation., , , und . POPL, Seite 802-815. ACM, (2016)Semantics for Noninterference with Interaction Trees., , , , und . ECOOP, Volume 263 von LIPIcs, Seite 29:1-29:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)