BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kissinger:Aleks

Contributed to:

CADE 20152015
GaM 20152015
ICGT 20152015
LICS 20122012
ICALP (2) 20102010
ESOP 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.