| Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras M Rennela MFPS XXX, 2014 | 27 | 2014 |
| Classical control and quantum circuits in enriched category theory M Rennela, S Staton Elsevier, 2018 | 23 | 2018 |
| Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory R Péchoux, S Perdrix, M Rennela, V Zamdzhiev FOSSACS 2020, 2020 | 22* | 2020 |
| Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory M Rennela, S Staton LMCS, 2019 | 17 | 2019 |
| Information cost of quantum communication protocols I Kerenidis, M Lauriere, F Le Gall, M Rennela Quantum Information and Computation 16 (3-4), pp0181-0196, 2016 | 17 | 2016 |
| Operator Algebras in Quantum Computation M Rennela arXiv preprint arXiv:1510.06649, 2013 | 13 | 2013 |
| Infinite-dimensionality in quantum foundations: W*-algebras as presheaves over matrix algebras M Rennela, S Staton, R Furber EPTCS, 2016 | 10 | 2016 |
| Complete positivity and natural representation of quantum computations M Rennela, S Staton MFPS XXXI, 2015 | 9 | 2015 |
| Convexity and Order in Probabilistic Call-by-Name FPC M Rennela LMCS, 2018 | 7 | 2018 |
| Enrichment in Categorical Quantum Foundations M Rennela Radboud University, 2019 | 5 | 2019 |
| Hybrid divide-and-conquer approach for tree search algorithms M Rennela, S Brand, A Laarman, V Dunjko arXiv preprint arxiv:2007.07040, 2022 | 4 | 2022 |
| Join inverse rig categories for reversible functional programming, and beyond R Kaarsgaard, M Rennela MFPS XXXVII, 2021 | 4 | 2021 |
| Privacy in quantum communication complexity I Kerenidis, M Lauriere, FL Gall, M Rennela arXiv preprint arXiv:1409.8488, 2014 | 2 | 2014 |
| Hybrid divide-and-conquer approach for tree search algorithms: possibilities and limitations M Rennela, S Brand, A Laarman, V Dunjko QUANTUM 7, 1-48, 2023 | | 2023 |
| Hybrid Classical-Quantum Speedups for the Random k-SAT Problem using Smaller Quantum Computers M Blom, M Rennela, V Dunjko | | 2020 |
| The conception of truth in game semantics and linear logic M Rennela EPISTEMIX, 2017 | | 2017 |
| Categorical models of reversible programming R Kaarsgaard, M Rennela | | 2017 |
| Le projet «Ordinateurs de Cinquième Génération» M Rennela | | 2012 |
| Causalité informationnelle: l’information est-elle un bon fondement pour la physique quantique? M Rennela | | 2011 |
Vladimir ZamdzhievInriaVerified email at inria.fr
