Simon Perdrix
Simon Perdrix
Permanent Researcher, CNRS, LORIA
Verified email at - Homepage
Cited by
Cited by
Generalized flow and determinism in measurement-based quantum computation
DE Browne, E Kashefi, M Mhalla, S Perdrix
New Journal of Physics 9 (8), 250, 2007
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
ICALP'10. International Colloquium on Automata, Languages, and Programming …, 2010
A complete axiomatisation of the ZX-calculus for Clifford+ T quantum mechanics
E Jeandel, S Perdrix, R Vilmart
LICS'18. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in …, 2018
Environment and Classical Channels in Categorical Quantum Mechanics.
B Coecke, S Perdrix
CSL'10. EACSL Conference on Computer Science Logic 10, 230-244, 2010
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
CiE'09. Conference on Computability in Europe, 167-177, 2009
State transfer instead of teleportation in measurement-based quantum computation
S Perdrix
International Journal of Quantum Information, 2005. 3 (1), 219-223, 2004
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
Computational depth complexity of measurement-based quantum computation
D Browne, E Kashefi, S Perdrix
TQC'10. Conference on Quantum Computation, Communication, and Cryptography …, 2010
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
EPTCS proceedings of QPL'13 171, 50-62, 2013
Finding optimal flows efficiently
M Mhalla, S Perdrix
ICALP'08. International Colloquium on Automata, Languages, and Programming …, 2008
Classically-controlled quantum computation
S Perdrix, P Jorrand
Electronic Notes in Theoretical Computer Science 135 (3), 119-128, 2006
Diagrammatic Reasoning beyond Clifford+ T Quantum Mechanics
E Jeandel, S Perdrix, R Vilmart
LICS'18. ACM/IEEE Symposium on Logic in Computer Science, 2018., 2018
A simplified stabilizer zx-calculus
M Backens, S Perdrix, Q Wang
QPL'16 - Proceedings 13th International Conference on Quantum Physics and …, 2016
Extended measurement calculus
V Danos, E Kashefi, P Panangaden, S Perdrix
Semantic techniques in quantum computation, 235-310, 2009
Unifying quantum computation with projective measurements only and one-way quantum computation
P Jorrand, S Perdrix
Proc. SPIE, Quantum Informatics (QI'04), Vol. 5833, 44 (2005), 2004
Quantum entanglement analysis based on abstract interpretation
S Perdrix
SAS'08. International Static Analysis Symposium, 270-282, 2008
Resources required for preparing graph states
P Høyer, M Mhalla, S Perdrix
ISAAC'06. International Symposium on Algorithms and Computation, LNCS 4288 …, 2006
Bases in diagrammatic quantum protocols
B Coecke, S Perdrix, ÉO Paquette
TCS. Electronic Notes in Theoretical Computer Science 218, 131-152, 2008
Quantum patterns and types for entanglement and separability
S Perdrix
Electronic Notes in Theoretical Computer Science 170, 125-138, 2007
Graph states, pivot minor, and universality of (X, Z)-measurements
M Mhalla, S Perdrix
IJUC. Int. Journal of Unconventional Computing. 9, 2012
The system can't perform the operation now. Try again later.
Articles 1–20