Aleks Kissinger
Orcid: 0000-0002-6090-9684Affiliations:
- University of Oxford, UK
According to our database1,
Aleks Kissinger
authored at least 58 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
2022
Math. Struct. Comput. Sci., August, 2022
Math. Struct. Comput. Sci., April, 2022
Kindergarden quantum mechanics graduates <i>...or how I learned to stop gluing LEGO together and love the ZX-calculus</i>.
Theor. Comput. Sci., 2022
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions.
Proceedings of the 17th Conference on the Theory of Quantum Computation, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
2021
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals.
Math. Struct. Comput. Sci., 2021
Proceedings of the Fourth International Conference on Applied Category Theory, 2021
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).
CoRR, 2021
2020
Quantum, 2020
Quantum Inf. Comput., 2020
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020
2019
Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
2018
Log. Methods Comput. Sci., 2018
ERCIM News, 2018
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity.
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning.
Proceedings of the Diagrammatic Representation and Inference, 2018
2017
Proceedings of the Programming Languages and Systems, 2017
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
Cambridge University Press, ISBN: 9781316219317, 2017
2016
Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
Proceedings of the Proceedings Graphs as Models, 2015
CoRR, 2015
Proceedings of the Graph Transformation - 8th International Conference, 2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
Proceedings of the Categories and Types in Logic, Language, and Physics, 2014
2013
Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
CoRR, 2012
Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012
2011
Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.
PhD thesis, 2011
2010
Proceedings of the Proceedings CSR 2010 Workshop on High Productivity Computations, 2010
Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
2009
Proceedings of the Intelligent Computer Mathematics, 2009