MR
Mathys Rennela
quant-phcs.LOcs.PLmath.CTmath.OAcs.DCcs.CCcs.DScs.SE
On Valency
published · living versionsW_yfjxx4t6·v1 · currentpublished
Perspective on AI and quantum open-source software
with Changhao Li, Bradley A. Chase, Veena Vijayakumar, Alessandro Cosentino +9
1 version
Preprints & journals
12 papers in the corpus · 2014–2026Design rules for fault-tolerant multi-gate teleportation2607.01342v2 · Mathys Rennela2026 · 0 citationsarXiv
Quasilinear Equivalence Checking for Detector Error Models2606.14677v1 · Mathys Rennela2026 · 0 citationsarXiv
Efficient Gate Reordering for Distributed Quantum Compiling in Data Centers2507.01090v2 · Riccardo Mengoni, Walter Nadalin, Mathys Rennela et al.2025 · 2 citationsEPJ Quantum Technology 13, 65 (2026)
Low bit-flip rate probabilistic error cancellation2411.06422v2 · Mathys Rennela, Harold Ollivier2024 · 2 citationsAdvanced Quantum Technologies, QUTE202500029 (2025)
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond2105.09929v2 · Robin Kaarsgaard, Mathys Rennela2021 · 7 citationsEPTCS 351, 2021, pp. 152-167
Hybrid divide-and-conquer approach for tree search algorithms2007.07040v4 · Mathys Rennela, Sebastiaan Brand, Alfons Laarman et al.2020 · 9 citationsQuantum 7, 959 (2023)
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory1910.09633v1 · Romain P'echoux, Simon Perdrix, Mathys Rennela et al.2019 · 21 citationsarXiv
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory1711.05159v5 · Mathys Rennela, Sam Staton2017 · 18 citationsLogical Methods in Computer Science, Volume 16, Issue 1 (March 10, 2020) lmcs:4068
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras1701.00662v1 · Mathys Rennela, Sam Staton, Robert Furber2017 · 5 citationsEPTCS 236, 2017, pp. 161-173
Convexity and Order in Probabilistic Call-by-Name FPC1607.04332v5 · Mathys Rennela2016 · 3 citationsLogical Methods in Computer Science, Volume 16, Issue 4 (November 12, 2020) lmcs:1533
Operator Algebras in Quantum Computation1510.06649v1 · Mathys Rennela2015 · 8 citationsarXiv
Privacy in Quantum Communication Complexity1409.8488v1 · Iordanis Kerenidis, Mathieu Lauriere, Francois Le Gall et al.2014 · 9 citationsQuantum Information and Computation, Vol. 16 No. 3&4, pp. 181-196, 2016
Career total: 19 works. 12 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.