No big deal: introducing roles to reduce the size of ATL models - Sjur K. Dyrkolbotn; Piotr Kazmierczak; Erik Parmann; Truls Pedersen (CoRR, 2012)

Concurrent Game Structures with Roles - Truls Pedersen; Sjur K. Dyrkolbotn; Piotr Kazmierczak; Erik Parmann (SR, 2013)

Investigating Streamless Sets. - Erik Parmann (TYPES, 2014)

Non-Constructivity in Kan Simplicial Sets. - Marc Bezem; Thierry Coquand; Erik Parmann (TLCA, 2015)

Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation. - Erik Parmann (TYPES, 2015)

Realizability at Work: Separating Two Constructive Notions of Finiteness. - Marc Bezem; Thierry Coquand; Keiko Nakata 001; Erik Parmann (TYPES, 2016)

Reasoning about strategic voting in modal logic quickly becomes undecidable. - Erik Parmann; Thomas Ågotnes (J. Log. Comput., 2021)