Aleks Kissinger

89 papers A* 5A 2B 7C 2Misc 1Journal 41Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Quantum Supermaps are Characterized by Locality. Quantum Matt Wilson, Giulio Chiribella, Aleks Kissinger
2025	C	`conf`	Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing. RC Thomas Kelly, Aleks Kissinger
2025	—	`conf`	Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus. QPL Matthew Sutcliffe, Aleks Kissinger
2025	J	`jnl`	High schoolers excel at Oxford quantum course using pictorial mathematics. CoRR Bob Coecke, Aleks Kissinger, Stefano Gogioso, Selma Dündar-Coecke, Caterina Puca, Lia Yeh, Muhammad Hamza Waseem, Emmanuel M. Pothos, Sieglinde M.-L. Pfaendler, Vincent Wang-Mascianica, Thomas Cervoni, Ferdi Tomassini, Vincent Anandraj, Peter Sigrist, Ilyas Khan
2025	J	`jnl`	Optimal compilation of parametrised quantum circuits. Quantum John van de Wetering, Richie Yeung, Tuomas Laakkonen, Aleks Kissinger
2025	B	`conf`	Quantum and Classical Markovian Graphical Causal Models and Their Identification. CSL Jonathan Barrett, Isaac Friend, Aleks Kissinger
2024	J	`jnl`	A complete logic for causal consistency. CoRR Will Simmons, Aleks Kissinger
2024	—	`conf`	Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation. QPL Matthew Sutcliffe, Aleks Kissinger
2024	—	`conf`	Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates). QPL Aleks Kissinger, John van de Wetering
2023	J	`jnl`	Completeness of the ZH-calculus. Compositionality Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering, Sal Wolffs
2023	—	`conf`	Global Synthesis of CNOT Circuits with Holes. QPL Ewan Murphy, Aleks Kissinger
2023	—	`conf`	Graphical CSS Code Transformation Using ZX Calculus. QPL Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca, Michael Vasmer
2023	Misc	`conf`	Quantum Picturalism: Learning Quantum Theory in High School. QCE Selma Dündar-Coecke, Lia Yeh, Caterina Puca, Sieglinde M.-L. Pfaendler, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso, Bob Coecke
2022	A*	`conf`	Circuit Extraction for ZX-Diagrams Can Be #P-Hard. ICALP Niel de Beaudrap, Aleks Kissinger, John van de Wetering
2022	J	`jnl`	Circuit Extraction for ZX-diagrams can be #P-hard. CoRR Niel de Beaudrap, Aleks Kissinger, John van de Wetering
2022	—	`conf`	Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. TQC Aleks Kissinger, John van de Wetering, Renaud Vilmart
2022	B	`conf`	Higher-Order Causal Theories Are Models of BV-Logic. MFCS Will Simmons, Aleks Kissinger
2022	J	`jnl`	Higher-order causal theories are models of BV-logic. CoRR Will Simmons, Aleks Kissinger
2022	—	`conf`	Identification of Causal Influences in Quantum Processes. QPL Isaac Friend, Aleks Kissinger
2022	J	`jnl`	Kindergarden quantum mechanics graduates Theor. Comput. Sci. Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
2022	—	`conf`	On the Pre- and Promonoidal Structure of Spacetime. ACT James Hefford, Aleks Kissinger
2022	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	The CBH characterisation theorem beyond algebraic quantum theory. Inf. Comput. Chris Heunen, Aleks Kissinger
2021	—	`conf`	A Graphical Calculus for Lagrangian Relations. ACT Cole Comfort, Aleks Kissinger
2021	J	`jnl`	Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2021	J	`jnl`	Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). CoRR Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
2021	J	`jnl`	String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	J	`jnl`	String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2020	J	`jnl`	CNOT circuit extraction for topologically-constrained quantum memories. Quantum Inf. Comput. Aleks Kissinger, Arianne Meijer-van de Griend
2020	J	`jnl`	Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
2020	—	`conf`	Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL Louis Lemonnier, John van de Wetering, Aleks Kissinger
2020	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2020	—	`conf`	Tensor Network Rewriting Strategies for Satisfiability and Counting. QPL Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis
2019	J	`jnl`	A categorical semantics for causal structure. Log. Methods Comput. Sci. Aleks Kissinger, Sander Uijlen
2019	B	`conf`	Causal Inference by String Diagram Surgery. FoSSaCS Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2019	J	`jnl`	Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
2019	—	`conf`	PyZX: Large Scale Automated Diagrammatic Reasoning. QPL Aleks Kissinger, John van de Wetering
2019	J	`jnl`	Universal MBQC with generalised parity-phase interactions and Pauli measurements. Quantum Aleks Kissinger, John van de Wetering
2018	J	`jnl`	Causal Inference by String Diagram Surgery. CoRR Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2018	J	`jnl`	Diagram Transformations Give a New Handle on Quantum Circuits and Foundations. ERCIM News Aleks Kissinger
2018	J	`jnl`	Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. Krzysztof Bar, Aleks Kissinger, Jamie Vicary
2018	C	`conf`	Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. Diagrams Bob Coecke, Aleks Kissinger
2018	—	`ed.`	Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. QPL Bob Coecke, Aleks Kissinger
2018	A*	`conf`	Rewriting with Frobenius. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2018	—	`conf`	ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. QPL Miriam Backens, Aleks Kissinger
2017	A*	`conf`	A categorical semantics for causal structure. LICS Aleks Kissinger, Sander Uijlen
2017	J	`jnl`	A categorical semantics for causal structure. CoRR Aleks Kissinger, Sander Uijlen
2017	A	`conf`	Confluence of Graph Rewriting with Interfaces. ESOP Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2017	—	`book`	Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning Bob Coecke, Aleks Kissinger
2016	J	`jnl`	Can quantum theory be characterized in information-theoretic terms? CoRR Chris Heunen, Aleks Kissinger
2016	J	`jnl`	Categories of quantum and classical channels. Quantum Inf. Process. Bob Coecke, Chris Heunen, Aleks Kissinger
2016	B	`conf`	Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. FSCD Krzysztof Bar, Aleks Kissinger, Jamie Vicary
2016	J	`jnl`	Globular: an online proof assistant for higher-dimensional rewriting. CoRR Krzysztof Bar, Aleks Kissinger, Jamie Vicary
2016	—	`conf`	Picturing Indefinite Causal Structure. QPL Aleks Kissinger, Sander Uijlen
2016	—	`ed.`	Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. GaM Alexander Heußner, Aleks Kissinger, Anton Wijs
2016	A*	`conf`	Rewriting modulo symmetric monoidal structure. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016	J	`jnl`	Rewriting modulo symmetric monoidal structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016	J	`jnl`	Tensors, !-graphs, and Non-commutative Quantum Structures. New Gener. Comput. Aleks Kissinger, David Quick
2015	—	`conf`	!-graphs with trivial overlap are context-free. GaM Aleks Kissinger, Vladimir Zamdzhiev
2015	B	`conf`	A First-order Logic for String Diagrams. CALCO Aleks Kissinger, David Quick
2015	J	`jnl`	A first-order logic for string diagrams. CoRR Aleks Kissinger, David Quick
2015	B	`conf`	Equational Reasoning with Context-Free Families of String Diagrams. ICGT Aleks Kissinger, Vladimir Zamdzhiev
2015	J	`jnl`	Equational reasoning with context-free families of string diagrams. CoRR Aleks Kissinger, Vladimir Zamdzhiev
2015	A	`conf`	Quantomatic: A Proof Assistant for Diagrammatic Reasoning. CADE Aleks Kissinger, Vladimir Zamdzhiev
2015	J	`jnl`	Quantomatic: A proof assistant for diagrammatic reasoning. CoRR Aleks Kissinger, Vladimir Zamdzhiev
2015	J	`jnl`	Tensors, !-graphs, and non-commutative quantum structures (extended version). CoRR Aleks Kissinger, David Quick
2014	—	`conf`	Abstract Tensor Systems as Monoidal Categories. Categories and Types in Logic, Language, and Physics Aleks Kissinger
2014	—	`conf`	Tensors, !-graphs, and non-commutative quantum structures. QPL Aleks Kissinger, David Quick
2014	—	`conf`	Tinker, tailor, solver, proof. UITP Gudmund Grov, Aleks Kissinger, Yuhui Lin
2013	J	`jnl`	A Graphical Language for Proof Strategies CoRR Gudmund Grov, Aleks Kissinger
2013	B	`conf`	A Graphical Language for Proof Strategies. LPAR Gudmund Grov, Aleks Kissinger, Yuhui Lin
2013	—	`conf`	Completely positive projections and biproducts. QPL Chris Heunen, Aleks Kissinger, Peter Selinger
2013	—	`conf`	Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations Bob Coecke, Chris Heunen, Aleks Kissinger
2013	J	`jnl`	Open-graphs and monoidal theories. Math. Struct. Comput. Sci. Lucas Dixon, Aleks Kissinger
2012	—	`conf`	Categories of Quantum and Classical Channels (extended abstract). QPL Bob Coecke, Chris Heunen, Aleks Kissinger
2012	—	`conf`	Pattern Graph Rewrite Systems DCM Aleks Kissinger, Alex Merry, Matvey Soloviev
2012	J	`jnl`	Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing CoRR Aleks Kissinger
2012	A*	`conf`	Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang
2012	J	`jnl`	Strong complementarity and non-locality in categorical quantum mechanics CoRR Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang
2012	J	`jnl`	Synthesising Graphical Theories CoRR Aleks Kissinger
2012	—	`conf`	Synthesising Graphical Theories. ATx/WInG@IJCAR Aleks Kissinger
2011	—	`—`	Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing. Aleks Kissinger
2010	—	`conf`	Open Graphs and Computational Reasoning DCM Lucas Dixon, Ross Duncan, Aleks Kissinger
2010	J	`jnl`	Open Graphs and Monoidal Theories CoRR Lucas Dixon, Aleks Kissinger
2010	—	`conf`	The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) Bob Coecke, Aleks Kissinger
2010	—	`conf`	The GHZ/W-calculus contains rational arithmetic HPC Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy
2009	—	`conf`	Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. Calculemus/MKM Aleks Kissinger