Minimal Session Types (Pearl). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (ECOOP, 2019)

Minimal Session Types (Extended Version). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (CoRR, 2019)

Minimal Session Types (Artifact). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (Dagstuhl Artifacts Ser., 2019)

Denotational Semantics for Symbolic Execution. - Erik Voogd; Åsmund Aqissiaq Arild Kløvstad; Einar Broch Johnsen (ICTAC, 2023)

Symbolic Semantics for Probabilistic Programs. - Erik Voogd; Einar Broch Johnsen; Alexandra Silva 001; Zachary J. Susag; Andrzej Wasowski (QEST, 2023)

Symbolic Semantics for Probabilistic Programs (extended version). - Erik Voogd; Einar Broch Johnsen; Alexandra Silva 001; Zachary J. Susag; Andrzej Wasowski (CoRR, 2023)

Joint Distributions in Probabilistic Semantics. - Dexter Kozen; Alexandra Silva 001; Erik Voogd (MFPS, 2023)

Towards a Proof System for Probabilistic Dynamic Logic. - Einar Broch Johnsen; Eduard Kamburjan; Raúl Pardo; Erik Voogd; Andrzej Wasowski (Principles of Verification (1), 2024)

Correct and Complete Symbolic Execution for Free. - Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva 001 (IFM, 2024)

Compositional symbolic execution semantics. - Erik Voogd; Åsmund Aqissiaq Arild Kløvstad; Einar Broch Johnsen; Andrzej Wasowski (Theor. Comput. Sci., 2025)