Stebėti
Mathys Rennela
Mathys Rennela
Researcher at INRIA
Patvirtintas el. paštas welinq.fr - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
FOSSACS 2020, 2020
29*2020
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras
M Rennela
MFPS XXX, 2014
292014
Classical control and quantum circuits in enriched category theory
M Rennela, S Staton
Elsevier, 2018
272018
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
M Rennela, S Staton
LMCS, 2019
242019
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
182016
Operator Algebras in Quantum Computation
M Rennela
arXiv preprint arXiv:1510.06649, 2013
142013
Infinite-dimensionality in quantum foundations: W*-algebras as presheaves over matrix algebras
M Rennela, S Staton, R Furber
EPTCS, 2016
132016
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
9*2023
Complete positivity and natural representation of quantum computations
M Rennela, S Staton
MFPS XXXI, 2015
92015
Join inverse rig categories for reversible functional programming, and beyond
R Kaarsgaard, M Rennela
MFPS XXXVII, 2021
82021
Convexity and Order in Probabilistic Call-by-Name FPC
M Rennela
LMCS, 2018
72018
Enrichment in Categorical Quantum Foundations
M Rennela
Radboud University, 2019
52019
Privacy in quantum communication complexity
I Kerenidis, M Lauriere, FL Gall, M Rennela
arXiv preprint arXiv:1409.8488, 2014
22014
Low bit-flip rate probabilistic error cancellation
M Rennela, H Ollivier
arXiv preprint arXiv:2411.06422, 2024
2024
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
Complete positivity and natural representation of quantum computations
S Staton, MPA Rennela
Amsterdam: Elsevier, 2015
2015
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20