![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Aleks Kissinger
Person information
- affiliation: University of Oxford, UK
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [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
, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso, Bob Coecke:
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
, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
:
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4): 511-541 (2022) - [j10]Filippo Bonchi, Fabio Gadducci
, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
:
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
, Quanlong Wang:
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
, Aleks Kissinger
:
Higher-Order Causal Theories Are Models of BV-Logic. MFCS 2022: 80:1-80:14 - [c34]Aleks Kissinger, John van de Wetering
, Renaud Vilmart:
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
, Aleks Kissinger:
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
, Aleks Kissinger, Fabio Zanasi
:
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
, Aleks Kissinger
, Simon Perdrix
, John van de Wetering
:
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
, John van de Wetering, Aleks Kissinger:
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
, Jamie Vicary:
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
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Rewriting with Frobenius. LICS 2018: 165-174 - [c24]Miriam Backens
, Aleks Kissinger:
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
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c22]Aleks Kissinger
, Sander Uijlen:
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
, David Quick:
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
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [c20]Krzysztof Bar, Aleks Kissinger
, Jamie Vicary:
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. FSCD 2016: 34:1-34:11 - [c19]Aleks Kissinger
, Sander Uijlen:
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
, Vladimir Zamdzhiev
:
Quantomatic: A Proof Assistant for Diagrammatic Reasoning. CADE 2015: 326-336 - [c17]Aleks Kissinger
, David Quick:
A First-order Logic for String Diagrams. CALCO 2015: 171-189 - [c16]Aleks Kissinger
, Vladimir Zamdzhiev
:
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
, Yuhui Lin:
Tinker, tailor, solver, proof. UITP 2014: 23-34 - [c12]Aleks Kissinger
, David Quick:
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
, Yuhui Lin:
A Graphical Language for Proof Strategies. LPAR 2013: 324-339 - [c9]Chris Heunen, Aleks Kissinger
, Peter Selinger
:
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
, Aleks Kissinger
, Quanlong Wang:
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
, Alex Merry, Matvey Soloviev:
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
, Aleks Kissinger:
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint