Double Dilation ≠ Double Mixing (extended abstract). - Maaike Zwart; Bob Coecke (QPL, 2017)

Quantitative Foundations for Resource Theories. - Dan Marsden; Maaike Zwart (CSL, 2018)

Don't Try This at Home: No-Go Theorems for Distributive Laws. - Maaike Zwart; Dan Marsden (CoRR, 2018)

No-Go Theorems for Distributive Laws. - Maaike Zwart; Dan Marsden (Log. Methods Comput. Sci., 2022)

Correspondence Between Composite Theories and Distributive Laws. - Aloïs Rosset; Maaike Zwart; Helle Hvid Hansen; Jörg Endrullis (CMCS, 2024)

What Monads Can and Cannot Do with a Bit of Extra Time. - Rasmus Ejlers Møgelberg; Maaike Zwart (CSL, 2024)

Modelling Probabilistic FPC in Guarded Type Theory. - Philipp Stassen; Rasmus Ejlers Møgelberg; Maaike Zwart; Alejandro Aguirre 001; Lars Birkedal (CoRR, 2024)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory. - Philipp Stassen; Rasmus Ejlers Møgelberg; Maaike Zwart; Alejandro Aguirre 001; Lars Birkedal (Proc. ACM Program. Lang., 2025)