Simon Perdrix
Simon Perdrix
Senior Researcher, Inria-Mocqua, LORIA
Verified email at - Homepage
Cited by
Cited by
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
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
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
CiE'09. Conference on Computability in Europe, 167-177, 2009
Environment and Classical Channels in Categorical Quantum Mechanics.
B Coecke, S Perdrix
CSL'10. EACSL Conference on Computer Science Logic 10, 230-244, 2010
Computational depth complexity of measurement-based quantum computation
D Browne, E Kashefi, S Perdrix
TQC'10. Conference on Quantum Computation, Communication, and Cryptography …, 2010
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
State transfer instead of teleportation in measurement-based quantum computation
S Perdrix
International Journal of Quantum Information, 2005. 3 (1), 219-223, 2004
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
Quantum entanglement analysis based on abstract interpretation
S Perdrix
SAS'08. International Static Analysis Symposium, 270-282, 2008
SZX-Calculus: Scalable Graphical Quantum Reasoning
T Carette, D Horsman, S Perdrix
44th International Symposium on Mathematical Foundations of Computer Science …, 2019
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles
C Dalyac, L Henriet, E Jeandel, W Lechner, S Perdrix, M Porcheron, ...
EPJ Quantum Technology 8 (1), 12, 2021
Classically controlled quantum computation
S Perdrix, P Jorrand
Mathematical Structures in Computer Science 16 (4), 601-620, 2006
Extended measurement calculus
V Danos, E Kashefi, P Panangaden, S Perdrix
Semantic techniques in quantum computation, 235-310, 2009
Completeness of graphical languages for mixed state quantum mechanics
T Carette, E Jeandel, S Perdrix, R Vilmart
ACM Transactions on Quantum Computing 2 (4), 1-28, 2021
A simplified stabilizer zx-calculus
M Backens, S Perdrix, Q Wang
QPL'16 - Proceedings 13th International Conference on Quantum Physics and …, 2016
Resources required for preparing graph states
P Høyer, M Mhalla, S Perdrix
ISAAC'06. International Symposium on Algorithms and Computation, LNCS 4288 …, 2006
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
The system can't perform the operation now. Try again later.
Articles 1–20