Simon Perdrix
2
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
- 2
- 1
- 1
- 1
- 1
- 1
|
Quantum Expectation Transformers for Cost AnalysisSymposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03540366v1
|
|
On the Hardness of Analyzing Quantum Programs Quantitatively2023
Pré-publication, Document de travail
hal-04349874v1
|