No Delorme
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits. | No Delorme, Simon Perdrix |
| 2026 | IJCAR | Towards Term-Based Verification of Diagrammatic Equivalence. | Julie Cailler, No Delorme, Simon Perdrix, Sophie Tourret |
| 2024 | CSL | Quantum Circuit Completeness: Extensions and Simplifications. | Alexandre Clment, No Delorme, Simon Perdrix, Renaud Vilmart |
| 2024 | LICS | Minimal Equational Theories for Quantum Circuits. | Alexandre Clment, No Delorme, Simon Perdrix |