| Quantum collections A Kornell International Journal of Mathematics 28 (12), 1750085, 2017 | 29* | 2017 |
| Quantum sets A Kornell Journal of Mathematical Physics 61 (10), 2020 | 23 | 2020 |
| Axioms for the category of Hilbert spaces C Heunen, A Kornell Proceedings of the National Academy of Sciences 119 (9), e2117024119, 2022 | 15 | 2022 |
| Quantum functions A Kornell arXiv preprint arXiv:1101.1694, 2011 | 10 | 2011 |
| Semantics for variational quantum programming X Jia, A Kornell, B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 8 | 2022 |
| Quantum CPOs A Kornell, B Lindenhovius, M Mislove arXiv preprint arXiv:2109.02196, 2021 | 8 | 2021 |
| A category of quantum posets A Kornell, B Lindenhovius, M Mislove Indagationes Mathematicae 33 (6), 1137-1171, 2022 | 4 | 2022 |
| Discrete quantum structures A Kornell arXiv preprint arXiv:2004.04377, 2020 | 4 | 2020 |
| Axioms for the category of Hilbert spaces and linear contractions C Heunen, A Kornell, N Van Der Schaaf arXiv preprint arXiv:2211.02688, 2022 | 3 | 2022 |
| V*-algebras A Kornell arXiv preprint arXiv:1502.01516, 2015 | 3 | 2015 |
| Discrete quantum structures I: Quantum predicate logic A Kornell Journal of Noncommutative Geometry 18 (1), 337-382, 2023 | 2 | 2023 |
| A natural deduction system for orthomodular logic A Kornell The Review of Symbolic Logic, 1-40, 2021 | 2 | 2021 |
| Discrete quantum structures II: Examples A Kornell Journal of Noncommutative Geometry, 1-40, 2024 | 1 | 2024 |
| Some improvements to product formula circuits for Hamiltonian simulation A Kornell, P Selinger arXiv preprint arXiv:2310.12256, 2023 | 1 | 2023 |
| On the structure of modal and tense operators on a boolean algebra G Bezhanishvili, A Kornell arXiv preprint arXiv:2308.08664, 2023 | 1 | 2023 |
| Axioms for the category of sets and relations A Kornell arXiv preprint arXiv:2302.14153, 2023 | 1 | 2023 |
| Characterizations of homomorphisms among unital completely positive maps A Kornell arXiv preprint arXiv:2403.07229, 2024 | | 2024 |
| Completely hereditarily atomic OMLs J Harding, A Kornell arXiv preprint arXiv:2308.08508, 2023 | | 2023 |
| Quantum extensions of ordinary maps A Kornell Proceedings of the American Mathematical Society 148 (5), 1971-1986, 2020 | | 2020 |
| The logic of Σ formulas A Kornell This volume contains the papers presented at BLAST 2018, held on August 6-10 …, 2018 | | 2018 |
