Bulk-boundary correspondence and singularity-filling in long-range free-fermion chains
 Jones, N Thorngren, R Verresen, R Physical Review Letters (16 Jun 2023)
Pattern graph rewrite systems
 Kissinger, A Merry, A Soloviev, M Electronic Proceedings in Theoretical Computer Science volume 143 54-66 (29 Mar 2014)
Completely positive projections and biproducts
 Heunen, C Kissinger, A Selinger, P Electronic Proceedings in Theoretical Computer Science volume 171 71-83 (27 Dec 2014)
A first-order logic for string diagrams
 Kissinger, A Quick, D Leibniz International Proceedings in Informatics, LIPIcs volume 35 171-189 (01 Oct 2015)
Preface
 Heußner, A Kissinger, A Wijs, A Electronic Proceedings in Theoretical Computer Science, EPTCS volume 231 (04 Dec 2016)
A Categorical Semantics for Causal Structure
 Kissinger, A Uijlen, S 1-12 (01 Jun 2017)
Causal Inference by String Diagram Surgery
 Jacobs, B Kissinger, A Zanasi, F Lecture Notes in Computer Science volume 11425 313-329 (05 Apr 2019)
PyZX: Large Scale Automated Diagrammatic Reasoning
 Kissinger, A van de Wetering, J Electronic Proceedings in Theoretical Computer Science volume 318 229-241 (01 May 2020)
Subscribe to