Mathys Rennela

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 12

Top Topics

Quantum Computation

Probability Ranking Principle

Indexing Schemes

Top Venues

Log. Methods Comput. Sci.

Publications

Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko
Hybrid divide-and-conquer approach for tree search algorithms. Quantum 7 (2023)
Robin Kaarsgaard, Mathys Rennela
Join inverse rig categories for reversible functional programming, and beyond. CoRR (2021)
Mathys Rennela, Sam Staton
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. Log. Methods Comput. Sci. 16 (1) (2020)
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. FoSSaCS (2020)
Mathys Rennela, Alfons Laarman, Vedran Dunjko
Hybrid divide-and-conquer approach for tree search algorithms. CoRR (2020)
Mathys Rennela
Convexity and Order in Probabilistic Call-by-Name FPC. Log. Methods Comput. Sci. 16 (4) (2020)
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. CoRR (2019)
Mathys Rennela, Sam Staton
Classical Control and Quantum Circuits in Enriched Category Theory. MFPS (2018)
Mathys Rennela, Sam Staton
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. CoRR (2017)
Iordanis Kerenidis, Mathieu Laurière, Francois Le Gall, Mathys Rennela
Information cost of quantum communication protocols. Quantum Inf. Comput. 16 (3&4) (2016)
Mathys Rennela
Convexity and Order in Probabilistic Call-by-Name FPC. CoRR (2016)
Mathys Rennela, Sam Staton, Robert Furber
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. QPL (2016)
Mathys Rennela
Operator Algebras in Quantum Computation. CoRR (2015)
Mathys Rennela, Sam Staton
Complete Positivity and Natural Representation of Quantum Computations. MFPS (2015)
Mathys Rennela
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras. MFPS (2014)
Iordanis Kerenidis, Mathieu Laurière, François Le Gall, Mathys Rennela
Privacy in Quantum Communication Complexity. CoRR (2014)