Accéder directement au contenu

Simon Perdrix

1
Documents

Présentation

I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics. - My [Homepage](http://simon.perdrix.eu). - My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ). - You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html). - Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).
I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics. - My [Homepage](http://simon.perdrix.eu). - My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ). - You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html). - Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).

Publications

mavanzini
Image document

Quantum Expectation Transformers for Cost Analysis

Martin Avanzini , Georg Moser , Romain Péchoux , Simon Perdrix , Vladimir Zamdzhiev
Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel
Communication dans un congrès hal-03540366v1