default search action
Aleks Kissinger
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c41]Matthew Sutcliffe, Aleks Kissinger:
Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation. QPL 2024: 63-78 - [c40]Aleks Kissinger, John van de Wetering:
Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates). QPL 2024: 79-95 - [i23]Will Simmons, Aleks Kissinger:
A complete logic for causal consistency. CoRR abs/2403.09297 (2024) - 2023
- [c39]Selma Dündar-Coecke
, Lia Yeh, Caterina Puca, Sieglinde M.-L. Pfaendler
Quantum Picturalism: Learning Quantum Theory in High School. QCE 2023: 21-32 - [c38]Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca, Michael Vasmer:
Graphical CSS Code Transformation Using ZX Calculus. QPL 2023: 1-19 - [c37]Ewan Murphy, Aleks Kissinger:
Global Synthesis of CNOT Circuits with Holes. QPL 2023: 75-88 - 2022
- [j13]Chris Heunen, Aleks Kissinger:
The CBH characterisation theorem beyond algebraic quantum theory. Inf. Comput. 285(Part): 104828 (2022) - [j12]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69(2): 14:1-14:58 (2022) - [j11]Filippo Bonchi, Fabio Gadducci
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4): 511-541 (2022) - [j10]Filippo Bonchi, Fabio Gadducci
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32(7): 829-869 (2022) - [j9]Bob Coecke, Dominic Horsman, Aleks Kissinger
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. Theor. Comput. Sci. 897: 1-22 (2022) - [c36]Niel de Beaudrap, Aleks Kissinger, John van de Wetering
Circuit Extraction for ZX-Diagrams Can Be #P-Hard. ICALP 2022: 119:1-119:19 - [c35]Will Simmons
Higher-Order Causal Theories Are Models of BV-Logic. MFCS 2022: 80:1-80:14 - [c34]Aleks Kissinger, John van de Wetering
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. TQC 2022: 5:1-5:13 - [c33]Isaac Friend, Aleks Kissinger:
Identification of Causal Influences in Quantum Processes. QPL 2022: 101-115 - [c32]James Hefford
On the Pre- and Promonoidal Structure of Spacetime. ACT 2022: 284-306 - [i22]Niel de Beaudrap, Aleks Kissinger, John van de Wetering:
Circuit Extraction for ZX-diagrams can be #P-hard. CoRR abs/2202.09194 (2022) - [i21]Will Simmons, Aleks Kissinger:
Higher-order causal theories are models of BV-logic. CoRR abs/2205.11219 (2022) - 2021
- [j8]Bart Jacobs
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. 31(5): 553-574 (2021) - [c31]Cole Comfort, Aleks Kissinger:
A Graphical Calculus for Lagrangian Relations. ACT 2021: 338-351 - [i20]Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang:
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). CoRR abs/2102.10984 (2021) - [i19]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR abs/2104.14686 (2021) - [i18]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR abs/2109.06049 (2021) - 2020
- [j7]Aleks Kissinger, Arianne Meijer-van de Griend
CNOT circuit extraction for topologically-constrained quantum memories. Quantum Inf. Comput. 20(7&8): 581-596 (2020) - [j6]Ross Duncan
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum 4: 279 (2020) - [c30]Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis:
Tensor Network Rewriting Strategies for Satisfiability and Counting. QPL 2020: 46-59 - [c29]Louis Lemonnier
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL 2020: 188-212 - [i17]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020)
2010 – 2019
- 2019
- [j5]Aleks Kissinger, Sander Uijlen:
A categorical semantics for causal structure. Log. Methods Comput. Sci. 15(3) (2019) - [c28]Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. FoSSaCS 2019: 313-329 - [c27]Aleks Kissinger, John van de Wetering
PyZX: Large Scale Automated Diagrammatic Reasoning. QPL 2019: 229-241 - [i16]Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering:
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR abs/1902.03178 (2019) - 2018
- [j4]Krzysztof Bar, Aleks Kissinger
Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. 14(1) (2018) - [c26]Bob Coecke, Aleks Kissinger
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. Diagrams 2018: 28-31 - [c25]Filippo Bonchi
Rewriting with Frobenius. LICS 2018: 165-174 - [c24]Miriam Backens
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. QPL 2018: 23-42 - [e2]Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 [contents] - [i15]Bart Jacobs, Aleks Kissinger, Fabio Zanasi:
Causal Inference by String Diagram Surgery. CoRR abs/1811.08338 (2018) - [i14]Aleks Kissinger:
Diagram Transformations Give a New Handle on Quantum Circuits and Foundations. ERCIM News 2018(112) (2018) - 2017
- [b2]Bob Coecke, Aleks Kissinger
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press 2017, ISBN 9781316219317 - [c23]Filippo Bonchi
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c22]Aleks Kissinger
A categorical semantics for causal structure. LICS 2017: 1-12 - [i13]Aleks Kissinger, Sander Uijlen:
A categorical semantics for causal structure. CoRR abs/1701.04732 (2017) - 2016
- [j3]Aleks Kissinger
Tensors, !-graphs, and Non-commutative Quantum Structures. New Gener. Comput. 34(1-2): 87-123 (2016) - [j2]Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of quantum and classical channels. Quantum Inf. Process. 15(12): 5179-5209 (2016) - [c21]Filippo Bonchi
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [c20]Krzysztof Bar, Aleks Kissinger
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. FSCD 2016: 34:1-34:11 - [c19]Aleks Kissinger
Picturing Indefinite Causal Structure. QPL 2016: 87-94 - [e1]Alexander Heußner, Aleks Kissinger, Anton Wijs:
Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 231, 2016 [contents] - [i12]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. CoRR abs/1602.06771 (2016) - [i11]Chris Heunen, Aleks Kissinger:
Can quantum theory be characterized in information-theoretic terms? CoRR abs/1604.05948 (2016) - [i10]Krzysztof Bar, Aleks Kissinger, Jamie Vicary:
Globular: an online proof assistant for higher-dimensional rewriting. CoRR abs/1612.01093 (2016) - 2015
- [c18]Aleks Kissinger
Quantomatic: A Proof Assistant for Diagrammatic Reasoning. CADE 2015: 326-336 - [c17]Aleks Kissinger
A First-order Logic for String Diagrams. CALCO 2015: 171-189 - [c16]Aleks Kissinger
Equational Reasoning with Context-Free Families of String Diagrams. ICGT 2015: 138-154 - [c15]Aleks Kissinger, Vladimir Zamdzhiev
!-graphs with trivial overlap are context-free. GaM 2015: 16-31 - [i9]Aleks Kissinger, Vladimir Zamdzhiev
Quantomatic: A proof assistant for diagrammatic reasoning. CoRR abs/1503.01034 (2015) - [i8]Aleks Kissinger, David Quick:
Tensors, !-graphs, and non-commutative quantum structures (extended version). CoRR abs/1503.01348 (2015) - [i7]Aleks Kissinger, Vladimir Zamdzhiev
Equational reasoning with context-free families of string diagrams. CoRR abs/1504.02716 (2015) - [i6]Aleks Kissinger, David Quick:
A first-order logic for string diagrams. CoRR abs/1505.00343 (2015) - 2014
- [c14]Aleks Kissinger
Abstract Tensor Systems as Monoidal Categories. Categories and Types in Logic, Language, and Physics 2014: 235-252 - [c13]Gudmund Grov, Aleks Kissinger
Tinker, tailor, solver, proof. UITP 2014: 23-34 - [c12]Aleks Kissinger
Tensors, !-graphs, and non-commutative quantum structures. QPL 2014: 56-67 - 2013
- [j1]Lucas Dixon, Aleks Kissinger
Open-graphs and monoidal theories. Math. Struct. Comput. Sci. 23(2): 308-359 (2013) - [c11]Bob Coecke, Chris Heunen, Aleks Kissinger
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations 2013: 21-36 - [c10]Gudmund Grov, Aleks Kissinger
A Graphical Language for Proof Strategies. LPAR 2013: 324-339 - [c9]Chris Heunen, Aleks Kissinger
Completely positive projections and biproducts. QPL 2013: 71-83 - [i5]Gudmund Grov, Aleks Kissinger:
A Graphical Language for Proof Strategies. CoRR abs/1302.6890 (2013) - 2012
- [c8]Aleks Kissinger:
Synthesising Graphical Theories. ATx/WInG@IJCAR 2012: 26-35 - [c7]Bob Coecke, Ross Duncan
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254 - [c6]Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of Quantum and Classical Channels (extended abstract). QPL 2012: 1-14 - [c5]Aleks Kissinger
Pattern Graph Rewrite Systems. DCM 2012: 54-66 - [i4]Aleks Kissinger:
Synthesising Graphical Theories. CoRR abs/1202.6079 (2012) - [i3]Aleks Kissinger:
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing. CoRR abs/1203.0202 (2012) - [i2]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012) - 2011
- [b1]Aleks Kissinger:
Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing. University of Oxford, UK, 2011 - 2010
- [c4]Bob Coecke, Aleks Kissinger
The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) 2010: 297-308 - [c3]Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy:
The GHZ/W-calculus contains rational arithmetic. HPC 2010: 34-48 - [c2]Lucas Dixon, Ross Duncan
Open Graphs and Computational Reasoning. DCM 2010: 169-180 - [i1]Lucas Dixon, Aleks Kissinger:
Open Graphs and Monoidal Theories. CoRR abs/1011.4114 (2010)
2000 – 2009
- 2009
- [c1]Aleks Kissinger
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. Calculemus/MKM 2009: 90-105
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: