| Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras M Rennela MFPS XXX, 2014 | 26 | 2014 |
| Classical control and quantum circuits in enriched category theory M Rennela, S Staton Elsevier, 2018 | 19 | 2018 |
| Operator Algebras in Quantum Computation M Rennela arXiv preprint arXiv:1510.06649, 2013 | 12 | 2013 |
| 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 | 11 | 2016 |
| Infinite-dimensionality in quantum foundations: W*-algebras as presheaves over matrix algebras M Rennela, S Staton, R Furber EPTCS, 2016 | 8 | 2016 |
| Complete positivity and natural representation of quantum computations M Rennela, S Staton MFPS XXXI, 2015 | 8 | 2015 |
| Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory R Péchoux, S Perdrix, M Rennela, V Zamdzhiev FOSSACS 2020, 2020 | 7* | 2020 |
| Convexity and Order in Probabilistic Call-by-Name FPC M Rennela LMCS, 2018 | 4 | 2018 |
| Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory M Rennela, S Staton LMCS, 2019 | 3 | 2019 |
| Enrichment in Categorical Quantum Foundations M Rennela Radboud University, 2018 | 3 | 2018 |
| 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 M Rennela, A Laarman, V Dunjko arXiv preprint arXiv:2007.07040, 2020 | | 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 | | |
Vladimir ZamdzhievPermanent Researcher, InriaVerified email at inria.fr
