Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

String diagram rewrite theory III: Confluence with and without Frobenius., , , , and . Math. Struct. Comput. Sci., 32 (7): 829-869 (August 2022)Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus., , , and . CoRR, (2019)A Graphical Calculus for Lagrangian Relations., and . ACT, volume 372 of EPTCS, page 338-351. (2021)Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus., , , and . Quantum, (2020)Completely positive projections and biproducts., , and . QPL, volume 171 of EPTCS, page 71-83. (2013)Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions., , and . TQC, volume 232 of LIPIcs, page 5:1-5:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A complete logic for causal consistency., and . CoRR, (2024)Identification of Causal Influences in Quantum Processes., and . QPL, volume 394 of EPTCS, page 101-115. (2022)String Diagram Rewrite Theory I: Rewriting with Frobenius Structure., , , , and . CoRR, (2020)Higher-Order Causal Theories Are Models of BV-Logic., and . MFCS, volume 241 of LIPIcs, page 80:1-80:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)