Travelled to:1 × Croatia
1 × France
1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:V.Zamdzhiev B.Coecke R.Duncan Q.Wang F.Bonchi F.Gadducci P.Sobocinski F.Zanasi
Talks about:quantum (2) context (2) reason (2) graph (2) free (2) complementar (1) multipartit (1) diagrammat (1) quantomat (1) confluenc (1)
Person: Aleks Kissinger
DBLP: Kissinger:Aleks
Contributed to:
2015
2015
2015
2012
2010
2017Wrote 6 papers:
- CADE-2015-KissingerZ #diagrams #named #proving #reasoning
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (AK, VZ), pp. 326–336.
- GaM-2015-KissingerZ #exclamation
- !-graphs with trivial overlap are context-free (AK, VZ), pp. 16–31.
- ICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string
- Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.
- LICS-2012-CoeckeDKW #category theory #quantum
- Strong Complementarity and Non-locality in Categorical Quantum Mechanics (BC, RD, AK, QW), pp. 245–254.
- ICALP-v2-2010-CoeckeK #composition #multi #quantum
- The Compositional Structure of Multipartite Quantum Entanglement (BC, AK), pp. 297–308.
- ESOP-2017-BonchiGKSZ #confluence #graph grammar #interface
- Confluence of Graph Rewriting with Interfaces (FB, FG, AK, PS, FZ), pp. 141–169.