Erik Voogd

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Joint Distribution

Denotational Semantics

Probabilistic Knowledge

Top Venues

Dagstuhl Artifacts Ser.

Publications

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs (extended version). CoRR (2023)
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen
Denotational Semantics for Symbolic Execution. ICTAC (2023)
Dexter Kozen, Alexandra Silva, Erik Voogd
Joint Distributions in Probabilistic Semantics. CoRR (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs. QEST (2023)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Pearl). ECOOP (2019)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Extended Version). CoRR (2019)