Obserwuj
Simon Perdrix
Simon Perdrix
Senior Researcher, Inria-Mocqua, LORIA
Zweryfikowany adres z loria.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
1832020
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
1442007
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
ICALP'10. International Colloquium on Automata, Languages, and Programming …, 2010
1342010
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
1292018
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
CiE'09. Conference on Computability in Europe, 167-177, 2009
922009
Environment and Classical Channels in Categorical Quantum Mechanics.
B Coecke, S Perdrix
CSL'10. EACSL Conference on Computer Science Logic 10, 230-244, 2010
882010
State transfer instead of teleportation in measurement-based quantum computation
S Perdrix
International Journal of Quantum Information, 2005. 3 (1), 219-223, 2004
622004
Computational depth complexity of measurement-based quantum computation
D Browne, E Kashefi, S Perdrix
TQC'10. Conference on Quantum Computation, Communication, and Cryptography …, 2010
602010
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
592018
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
EPTCS proceedings of QPL'13 171, 50-62, 2013
552013
Finding optimal flows efficiently
M Mhalla, S Perdrix
ICALP'08. International Colloquium on Automata, Languages, and Programming …, 2008
532008
Quantum entanglement analysis based on abstract interpretation
S Perdrix
SAS'08. International Static Analysis Symposium, 270-282, 2008
492008
Classically controlled quantum computation
S Perdrix, P Jorrand
Mathematical Structures in Computer Science 16 (4), 601-620, 2006
472006
Extended measurement calculus
V Danos, E Kashefi, P Panangaden, S Perdrix
Semantic techniques in quantum computation, 235-310, 2009
442009
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
422021
SZX-calculus: Scalable graphical quantum reasoning
T Carette, D Horsman, S Perdrix
arXiv preprint arXiv:1905.00041, 2019
422019
A simplified stabilizer zx-calculus
M Backens, S Perdrix, Q Wang
QPL'16 - Proceedings 13th International Conference on Quantum Physics and …, 2016
402016
Resources required for preparing graph states
P Høyer, M Mhalla, S Perdrix
ISAAC'06. International Symposium on Algorithms and Computation, LNCS 4288 …, 2006
38*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
382004
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
352021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20