Noé Delorme

According to our database, Noé Delorme authored at least 5 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards Term-based Verification of Diagrammatic Equivalence.

Julie Cailler, Noé Delorme, Simon Perdrix, Sophie Tourret

CoRR, February, 2026

Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits.

Noé Delorme, Simon Perdrix

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2024

Minimal Equational Theories for Quantum Circuits.

Alexandre Clément, Noé Delorme, Simon Perdrix

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Quantum Circuit Completeness: Extensions and Simplifications.

Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace.

Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart

CoRR, 2023