Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aleks Kissinger
@article{DBLP:journals/corr/abs-2403-09297,
author = {Will Simmons and
Aleks Kissinger},
title = {A complete logic for causal consistency},
journal = {CoRR},
volume = {abs/2403.09297},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.09297},
doi = {10.48550/ARXIV.2403.09297},
eprinttype = {arXiv},
eprint = {2403.09297},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-09297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qce/DundarCoeckeYPPWCKGC23,
author = {Selma D{\"{u}}ndar{-}Coecke and
Lia Yeh and
Caterina Puca and
Sieglinde M.{-}L. Pfaendler and
Muhammad Hamza Waseem and
Thomas Cervoni and
Aleks Kissinger and
Stefano Gogioso and
Bob Coecke},
editor = {Brian La Cour and
Lia Yeh and
Marek Osinski},
title = {Quantum Picturalism: Learning Quantum Theory in High School},
booktitle = {{IEEE} International Conference on Quantum Computing and Engineering,
{QCE} 2023, Bellevue, WA, USA, September 17-22, 2023},
pages = {21--32},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/QCE57702.2023.20321},
doi = {10.1109/QCE57702.2023.20321},
timestamp = {Fri, 15 Dec 2023 20:24:40 +0100},
biburl = {https://dblp.org/rec/conf/qce/DundarCoeckeYPPWCKGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-02437,
author = {Jiaxin Huang and
Sarah Meng Li and
Lia Yeh and
Aleks Kissinger and
Michele Mosca and
Michael Vasmer},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Graphical {CSS} Code Transformation Using {ZX} Calculus},
booktitle = {Proceedings of the Twentieth International Conference on Quantum Physics
and Logic, {QPL} 2023, Paris, France, 17-21st July 2023},
series = {{EPTCS}},
volume = {384},
pages = {1--19},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.1},
doi = {10.4204/EPTCS.384.1},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-02437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-16496,
author = {Ewan Murphy and
Aleks Kissinger},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Global Synthesis of {CNOT} Circuits with Holes},
booktitle = {Proceedings of the Twentieth International Conference on Quantum Physics
and Logic, {QPL} 2023, Paris, France, 17-21st July 2023},
series = {{EPTCS}},
volume = {384},
pages = {75--88},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.5},
doi = {10.4204/EPTCS.384.5},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HeunenK22,
author = {Chris Heunen and
Aleks Kissinger},
title = {The {CBH} characterisation theorem beyond algebraic quantum theory},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104828},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104828},
doi = {10.1016/J.IC.2021.104828},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HeunenK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BonchiGKSZ22,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {I:} Rewriting with Frobenius Structure},
journal = {J. {ACM}},
volume = {69},
number = {2},
pages = {14:1--14:58},
year = {2022},
url = {https://doi.org/10.1145/3502719},
doi = {10.1145/3502719},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BonchiGKSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiGKSZ22,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String diagram rewrite theory {II:} Rewriting with symmetric monoidal
structure},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {4},
pages = {511--541},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000317},
doi = {10.1017/S0960129522000317},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BonchiGKSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiGKSZ22a,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String diagram rewrite theory {III:} Confluence with and without Frobenius},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {7},
pages = {829--869},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000123},
doi = {10.1017/S0960129522000123},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BonchiGKSZ22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoeckeHKW22,
author = {Bob Coecke and
Dominic Horsman and
Aleks Kissinger and
Quanlong Wang},
title = {Kindergarden quantum mechanics graduates \emph{...or how {I} learned
to stop gluing {LEGO} together and love the ZX-calculus}},
journal = {Theor. Comput. Sci.},
volume = {897},
pages = {1--22},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.07.024},
doi = {10.1016/J.TCS.2021.07.024},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CoeckeHKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BeaudrapKW22,
author = {Niel de Beaudrap and
Aleks Kissinger and
John van de Wetering},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {Circuit Extraction for ZX-Diagrams Can Be {\#}P-Hard},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {119:1--119:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.119},
doi = {10.4230/LIPICS.ICALP.2022.119},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BeaudrapKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SimmonsK22,
author = {Will Simmons and
Aleks Kissinger},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {Higher-Order Causal Theories Are Models of BV-Logic},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {80:1--80:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.80},
doi = {10.4230/LIPICS.MFCS.2022.80},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/SimmonsK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tqc/KissingerWV22,
author = {Aleks Kissinger and
John van de Wetering and
Renaud Vilmart},
editor = {Fran{\c{c}}ois Le Gall and
Tomoyuki Morimae},
title = {Classical Simulation of Quantum Circuits with Partial and Graphical
Stabiliser Decompositions},
booktitle = {17th Conference on the Theory of Quantum Computation, Communication
and Cryptography, {TQC} 2022, July 11-15, 2022, Urbana Champaign,
Illinois, {USA}},
series = {LIPIcs},
volume = {232},
pages = {5:1--5:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TQC.2022.5},
doi = {10.4230/LIPICS.TQC.2022.5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tqc/KissingerWV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-08882,
author = {Isaac Friend and
Aleks Kissinger},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Identification of Causal Influences in Quantum Processes},
booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic,
{QPL} 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022},
series = {{EPTCS}},
volume = {394},
pages = {101--115},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.7},
doi = {10.4204/EPTCS.394.7},
timestamp = {Fri, 22 Dec 2023 11:34:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09194,
author = {Niel de Beaudrap and
Aleks Kissinger and
John van de Wetering},
title = {Circuit Extraction for ZX-diagrams can be {\#}P-hard},
journal = {CoRR},
volume = {abs/2202.09194},
year = {2022},
url = {https://arxiv.org/abs/2202.09194},
eprinttype = {arXiv},
eprint = {2202.09194},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-11219,
author = {Will Simmons and
Aleks Kissinger},
title = {Higher-order causal theories are models of BV-logic},
journal = {CoRR},
volume = {abs/2205.11219},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.11219},
doi = {10.48550/ARXIV.2205.11219},
eprinttype = {arXiv},
eprint = {2205.11219},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JacobsKZ21,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
title = {Causal inference via string diagram surgery: {A} diagrammatic approach
to interventions and counterfactuals},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {553--574},
year = {2021},
url = {https://doi.org/10.1017/S096012952100027X},
doi = {10.1017/S096012952100027X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/JacobsKZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2105-06244,
author = {Cole Comfort and
Aleks Kissinger},
editor = {Kohei Kishida},
title = {A Graphical Calculus for Lagrangian Relations},
booktitle = {Proceedings of the Fourth International Conference on Applied Category
Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
series = {{EPTCS}},
volume = {372},
pages = {338--351},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.372.24},
doi = {10.4204/EPTCS.372.24},
timestamp = {Mon, 05 Dec 2022 10:58:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10984,
author = {Bob Coecke and
Dominic Horsman and
Aleks Kissinger and
Quanlong Wang},
title = {Kindergarden quantum mechanics graduates (...or how {I} learned to
stop gluing {LEGO} together and love the ZX-calculus)},
journal = {CoRR},
volume = {abs/2102.10984},
year = {2021},
url = {https://arxiv.org/abs/2102.10984},
eprinttype = {arXiv},
eprint = {2102.10984},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-10984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14686,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {II:} Rewriting with Symmetric Monoidal
Structure},
journal = {CoRR},
volume = {abs/2104.14686},
year = {2021},
url = {https://arxiv.org/abs/2104.14686},
eprinttype = {arXiv},
eprint = {2104.14686},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06049,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {III:} Confluence with and without Frobenius},
journal = {CoRR},
volume = {abs/2109.06049},
year = {2021},
url = {https://arxiv.org/abs/2109.06049},
eprinttype = {arXiv},
eprint = {2109.06049},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/KissingerG20,
author = {Aleks Kissinger and
Arianne Meijer{-}van de Griend},
title = {{CNOT} circuit extraction for topologically-constrained quantum memories},
journal = {Quantum Inf. Comput.},
volume = {20},
number = {7{\&}8},
pages = {581--596},
year = {2020},
url = {https://doi.org/10.26421/QIC20.7-8-4},
doi = {10.26421/QIC20.7-8-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/KissingerG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/DuncanKPW20,
author = {Ross Duncan and
Aleks Kissinger and
Simon Perdrix and
John van de Wetering},
title = {Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus},
journal = {Quantum},
volume = {4},
pages = {279},
year = {2020},
url = {https://doi.org/10.22331/q-2020-06-04-279},
doi = {10.22331/Q-2020-06-04-279},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/quantum/DuncanKPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-06455,
author = {Niel de Beaudrap and
Aleks Kissinger and
Konstantinos Meichanetzidis},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Tensor Network Rewriting Strategies for Satisfiability and Counting},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {46--59},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.3},
doi = {10.4204/EPTCS.340.3},
timestamp = {Mon, 29 Nov 2021 16:32:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-06455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2003-13564,
author = {Louis Lemonnier and
John van de Wetering and
Aleks Kissinger},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {188--212},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.10},
doi = {10.4204/EPTCS.340.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-13564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01847,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {I:} Rewriting with Frobenius Structure},
journal = {CoRR},
volume = {abs/2012.01847},
year = {2020},
url = {https://arxiv.org/abs/2012.01847},
eprinttype = {arXiv},
eprint = {2012.01847},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KissingerU19,
author = {Aleks Kissinger and
Sander Uijlen},
title = {A categorical semantics for causal structure},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:15)2019},
doi = {10.23638/LMCS-15(3:15)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KissingerU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JacobsKZ19,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Causal Inference by String Diagram Surgery},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {313--329},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_18},
doi = {10.1007/978-3-030-17127-8\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JacobsKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-04735,
author = {Aleks Kissinger and
John van de Wetering},
editor = {Bob Coecke and
Matthew Leifer},
title = {PyZX: Large Scale Automated Diagrammatic Reasoning},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {229--241},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.14},
doi = {10.4204/EPTCS.318.14},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03178,
author = {Ross Duncan and
Aleks Kissinger and
Simon Perdrix and
John van de Wetering},
title = {Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus},
journal = {CoRR},
volume = {abs/1902.03178},
year = {2019},
url = {http://arxiv.org/abs/1902.03178},
eprinttype = {arXiv},
eprint = {1902.03178},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BarKV18,
author = {Krzysztof Bar and
Aleks Kissinger and
Jamie Vicary},
title = {Globular: an online proof assistant for higher-dimensional rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:8)2018},
doi = {10.23638/LMCS-14(1:8)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BarKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/CoeckeK18,
author = {Bob Coecke and
Aleks Kissinger},
editor = {Peter Chapman and
Gem Stapleton and
Amirouche Moktefi and
Sarah P{\'{e}}rez{-}Kriz and
Francesco Bellucci},
title = {Picturing Quantum Processes - {A} First Course on Quantum Theory and
Diagrammatic Reasoning},
booktitle = {Diagrammatic Representation and Inference - 10th International Conference,
Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10871},
pages = {28--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91376-6\_6},
doi = {10.1007/978-3-319-91376-6\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/CoeckeK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGKSZ18,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Rewriting with Frobenius},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {165--174},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209137},
doi = {10.1145/3209108.3209137},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-02175,
author = {Miriam Backens and
Aleks Kissinger},
editor = {Peter Selinger and
Giulio Chiribella},
title = {{ZH:} {A} Complete Graphical Calculus for Quantum Computations Involving
Classical Non-linearity},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {23--42},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.2},
doi = {10.4204/EPTCS.287.2},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1802-09737,
editor = {Bob Coecke and
Aleks Kissinger},
title = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.266},
doi = {10.4204/EPTCS.266},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08338,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
title = {Causal Inference by String Diagram Surgery},
journal = {CoRR},
volume = {abs/1811.08338},
year = {2018},
url = {http://arxiv.org/abs/1811.08338},
eprinttype = {arXiv},
eprint = {1811.08338},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Kissinger18,
author = {Aleks Kissinger},
title = {Diagram Transformations Give a New Handle on Quantum Circuits and
Foundations},
journal = {{ERCIM} News},
volume = {2018},
number = {112},
year = {2018},
url = {https://ercim-news.ercim.eu/en112/special/diagram-transformations-give-a-new-handle-on-quantum-circuits-and-foundations},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Kissinger18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/CK2017,
author = {Bob Coecke and
Aleks Kissinger},
title = {Picturing Quantum Processes: {A} First Course in Quantum Theory and
Diagrammatic Reasoning},
publisher = {Cambridge University Press},
year = {2017},
url = {https://doi.org/10.1017/9781316219317},
doi = {10.1017/9781316219317},
isbn = {9781316219317},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/CK2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BonchiGKSZ17,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Hongseok Yang},
title = {Confluence of Graph Rewriting with Interfaces},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {141--169},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_6},
doi = {10.1007/978-3-662-54434-1\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BonchiGKSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KissingerU17,
author = {Aleks Kissinger and
Sander Uijlen},
title = {A categorical semantics for causal structure},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005095},
doi = {10.1109/LICS.2017.8005095},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KissingerU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KissingerU17a,
author = {Aleks Kissinger and
Sander Uijlen},
title = {A categorical semantics for causal structure},
journal = {CoRR},
volume = {abs/1701.04732},
year = {2017},
url = {http://arxiv.org/abs/1701.04732},
eprinttype = {arXiv},
eprint = {1701.04732},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerU17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/KissingerQ16,
author = {Aleks Kissinger and
David Quick},
title = {Tensors, !-graphs, and Non-commutative Quantum Structures},
journal = {New Gener. Comput.},
volume = {34},
number = {1-2},
pages = {87--123},
year = {2016},
url = {https://doi.org/10.1007/s00354-016-0203-4},
doi = {10.1007/S00354-016-0203-4},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/KissingerQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/CoeckeHK16,
author = {Bob Coecke and
Chris Heunen and
Aleks Kissinger},
title = {Categories of quantum and classical channels},
journal = {Quantum Inf. Process.},
volume = {15},
number = {12},
pages = {5179--5209},
year = {2016},
url = {https://doi.org/10.1007/s11128-014-0837-4},
doi = {10.1007/S11128-014-0837-4},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qip/CoeckeHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGKSZ16,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Rewriting modulo symmetric monoidal structure},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {710--719},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935316},
doi = {10.1145/2933575.2935316},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BarKV16,
author = {Krzysztof Bar and
Aleks Kissinger and
Jamie Vicary},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Globular: An Online Proof Assistant for Higher-Dimensional Rewriting},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {34:1--34:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.34},
doi = {10.4230/LIPICS.FSCD.2016.34},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/BarKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KissingerU17,
author = {Aleks Kissinger and
Sander Uijlen},
editor = {Ross Duncan and
Chris Heunen},
title = {Picturing Indefinite Causal Structure},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {87--94},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.6},
doi = {10.4204/EPTCS.236.6},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/KissingerU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HeussnerKW16,
editor = {Alexander Heu{\ss}ner and
Aleks Kissinger and
Anton Wijs},
title = {Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven,
The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {231},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.231},
doi = {10.4204/EPTCS.231},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeussnerKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiGKSZ16,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {Rewriting modulo symmetric monoidal structure},
journal = {CoRR},
volume = {abs/1602.06771},
year = {2016},
url = {http://arxiv.org/abs/1602.06771},
eprinttype = {arXiv},
eprint = {1602.06771},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiGKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeunenK16,
author = {Chris Heunen and
Aleks Kissinger},
title = {Can quantum theory be characterized in information-theoretic terms?},
journal = {CoRR},
volume = {abs/1604.05948},
year = {2016},
url = {http://arxiv.org/abs/1604.05948},
eprinttype = {arXiv},
eprint = {1604.05948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarKV16,
author = {Krzysztof Bar and
Aleks Kissinger and
Jamie Vicary},
title = {Globular: an online proof assistant for higher-dimensional rewriting},
journal = {CoRR},
volume = {abs/1612.01093},
year = {2016},
url = {http://arxiv.org/abs/1612.01093},
eprinttype = {arXiv},
eprint = {1612.01093},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KissingerZ15,
author = {Aleks Kissinger and
Vladimir Zamdzhiev},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Quantomatic: {A} Proof Assistant for Diagrammatic Reasoning},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {326--336},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_22},
doi = {10.1007/978-3-319-21401-6\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KissingerZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KissingerQ15,
author = {Aleks Kissinger and
David Quick},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {A First-order Logic for String Diagrams},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {171--189},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.171},
doi = {10.4230/LIPICS.CALCO.2015.171},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/KissingerQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KissingerZ15,
author = {Aleks Kissinger and
Vladimir Zamdzhiev},
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Equational Reasoning with Context-Free Families of String Diagrams},
booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
pages = {138--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9\_9},
doi = {10.1007/978-3-319-21145-9\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KissingerZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KissingerZ15,
author = {Aleks Kissinger and
Vladimir Zamdzhiev},
editor = {Arend Rensink and
Eduardo Zambon},
title = {!-graphs with trivial overlap are context-free},
booktitle = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
2015},
series = {{EPTCS}},
volume = {181},
pages = {16--31},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.181.2},
doi = {10.4204/EPTCS.181.2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KissingerZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KissingerZ15a,
author = {Aleks Kissinger and
Vladimir Zamdzhiev},
title = {Quantomatic: {A} proof assistant for diagrammatic reasoning},
journal = {CoRR},
volume = {abs/1503.01034},
year = {2015},
url = {http://arxiv.org/abs/1503.01034},
eprinttype = {arXiv},
eprint = {1503.01034},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerZ15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KissingerQ15,
author = {Aleks Kissinger and
David Quick},
title = {Tensors, !-graphs, and non-commutative quantum structures (extended
version)},
journal = {CoRR},
volume = {abs/1503.01348},
year = {2015},
url = {http://arxiv.org/abs/1503.01348},
eprinttype = {arXiv},
eprint = {1503.01348},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KissingerZ15b,
author = {Aleks Kissinger and
Vladimir Zamdzhiev},
title = {Equational reasoning with context-free families of string diagrams},
journal = {CoRR},
volume = {abs/1504.02716},
year = {2015},
url = {http://arxiv.org/abs/1504.02716},
eprinttype = {arXiv},
eprint = {1504.02716},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerZ15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KissingerQ15a,
author = {Aleks Kissinger and
David Quick},
title = {A first-order logic for string diagrams},
journal = {CoRR},
volume = {abs/1505.00343},
year = {2015},
url = {http://arxiv.org/abs/1505.00343},
eprinttype = {arXiv},
eprint = {1505.00343},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerQ15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kissinger14,
author = {Aleks Kissinger},
editor = {Claudia Casadio and
Bob Coecke and
Michael Moortgat and
Philip J. Scott},
title = {Abstract Tensor Systems as Monoidal Categories},
booktitle = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
to Jim Lambek on the Occasion of His 90th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8222},
pages = {235--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54789-8\_13},
doi = {10.1007/978-3-642-54789-8\_13},
timestamp = {Wed, 15 Feb 2023 22:07:57 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Kissinger14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GrovKL14,
author = {Gudmund Grov and
Aleks Kissinger and
Yuhui Lin},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {Tinker, tailor, solver, proof},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {23--34},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.5},
doi = {10.4204/EPTCS.167.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrovKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KissingerQ14,
author = {Aleks Kissinger and
David Quick},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Tensors, !-graphs, and non-commutative quantum structures},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {56--67},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.5},
doi = {10.4204/EPTCS.172.5},
timestamp = {Thu, 14 Oct 2021 09:15:50 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DixonK13,
author = {Lucas Dixon and
Aleks Kissinger},
title = {Open-graphs and monoidal theories},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {2},
pages = {308--359},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000138},
doi = {10.1017/S0960129512000138},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DixonK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CoeckeHK13,
author = {Bob Coecke and
Chris Heunen and
Aleks Kissinger},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Compositional Quantum Logic},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {21--36},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_3},
doi = {10.1007/978-3-642-38164-5\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CoeckeHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GrovKL13,
author = {Gudmund Grov and
Aleks Kissinger and
Yuhui Lin},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {A Graphical Language for Proof Strategies},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {324--339},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_23},
doi = {10.1007/978-3-642-45221-5\_23},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GrovKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1308-4557,
author = {Chris Heunen and
Aleks Kissinger and
Peter Selinger},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Completely positive projections and biproducts},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {71--83},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.7},
doi = {10.4204/EPTCS.171.7},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1308-4557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6890,
author = {Gudmund Grov and
Aleks Kissinger},
title = {A Graphical Language for Proof Strategies},
journal = {CoRR},
volume = {abs/1302.6890},
year = {2013},
url = {http://arxiv.org/abs/1302.6890},
eprinttype = {arXiv},
eprint = {1302.6890},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6890.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kissinger12,
author = {Aleks Kissinger},
editor = {Jacques D. Fleuriot and
Peter H{\"{o}}fner and
Annabelle McIver and
Alan Smaill},
title = {Synthesising Graphical Theories},
booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory
eXploration and on Invariant Generation, Manchester, UK, June 2012},
series = {EPiC Series in Computing},
volume = {17},
pages = {26--35},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/5dkd},
doi = {10.29007/5DKD},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kissinger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CoeckeDKW12,
author = {Bob Coecke and
Ross Duncan and
Aleks Kissinger and
Quanlong Wang},
title = {Strong Complementarity and Non-locality in Categorical Quantum Mechanics},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {245--254},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.35},
doi = {10.1109/LICS.2012.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CoeckeDKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CoeckeHK14,
author = {Bob Coecke and
Chris Heunen and
Aleks Kissinger},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Categories of Quantum and Classical Channels (extended abstract)},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.1},
doi = {10.4204/EPTCS.158.1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CoeckeHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1204-6695,
author = {Aleks Kissinger and
Alex Merry and
Matvey Soloviev},
editor = {Benedikt L{\"{o}}we and
Glynn Winskel},
title = {Pattern Graph Rewrite Systems},
booktitle = {Proceedings 8th International Workshop on Developments in Computational
Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
series = {{EPTCS}},
volume = {143},
pages = {54--66},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.143.5},
doi = {10.4204/EPTCS.143.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-6695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-6079,
author = {Aleks Kissinger},
title = {Synthesising Graphical Theories},
journal = {CoRR},
volume = {abs/1202.6079},
year = {2012},
url = {http://arxiv.org/abs/1202.6079},
eprinttype = {arXiv},
eprint = {1202.6079},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-6079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-0202,
author = {Aleks Kissinger},
title = {Pictures of Processes: Automated Graph Rewriting for Monoidal Categories
and Applications to Quantum Computing},
journal = {CoRR},
volume = {abs/1203.0202},
year = {2012},
url = {http://arxiv.org/abs/1203.0202},
eprinttype = {arXiv},
eprint = {1203.0202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-0202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-4988,
author = {Bob Coecke and
Ross Duncan and
Aleks Kissinger and
Quanlong Wang},
title = {Strong complementarity and non-locality in categorical quantum mechanics},
journal = {CoRR},
volume = {abs/1203.4988},
year = {2012},
url = {http://arxiv.org/abs/1203.4988},
eprinttype = {arXiv},
eprint = {1203.4988},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Kissinger11,
author = {Aleks Kissinger},
title = {Pictures of processes : automated graph rewriting for monoidal categories
and applications to quantum computing},
school = {University of Oxford, {UK}},
year = {2011},
url = {http://ora.ox.ac.uk/objects/uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Kissinger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CoeckeK10,
author = {Bob Coecke and
Aleks Kissinger},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {The Compositional Structure of Multipartite Quantum Entanglement},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {297--308},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_25},
doi = {10.1007/978-3-642-14162-1\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CoeckeK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1103-2812,
author = {Bob Coecke and
Aleks Kissinger and
Alex Merry and
Shibdas Roy},
editor = {Farid M. Ablayev and
Bob Coecke and
Alexander Vasiliev},
title = {The GHZ/W-calculus contains rational arithmetic},
booktitle = {Proceedings {CSR} 2010 Workshop on High Productivity Computations,
{HPC} 2010, Kazan, Russia, June 21-22, 2010},
series = {{EPTCS}},
volume = {52},
pages = {34--48},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.52.4},
doi = {10.4204/EPTCS.52.4},
timestamp = {Mon, 05 Feb 2024 20:19:07 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-2812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-3794,
author = {Lucas Dixon and
Ross Duncan and
Aleks Kissinger},
editor = {S. Barry Cooper and
Prakash Panangaden and
Elham Kashefi},
title = {Open Graphs and Computational Reasoning},
booktitle = {Proceedings Sixth Workshop on Developments in Computational Models:
Causality, Computation, and Physics, {DCM} 2010, Edinburgh, Scotland,
9-10th July 2010},
series = {{EPTCS}},
volume = {26},
pages = {169--180},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.26.16},
doi = {10.4204/EPTCS.26.16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-4114,
author = {Lucas Dixon and
Aleks Kissinger},
title = {Open Graphs and Monoidal Theories},
journal = {CoRR},
volume = {abs/1011.4114},
year = {2010},
url = {http://arxiv.org/abs/1011.4114},
eprinttype = {arXiv},
eprint = {1011.4114},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-4114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kissinger09,
author = {Aleks Kissinger},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Exploring a Quantum Theory with Graph Rewriting and Computer Algebra},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {90--105},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_12},
doi = {10.1007/978-3-642-02614-0\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kissinger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-07 22:28 CEST 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:
