Privacy in Quantum Communication Complexity. - Iordanis Kerenidis; Mathieu Laurière; François Le Gall; Mathys Rennela (CoRR, 2014)

Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras. - Mathys Rennela (MFPS, 2014)

Operator Algebras in Quantum Computation. - Mathys Rennela (CoRR, 2015)

Complete Positivity and Natural Representation of Quantum Computations. - Mathys Rennela; Sam Staton (MFPS, 2015)

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. - Mathys Rennela; Sam Staton; Robert Furber (QPL, 2016)

Information cost of quantum communication protocols. - Iordanis Kerenidis; Mathieu Laurière; Francois Le Gall; Mathys Rennela (Quantum Inf. Comput., 2016)

Classical Control and Quantum Circuits in Enriched Category Theory. - Mathys Rennela; Sam Staton (MFPS, 2018)

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. - Romain Péchoux; Simon Perdrix; Mathys Rennela; Vladimir Zamdzhiev (FoSSaCS, 2020)

Hybrid divide-and-conquer approach for tree search algorithms. - Mathys Rennela; Alfons Laarman; Vedran Dunjko (CoRR, 2020)

Convexity and Order in Probabilistic Call-by-Name FPC. - Mathys Rennela (Log. Methods Comput. Sci., 2020)

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. - Mathys Rennela; Sam Staton (Log. Methods Comput. Sci., 2020)

Join inverse rig categories for reversible functional programming, and beyond. - Robin Kaarsgaard; Mathys Rennela (MFPS, 2021)

Hybrid divide-and-conquer approach for tree search algorithms. - Mathys Rennela; Sebastiaan Brand; Alfons Laarman; Vedran Dunjko (Quantum, 2023)

Efficient Gate Reordering for Distributed Quantum Compiling in Data Centers. - Riccardo Mengoni; Walter Nadalin; Mathys Rennela; Jimmy Rotureau; Tom Darras; Julien Laurat; Eleni Diamanti; Ioannis Lavdas (CoRR, 2025)