| 2026 | LICS | A Convenient Fibration for Dependently-Typed Probability Theory. | Danel Ahman, Ohad Kammar, Rasmus Ejlers Mgelberg |
| 2026 | LICS | Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability. | Giorgio Bacci, Rasmus Ejlers Mgelberg |
| 2024 | CSL | What Monads Can and Cannot Do with a Bit of Extra Time. | Rasmus Ejlers Mgelberg, Maaike Zwart |
| 2022 | LICS | Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks. | Magnus Baunsgaard Kristensen, Rasmus Ejlers Mgelberg, Andrea Vezzosi |
| 2017 | LICS | The clocks are ticking: No more delays! | Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Mgelberg |
| 2016 | FOSSACS | Guarded Dependent Type Theory with Coinductive Types. | Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Mgelberg, Lars Birkedal |
| 2016 | LICS | Denotational semantics of recursive types in synthetic guarded domain theory. | Rasmus Ejlers Mgelberg, Marco Paviotti |
| 2014 | CSL | A type theory for productive coprogramming via guarded recursion. | Rasmus Ejlers Mgelberg |
| 2013 | LICS | Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes. | Lars Birkedal, Rasmus Ejlers Mgelberg |
| 2011 | CALCO | Linearly-Used State in Models of Call-by-Value. | Rasmus Ejlers Mgelberg, Sam Staton |
| 2011 | LICS | First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. | Lars Birkedal, Rasmus Ejlers Mgelberg, Jan Schwinghammer, Kristian Stvring |
| 2010 | FOSSACS | Linearly-Used Continuations in the Enriched Effect Calculus. | Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson |
| 2009 | CSL | Enriching an Effect Calculus with Linear Types. | Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson |
| 2007 | LICS | Relational Parametricity for Computational Effects. | Rasmus Ejlers Mgelberg, Alex Simpson |
| 2006 | ICALP | Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism. | Rasmus Ejlers Mgelberg |