Aleks Kissinger
发表
Aleks Kissinger,
2014,
Categories and Types in Logic, Language, and Physics.
Aleks Kissinger,
Chris Heunen,
Bob Coecke,
2013,
Computation, Logic, Games, and Quantum Foundations.
Aleks Kissinger,
Simon Perdrix,
Ross Duncan,
2019,
Quantum.
Aleks Kissinger,
A. Kissinger,
2012,
ATx/WInG@IJCAR.
Aleks Kissinger,
Bob Coecke,
Shibdas Roy,
2011,
HPC.
Aleks Kissinger,
Peter Selinger,
Chris Heunen,
2014
.
Aleks Kissinger,
Arianne Meijer-van de Griend,
A. Kissinger,
2019,
Quantum Inf. Comput..
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Aleks Kissinger,
Jamie Vicary,
Krzysztof Bar,
2018,
Log. Methods Comput. Sci..
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2018,
LICS.
Aleks Kissinger,
Chris Heunen,
C. Heunen,
2016,
ArXiv.
Aleks Kissinger,
Quanlong Wang,
Bob Coecke,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Anton Wijs,
Aleks Kissinger,
Alexander Heussner,
2016
.
Aleks Kissinger,
A. Kissinger,
2009,
Calculemus/MKM.
Aleks Kissinger,
John van de Wetering,
J. V. D. Wetering,
2019,
Electronic Proceedings in Theoretical Computer Science.
Aleks Kissinger,
Bob Coecke,
B. Coecke,
2010,
ICALP.
Aleks Kissinger,
Vladimir Zamdzhiev,
A. Kissinger,
2015,
CADE.
Aleks Kissinger,
Bob Coecke,
2018,
QPL.
Aleks Kissinger,
2018,
ERCIM News.
Aleks Kissinger,
2019
.
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2017,
ESOP.
Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing
pdf
Aleks Kissinger,
A. Kissinger,
2012,
ArXiv.
Aleks Kissinger,
Sander Uijlen,
A. Kissinger,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Aleks Kissinger,
David Quick,
2014
.
Aleks Kissinger,
Chris Heunen,
Bob Coecke,
2016,
Quantum Inf. Process..
Aleks Kissinger,
Stefano Gogioso,
A. Kissinger,
2017,
1701.08669.
Gudmund Grov,
Aleks Kissinger,
Yuhui Lin,
2013,
LPAR.
Aleks Kissinger,
Jamie Vicary,
Krzysztof Bar,
2016
.
Gudmund Grov,
Yuhui Lin,
Aleks Kissinger,
2014,
UITP.
Bart Jacobs,
Aleks Kissinger,
Fabio Zanasi,
2018,
FoSSaCS.
Aleks Kissinger,
Lucas Dixon,
Ross Duncan,
2010
.
Anton Wijs,
Aleks Kissinger,
Alexander Heußner,
2016
.
Aleks Kissinger,
Chris Heunen,
C. Heunen,
2016,
Inf. Comput..
Aleks Kissinger,
Bob Coecke,
B. Coecke,
2017
.
Aleks Kissinger,
Alex Merry,
Matvey Soloviev,
2012,
DCM.
Aleks Kissinger,
Sander Uijlen,
2019,
Log. Methods Comput. Sci..
Aleks Kissinger,
David Quick,
2015,
CALCO.
Aleks Kissinger,
Bob Coecke,
B. Coecke,
2017
.
Aleks Kissinger,
David Quick,
2015,
ArXiv.
Aleks Kissinger,
Bob Coecke,
2018,
Diagrams.
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2020,
ArXiv.
Aleks Kissinger,
David Quick,
2016,
New Generation Computing.
Aleks Kissinger,
Lucas Dixon,
A. Kissinger,
2010,
Mathematical Structures in Computer Science.
Aleks Kissinger,
Jamie Vicary,
Krzysztof Bar,
2016,
Log. Methods Comput. Sci..
Aleks Kissinger,
Chris Heunen,
Bob Coecke,
2012,
QPL.
Aleks Kissinger,
Vladimir Zamdzhiev,
2015,
ICGT.
Stefan Zohren,
Aleks Kissinger,
Joschka Roffe,
2016,
Quantum Science and Technology.
Aleks Kissinger,
Bob Coecke,
2018
.
Aleks Kissinger,
Sander Uijlen,
2016,
QPL.
Aleks Kissinger,
Bob Coecke,
2017
.
Aleks Kissinger,
Vladimir Zamdzhiev,
2015,
GaM.
Aleks Kissinger,
Lucas Dixon,
Ross Duncan,
2010,
DCM.
Aleks Kissinger,
Konstantinos Meichanetzidis,
J. Niel de Beaudrap,
2020,
ArXiv.
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2021,
ArXiv.
Aleks Kissinger,
Cole Comfort,
2021,
ArXiv.
Aleks Kissinger,
John van de Wetering,
Louis Lemonnier,
2020,
Electronic Proceedings in Theoretical Computer Science.
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2021,
ArXiv.
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
pdf
Aleks Kissinger,
Quanlong Wang,
Bob Coecke,
2021,
Theor. Comput. Sci..
Aleks Kissinger,
Bob Coecke,
B. Coecke,
2022
.
Aleks Kissinger,
A. Kissinger,
2014,
1406.5942.
Bart Jacobs,
Aleks Kissinger,
Fabio Zanasi,
2019
.
Aleks Kissinger,
John van de Wetering,
A. Kissinger,
2020,
Physical Review A.
Aleks Kissinger,
Sean Tull,
Bas Westerbaan,
2017,
1704.08668.
Aleks Kissinger,
Bob Coecke,
2017
.
Aleks Kissinger,
John van de Wetering,
J. V. D. Wetering,
2019,
1903.10477.
Aleks Kissinger,
A. Kissinger,
2008
.
Aleks Kissinger,
Bob Coecke,
B. Coecke,
2016,
1605.08617.
Aleks Kissinger,
Quanlong Wang,
Bob Coecke,
2015,
1506.03632.
Aleks Kissinger,
Peter Selinger,
Chris Heunen,
2013,
QPL.
Aleks Kissinger,
Bob Coecke,
B. Coecke,
2015,
1510.05468.