| 2026 | LICS | One Rig to Control Them All. | Chris Heunen, Robin Kaarsgaard, Louis Lemonnier |
| 2025 | CONCUR | Towards Categorical Quantum Concurrency Theory (Invited Talk). | Chris Heunen |
| 2025 | SIGCOMM | Distributed Quantum Computing Across Heterogeneous Hardware with Hybrid Dependency Hypergraphs. | Maria Gragera Garces, Chris Heunen, Mahesh K. Marina |
| 2024 | RC | Compositional Reversible Computation. | Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry |
| 2022 | CSL | Localisable Monads. | Carmen M. Constantin, Nuiok Dicaire, Chris Heunen |
| 2017 | LICS | A convenient category for higher-order probability theory. | Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang |
| 2016 | LICS | Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. | Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar |
| 2015 | LICS | Domains of Commutative C-Subalgebras. | Chris Heunen, Bert Lindenhovius |
| 2014 | ICALP | Piecewise Boolean Algebras and Their Domains. | Chris Heunen |
| 2009 | CALCO | Coalgebraic Components in a Many-Sorted Microcosm. | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
| 2003 | GMP | Accurate Silhouettes - Do Polyhedral Models Suffice? | Chris Heunen |