Mathys Rennela

17 papers B 5Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Gate Reordering for Distributed Quantum Compiling in Data Centers.
CoRR
Riccardo Mengoni, Walter Nadalin, Mathys Rennela, Jimmy Rotureau, Tom Darras, Julien Laurat, Eleni Diamanti, Ioannis Lavdas
2023 J jnl
Hybrid divide-and-conquer approach for tree search algorithms.
Quantum
Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko
2021 B conf
Join inverse rig categories for reversible functional programming, and beyond.
MFPS
Robin Kaarsgaard, Mathys Rennela
2020 J jnl
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory.
Log. Methods Comput. Sci.
Mathys Rennela, Sam Staton
2020 J jnl
Convexity and Order in Probabilistic Call-by-Name FPC.
Log. Methods Comput. Sci.
Mathys Rennela
2020 J jnl
Hybrid divide-and-conquer approach for tree search algorithms.
CoRR
Mathys Rennela, Alfons Laarman, Vedran Dunjko
2020 B conf
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
FoSSaCS
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
2019 J jnl
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
CoRR
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
2018 B conf
Classical Control and Quantum Circuits in Enriched Category Theory.
MFPS
Mathys Rennela, Sam Staton
2017 J jnl
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory.
CoRR
Mathys Rennela, Sam Staton
2016 J jnl
Convexity and Order in Probabilistic Call-by-Name FPC.
CoRR
Mathys Rennela
2016 — conf
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.
QPL
Mathys Rennela, Sam Staton, Robert Furber
2016 J jnl
Information cost of quantum communication protocols.
Quantum Inf. Comput.
Iordanis Kerenidis, Mathieu Laurière, Francois Le Gall, Mathys Rennela
2015 B conf
Complete Positivity and Natural Representation of Quantum Computations.
MFPS
Mathys Rennela, Sam Staton
2015 J jnl
Operator Algebras in Quantum Computation.
CoRR
Mathys Rennela
2014 J jnl
Privacy in Quantum Communication Complexity.
CoRR
Iordanis Kerenidis, Mathieu Laurière, François Le Gall, Mathys Rennela
2014 B conf
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras.
MFPS
Mathys Rennela