Articles with public access mandates - Simon PerdrixLearn more
Not available anywhere: 1
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
P Arrighi, S Martiel, S Perdrix
Natural Computing 19, 157-178, 2020
Mandates: Agence Nationale de la Recherche
Available somewhere: 16
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
Mandates: US Department of Defense, Austrian Science Fund
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
Mandates: European Commission, Agence Nationale de la Recherche
A generic normal form for ZX-diagrams and application to the rational angle completeness
E Jeandel, S Perdrix, R Vilmart
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2019
Mandates: Agence Nationale de la Recherche
Towards a minimal stabilizer ZX-calculus
M Backens, S Perdrix, Q Wang
Logical Methods in Computer Science 16, 2020
Mandates: US Department of Defense, UK Engineering and Physical Sciences Research …
Graphical language with delayed trace: Picturing quantum computing with finite memory
T Carette, M De Visme, S Perdrix
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
Mandates: European Commission, Agence Nationale de la Recherche
A complete characterization of all-versus-nothing arguments for stabilizer states
S Abramsky, RS Barbosa, G Carù, S Perdrix
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Addition and Differentiation of ZX-diagrams
E Jeandel, S Perdrix, M Veshchezerova
Logical Methods in Computer Science 20, 2024
Mandates: European Commission, Agence Nationale de la Recherche
Outcome determinism in measurement-based quantum computation with qudits
RI Booth, A Kissinger, D Markham, C Meignant, S Perdrix
Journal of Physics A: Mathematical and Theoretical 56 (11), 115303, 2023
Mandates: US Department of Defense, Agence Nationale de la Recherche
Hybrid quantum-classical circuit simplification with the ZX-calculus
A Borgna, S Perdrix, B Valiron
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
Mandates: Agence Nationale de la Recherche
Contextuality in multipartite pseudo-telepathy graph games
A Anshu, P Høyer, M Mhalla, S Perdrix
Journal of Computer and System Sciences 107, 156-165, 2020
Mandates: Agence Nationale de la Recherche
Optimal Hadamard Gate Count for Clifford+T Synthesis of Pauli Rotations Sequences
V Vandaele, S Martiel, S Perdrix, C Vuillot
ACM Transactions on Quantum Computing 5 (1), 1-29, 2024
Mandates: Agence Nationale de la Recherche
Quantum expectation transformers for cost analysis
M Avanzini, G Moser, R Péchoux, S Perdrix, V Zamdzhiev
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
Mandates: European Commission, Agence Nationale de la Recherche
Quantum Programming with Inductive Datatypes
R Péchoux, S Perdrix, M Rennela, V Zamdzhiev
Mandates: Netherlands Organisation for Scientific Research, Agence Nationale de la …
Quantum circuit completeness: Extensions and simplifications
A Clément, N Delorme, S Perdrix, R Vilmart
arXiv preprint arXiv:2303.03117, 2023
Mandates: Agence Nationale de la Recherche
Minimal equational theories for quantum circuits
A Clément, N Delorme, S Perdrix
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
Mandates: Agence Nationale de la Recherche
On the Hardness of Analyzing Quantum Programs Quantitatively
M Avanzini, G Moser, R Péchoux, S Perdrix
European Symposium on Programming, 31-58, 2024
Mandates: Austrian Science Fund, European Commission, Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program