| 2026 | LICS | One Rig to Control Them All. | Chris Heunen, Robin Kaarsgaard, Louis Lemonnier |
| 2026 | WoLLIC | Shadowy Institutions. | Siddharth Bhaskar, Robin Kaarsgaard |
| 2024 | RC | Compositional Reversible Computation. | Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry |
| 2024 | RC | Jeopardy: An Invertible Functional Programming Language. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2023 | RC | Tail Recursion Transformation for Invertible Functions. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2022 | RC | Algeo: An Algebraic Approach to Reversibility. | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
| 2021 | MFCS | Graph Traversals as Universal Constructions. | Siddharth Bhaskar, Robin Kaarsgaard |
| 2019 | FM | Reversible Programs Have Reversible Semantics. | Robert Glck, Robin Kaarsgaard, Tetsuo Yokoyama |
| 2019 | MPC | En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. | Robin Kaarsgaard, Niccol Veltri |
| 2019 | RC | Inversion, Iteration, and the Art of Dual Wielding. | Robin Kaarsgaard |
| 2018 | RC | \mathsf CoreFun : A Typed Functional Reversible Core Language. | Petur Andrias Hjgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2016 | FOSSACS | Join Inverse Categories as Models of Reversible Recursion. | Holger Bock Axelsen, Robin Kaarsgaard |
| 2016 | WoLLIC | A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. | Holger Bock Axelsen, Robert Glck, Robin Kaarsgaard |
| 2015 | RC | Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. | Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken |