Simon Perdrix
Simon Perdrix
Permanent Researcher, CNRS, LORIA
Adresse e-mail validée de loria.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
1212007
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
ICALP'10. International Colloquium on Automata, Languages, and Programming …, 2010
1012010
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
832018
Environment and Classical Channels in Categorical Quantum Mechanics.
B Coecke, S Perdrix
CSL'10. EACSL Conference on Computer Science Logic 10, 230-244, 2010
752010
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
CiE'09. Conference on Computability in Europe, 167-177, 2009
742009
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
592020
State transfer instead of teleportation in measurement-based quantum computation
S Perdrix
International Journal of Quantum Information, 2005. 3 (1), 219-223, 2004
562004
Computational depth complexity of measurement-based quantum computation
D Browne, E Kashefi, S Perdrix
TQC'10. Conference on Quantum Computation, Communication, and Cryptography …, 2010
482010
Finding optimal flows efficiently
M Mhalla, S Perdrix
ICALP'08. International Colloquium on Automata, Languages, and Programming …, 2008
452008
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
EPTCS proceedings of QPL'13 171, 50-62, 2013
432013
Classically controlled quantum computation
S Perdrix, P Jorrand
Mathematical Structures in Computer Science 16 (4), 601-620, 2006
422006
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
392018
A simplified stabilizer zx-calculus
M Backens, S Perdrix, Q Wang
QPL'16 - Proceedings 13th International Conference on Quantum Physics and …, 2016
352016
Extended measurement calculus
V Danos, E Kashefi, P Panangaden, S Perdrix
Semantic techniques in quantum computation, 235-310, 2009
342009
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
342004
Quantum entanglement analysis based on abstract interpretation
S Perdrix
SAS'08. International Static Analysis Symposium, 270-282, 2008
312008
Resources required for preparing graph states
P Høyer, M Mhalla, S Perdrix
ISAAC'06. International Symposium on Algorithms and Computation, LNCS 4288 …, 2006
31*2006
Bases in diagrammatic quantum protocols
B Coecke, S Perdrix, ÉO Paquette
TCS. Electronic Notes in Theoretical Computer Science 218, 131-152, 2008
302008
Graph states, pivot minor, and universality of (X, Z)-measurements
M Mhalla, S Perdrix
IJUC. Int. Journal of Unconventional Computing. 9, 2012
252012
Quantum patterns and types for entanglement and separability
S Perdrix
Electronic Notes in Theoretical Computer Science 170, 125-138, 2007
252007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20