| Quantum collections A Kornell International Journal of Mathematics 28 (12), 1750085, 2017 | 29* | 2017 |
| Axioms for the category of Hilbert spaces C Heunen, A Kornell Proceedings of the National Academy of Sciences 119 (9), e2117024119, 2022 | 27 | 2022 |
| Quantum sets A Kornell Journal of Mathematical Physics 61 (10), 2020 | 24 | 2020 |
| 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 | 15 | 2022 |
| Quantum CPOs A Kornell, B Lindenhovius, M Mislove arXiv preprint arXiv:2109.02196, 2021 | 11 | 2021 |
| Quantum functions A Kornell arXiv preprint arXiv:1101.1694, 2011 | 10 | 2011 |
| Axioms for the category of Hilbert spaces and linear contractions C Heunen, A Kornell, N Van Der Schaaf arXiv preprint arXiv:2211.02688, 2022 | 7 | 2022 |
| A category of quantum posets A Kornell, B Lindenhovius, M Mislove Indagationes Mathematicae 33 (6), 1137-1171, 2022 | 7 | 2022 |
| Discrete quantum structures A Kornell arXiv preprint arXiv:2004.04377, 2020 | 5 | 2020 |
| Discrete quantum structures I: Quantum predicate logic A Kornell Journal of Noncommutative Geometry 18 (1), 337-382, 2023 | 3 | 2023 |
| Axioms for the category of sets and relations A Kornell arXiv preprint arXiv:2302.14153, 2023 | 3 | 2023 |
| V*-algebras A Kornell arXiv preprint arXiv:1502.01516, 2015 | 3 | 2015 |
| Some improvements to product formula circuits for Hamiltonian simulation A Kornell, P Selinger arXiv preprint arXiv:2310.12256, 2023 | 2 | 2023 |
| On the structure of modal and tense operators on a boolean algebra G Bezhanishvili, A Kornell arXiv preprint arXiv:2308.08664, 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 18 (2), 411-450, 2024 | 1 | 2024 |
| Operator algebras in Solovay's model AV Kornell UC Berkeley, 2015 | 1 | 2015 |
| The category of topological spaces and open maps does not have products G Bezhanishvili, A Kornell Advances in Mathematics 458, 109963, 2024 | | 2024 |
| Completely hereditarily atomic OMLs J Harding, A Kornell Mathematica Slovaca 74 (5), 1107-1126, 2024 | | 2024 |
| Categories of quantum cpos A Kornell, B Lindenhovius, M Mislove arXiv preprint arXiv:2406.01816, 2024 | | 2024 |
