Kissinger, Aleks
- Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
2021/02/22 by Bob Coecke, Dominic Horsman, Coecke, Bob +5 · 1 voice · 2 citations
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #cs.CL #quant-ph
- Causal Inference by String Diagram Surgery
2018/11/20 by Jacobs, Bart, Kissinger, Aleks, Zanasi, Fabio · 10 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code)
2022/04/29 by Kissinger, Aleks · 1 voice · 8 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Categories of Quantum and Classical Channels
2013/05/16 by Bob Coecke, Coecke, Bob, Chris Heunen +3 · 5 citations
Physics and Astronomy · Mathematics · Computer Science · #Quantum Mechanics and Applications #Advanced Operator Algebra Research #Quantum Information and Cryptography
- Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
2012/03/01 by Aleks Kissinger, Kissinger, Aleks · 2 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Scientific Computing and Data Management
- Categorical Quantum Mechanics I: Causal Quantum Processes
2015/10/19 by Coecke, Bob, Kissinger, Aleks · 2 citations
#Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Quantum Physics (quant-ph)
- Floquetifying stabiliser codes with distance-preserving rewrites
2024/10/22 by Benjamin Rodatz, Rodatz, Benjamin, Boldizsár Poór +3 · 8 citations
Computer Science · Biochemistry, Genetics and Molecular Biology · #Advanced Data Storage Technologies #Algorithms and Data Compression #DNA and Biological Computing
- CNOT circuit extraction for topologically-constrained quantum memories
2019/04/01 by Kissinger, Aleks, de Griend, Arianne Meijer-van · 2 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Optimal compilation of parametrised quantum circuits
2024/01/23 by van de Wetering, John, Yeung, Richie, Laakkonen, Tuomas +1 · 4 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
2017/01/30 by Stefano Gogioso, Gogioso, Stefano, Aleks Kissinger +1 · 3 citations
Computer Science · Mathematics · #Algebraic structures and combinatorial models #Category Theory (math.CT) #F.1.1 #F.3.2 #FOS: Mathematics #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Quantum Supermaps are Characterized by Locality
2022/05/19 by Wilson, Matt, Chiribella, Giulio, Kissinger, Aleks · 4 citations
#Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Mathematical Physics (math-ph) #Quantum Physics (quant-ph)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2020/12/03 by Filippo Bonchi, Bonchi, Filippo, Fabio Gadducci +7 · 2 citations
Computer Science · #Security and Verification in Computing #Software Testing and Debugging Techniques #Logic, programming, and type systems
- High schoolers excel at Oxford quantum course using pictorial mathematics
2025/11/28 by Bob Coecke, Coecke, Bob, Aleks Kissinger +27 · 5 voices
#physics.ed-ph #cs.LO #math.CT #quant-ph
- Higher-order causal theories are models of BV-logic
2022/05/23 by Simmons, Will, Kissinger, Aleks · 2 citations
#03B70 #18M45 #81P16 #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Open Graphs and Monoidal Theories
2010/11/18 by Dixon, Lucas, Kissinger, Aleks · 1 citation
#Category Theory (math.CT) #F.4 #FOS: Computer and information sciences #FOS: Mathematics #G.4 #Logic in Computer Science (cs.LO)
- Tensors, !-graphs, and non-commutative quantum structures (extended\n version)
2015/03/04 by Aleks Kissinger, David Quick, Kissinger, Aleks +1 · 1 citation
Computer Science · Physics and Astronomy · #Category Theory (math.CT) #Computational Physics and Python Applications #Data Visualization and Analytics #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Noncommutative and Quantum Gravity Theories #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
- Generalised Compositional Theories and Diagrammatic Reasoning
2015/06/11 by Coecke, Bob, Duncan, Ross, Kissinger, Aleks +1 · 1 citation
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Equivalence of relativistic causal structure and process terminality
2017/08/14 by Kissinger, Aleks, Hoban, Matty, Coecke, Bob · 1 citation
#FOS: Physical sciences #General Relativity and Quantum Cosmology (gr-qc) #Quantum Physics (quant-ph)
- Graphical Fourier Theory and the Cost of Quantum Addition
2019/04/16 by Kuijpers, Stach, van de Wetering, John, Kissinger, Aleks · 1 citation
#FOS: Physical sciences #Quantum Physics (quant-ph)
- A complete logic for causal consistency
2024/03/14 by Simmons, Will, Kissinger, Aleks · 2 citations
#03B70 #18M45 #81P16 #F.4.1 #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Making the quantum world accessible to young learners through Quantum Picturalism: An experimental study
2025/04/01 by Selma Dündar-Coecke, Caterina Puca, Dündar-Coecke, Selma +27 · 2 voices · 3 citations
#physics.ed-ph #quant-ph
- Categorical Quantum Mechanics II: Classical-Quantum Interaction
2016/05/27 by Coecke, Bob, Kissinger, Aleks · 1 citation
#Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Quantum Physics (quant-ph)
- Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus
2024/03/11 by Matthew Sutcliffe, Aleks Kissinger, Sutcliffe, Matthew +1 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Numerical Methods and Algorithms #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Catalysing Completeness and Universality
2024/04/15 by Aleks Kissinger, Neil J. Ross, Kissinger, Aleks +3 · 1 citation
Computer Science · Physics and Astronomy · #Distributed systems and fault tolerance #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
- Fault Tolerance by Construction
2025/06/20 by Benjamin Rodatz, Rodatz, Benjamin, Boldizsár Poór +3 · 2 citations
Computer Science · #Complexity and Algorithms in Graphs #Distributed systems and fault tolerance #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)