|
|
Simon Perdrix: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Finding Optimal Flows Efficiently
M. Mhalla, S. Perdrix
In ICALP'08, the 35th International Colloquium on Automata, Languages and Programming 2008.
Details
|
BibTeX
| Link |
|
[2]
|
Bases in diagramatic quantum protocols
B. Coecke, E. O. Paquette, S. Perdrix
In MFPS XXIV, the 24th conference on the Mathematical Foundations of Programming Semantics 2008.
Details
|
BibTeX
| Link (pdf) |
|
[4]
|
Quantum entanglement analysis based on abstract interpretation
S. Perdrix
In SAS'08, the 15th International Static Analysis Symposium 2008.
Details
|
BibTeX
| Link |
|
[5]
|
A Hierarchy of Quantum Semantics.
S. Perdrix
In Proceedings of the 3rd International Workshop on Development of Computational Models (to appear) 2007.
Details
|
BibTeX
| Link (pdf) |
|
[6]
|
Generalized Flow and Determinism in Measurement-based Quantum Computation
D. Browne, E. Kashefi, M. Mhalla, S. Perdrix
New Journal of Physics 9 250. 2007.
Details
|
BibTeX
| Link |
|
[7]
|
Towards Minimal Resources of Measurement-based Quantum Computation
S. Perdrix
New Journal of Physics 9 206. 2007.
Details
|
BibTeX
| Link |
|
[8]
|
Quantum patterns and types for entanglement and separability
S. Perdrix
In QPL'05, Electronic Notes in Theoretical Computer Science, 170 pages 125-138. 2007.
Details
|
BibTeX
| Link (pdf) |
|
[9]
|
Graph states and quantum computing
M. Mhalla, S. Perdrix
In Journees Graphes et Algorithmes, Orleans, France. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[10]
|
Classically-controlled quantum computation
S. Perdrix, Ph. Jorrand
In DCM'05, Electronic Notes in Theoretical Computer Science Vol. 135, No. 3, pages 119-128. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[11]
|
Towards a quantum calculus
Ph. Jorrand, S. Perdrix
In Proceedings of the 4th International Workshop on Quantum Programming Languages, ENTCS (to appear) 2006.
Details
|
BibTeX
| Link (pdf) |
|
[12]
|
Resources required for preparing graph states
P. Hoyer, M. Mhalla, S. Perdrix
In Proceedings of ISAAC'06. Lecture Notes in Computer Science Vol. 4288, pages 638-649. 2006.
Details
|
BibTeX
| Link (pdf) |
|
[13]
|
Classically-Controlled Quantum Computation
S. Perdrix, Ph. Jorrand
Mathematical Structures in Computer Science. vol 16, pages 601-620. 2006.
Details
|
BibTeX
| Link |
|
[14]
|
Formal models of quantum computation: resources, abstract machines and measurement-based quantum computation
S. Perdrix
PhD Thesis, 2006.
Details
|
BibTeX
| Link |
|
[15]
|
Unifying quantum computation with projective measurements only and one-way quantum computation
Ph. Jorrand, S. Perdrix
In Quantum Informatics 2004, Proceedings of the SPIE Vol. 5833, pages 44-51. 2005.
Details
|
BibTeX
| Link |
|
[16]
|
Resources for measurement-based quantum computation: A unifying view
Ph. Jorrand, S. Perdrix
In Proceedings of Quantum Information, Computation and Communication pages 111-120. 2005.
Details
|
BibTeX
| Link (pdf) |
|
[17]
|
State transfer instead of teleportation in measurement-based quantum computation
S. Perdrix
International Journal of Quantum Information, Vol. 3, pages 219-223. 2005.
Details
|
BibTeX
| Link |
|
[18]
|
Qubit vs observable resource trade-offs in measurement-based quantum computation
S. Perdrix
In Proceedings of Quantum communication measurement and computing Vol. 734, pages 163-166. 2004.
Details
|
BibTeX
| Link (pdf) |
|
|
|
|
