research
∙
07/26/2023
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
The "Sum-Over-Paths" formalism is a way to symbolically manipulate linea...
share
research
∙
03/06/2023
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace
Although quantum circuits have been ubiquitous for decades in quantum co...
research
∙
02/08/2023
Complete Graphical Language for Hermiticity-Preserving Superoperators
Universal and complete graphical languages have been successfully design...
research
∙
06/22/2022
Geometry of Interaction for ZX-Diagrams
ZX-Calculus is a versatile graphical language for quantum computation eq...
research
∙
06/21/2022
The Many-Worlds Calculus
We propose a new typed graphical language for quantum computation, based...
research
∙
05/05/2022
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy
The "Sum-Over-Paths" formalism is a way to symbolically manipulate linea...
research
∙
09/14/2021
Formal Methods for Quantum Programs: A Survey
While recent progress in quantum hardware open the door for significant ...
research
∙
07/02/2021
Quantum Multiple-Valued Decision Diagrams in Graphical Calculi
Graphical calculi such as the ZH-calculus are powerful tools in the stud...
research
∙
03/13/2019