Aleks Kissinger

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation.

[BibT_eX]

[DOI]

Matthew Sutcliffe

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

A complete logic for causal consistency.

[BibT_eX]

[DOI]

Will Simmons

CoRR, 2024

2023

Global Synthesis of CNOT Circuits with Holes.

[BibT_eX]

[DOI]

Ewan Murphy

Sieglinde M.-L. Pfaendler

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Graphical CSS Code Transformation Using ZX Calculus.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Quantum Picturalism: Learning Quantum Theory in High School.

[BibT_eX]

[DOI]

Selma Dündar-Coecke

Lia Yeh

Caterina Puca

Muhammad Hamza Waseem

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

String diagram rewrite theory III: Confluence with and without Frobenius.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., August, 2022

String diagram rewrite theory II: Rewriting with symmetric monoidal structure.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., April, 2022

Kindergarden quantum mechanics graduates <i>...or how I learned to stop gluing LEGO together and love the ZX-calculus</i>.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.

[BibT_eX]

[DOI]

J. ACM, 2022

The CBH characterisation theorem beyond algebraic quantum theory.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Identification of Causal Influences in Quantum Processes.

[BibT_eX]

[DOI]

Isaac Friend

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

On the Pre- and Promonoidal Structure of Spacetime.

[BibT_eX]

[DOI]

James Hefford

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions.

[BibT_eX]

[DOI]

Renaud Vilmart

Proceedings of the 17th Conference on the Theory of Quantum Computation, 2022

Higher-Order Causal Theories Are Models of BV-Logic.

[BibT_eX]

[DOI]

Will Simmons

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Circuit Extraction for ZX-Diagrams Can Be #P-Hard.

[BibT_eX]

[DOI]

Niel de Beaudrap

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals.

[BibT_eX]

[DOI]

Bart Jacobs

Fabio Zanasi

Math. Struct. Comput. Sci., 2021

A Graphical Calculus for Lagrangian Relations.

[BibT_eX]

[DOI]

Cole Comfort

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).

[BibT_eX]

[DOI]

CoRR, 2021

2020

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus.

[BibT_eX]

[DOI]

Quantum, 2020

CNOT circuit extraction for topologically-constrained quantum memories.

[BibT_eX]

[DOI]

Arianne Meijer-van de Griend

Quantum Inf. Comput., 2020

Tensor Network Rewriting Strategies for Satisfiability and Counting.

[BibT_eX]

[DOI]

Niel de Beaudrap

Konstantinos Meichanetzidis

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.

[BibT_eX]

[DOI]

Louis Lemonnier

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

A categorical semantics for causal structure.

[BibT_eX]

[DOI]

Sander Uijlen

Log. Methods Comput. Sci., 2019

PyZX: Large Scale Automated Diagrammatic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Causal Inference by String Diagram Surgery.

[BibT_eX]

[DOI]

Bart Jacobs

Fabio Zanasi

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

2018

Globular: an online proof assistant for higher-dimensional rewriting.

[BibT_eX]

[DOI]

Krzysztof Bar

Jamie Vicary

Log. Methods Comput. Sci., 2018

Diagram Transformations Give a New Handle on Quantum Circuits and Foundations.

[BibT_eX]

[DOI]

ERCIM News, 2018

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity.

[BibT_eX]

[DOI]

Miriam Backens

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Rewriting with Frobenius.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Confluence of Graph Rewriting with Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 9781316219317, 2017

2016

Categories of quantum and classical channels.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2016

Picturing Indefinite Causal Structure.

[BibT_eX]

[DOI]

Sander Uijlen

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Can quantum theory be characterized in information-theoretic terms?

[BibT_eX]

[DOI]

CoRR, 2016

Rewriting modulo symmetric monoidal structure.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

!-graphs with trivial overlap are context-free.

[BibT_eX]

[DOI]

Vladimir Zamdzhiev

Proceedings of the Proceedings Graphs as Models, 2015

Tensors, !-graphs, and non-commutative quantum structures (extended version).

[BibT_eX]

[DOI]

David Quick

CoRR, 2015

Equational Reasoning with Context-Free Families of String Diagrams.

[BibT_eX]

[DOI]

Vladimir Zamdzhiev

Proceedings of the Graph Transformation - 8th International Conference, 2015

A First-order Logic for String Diagrams.

[BibT_eX]

[DOI]

David Quick

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Quantomatic: A Proof Assistant for Diagrammatic Reasoning.

[BibT_eX]

[DOI]

Vladimir Zamdzhiev

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Tensors, !-graphs, and non-commutative quantum structures.

[BibT_eX]

[DOI]

David Quick

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Tinker, tailor, solver, proof.

[BibT_eX]

[DOI]

Gudmund Grov

Yuhui Lin

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Abstract Tensor Systems as Monoidal Categories.

[BibT_eX]

[DOI]

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Open-graphs and monoidal theories.

[BibT_eX]

[DOI]

Lucas Dixon

Math. Struct. Comput. Sci., 2013

Completely positive projections and biproducts.

[BibT_eX]

[DOI]

Peter Selinger

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

A Graphical Language for Proof Strategies

[BibT_eX]

[DOI]

Gudmund Grov

CoRR, 2013

A Graphical Language for Proof Strategies.

[BibT_eX]

[DOI]

Gudmund Grov

Yuhui Lin

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Compositional Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Pattern Graph Rewrite Systems

[BibT_eX]

[DOI]

Alex Merry

Matvey Soloviev

Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

[BibT_eX]

[DOI]

CoRR, 2012

Categories of Quantum and Classical Channels (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Strong Complementarity and Non-locality in Categorical Quantum Mechanics.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Synthesising Graphical Theories.

[BibT_eX]

[DOI]

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.

[BibT_eX]

[DOI]

PhD thesis, 2011

2010

The GHZ/W-calculus contains rational arithmetic

[BibT_eX]

[DOI]

Proceedings of the Proceedings CSR 2010 Workshop on High Productivity Computations, 2010

Open Graphs and Computational Reasoning

[BibT_eX]

[DOI]

Lucas Dixon

Ross Duncan

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

The Compositional Structure of Multipartite Quantum Entanglement.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra.

[BibT_eX]

[DOI]