| Monads on dagger categories C Heunen, M Karvonen Theory and Applications of Categories 31 (35), 1016-1043, 2016 | 35 | 2016 |
| The Way of the Dagger M Karvonen arXiv preprint arXiv:1904.10805, 2019 | 30 | 2019 |
| A comonadic view of simulation and quantum resources S Abramsky, RS Barbosa, M Karvonen, S Mansfield 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 26 | 2019 |
| Closing Bell: Boxing Black Box Simulations in the Resource Theory of Contextuality RS Barbosa, M Karvonen, S Mansfield Samson Abramsky on Logic and Structure in Computer Science and Beyond, 475-529, 2023 | 20 | 2023 |
| Neither Contextuality nor Nonlocality Admits Catalysts M Karvonen Physical Review Letters 127 (16), 160402, 2021 | 20 | 2021 |
| Categories of empirical models M Karvonen Electronic Proceedings in Theoretical Computer Science 287 (Proceedings of …, 2019 | 19 | 2019 |
| Reversible monadic computing C Heunen, M Karvonen Electronic Notes in Theoretical Computer Science 319, 217-237, 2015 | 18 | 2015 |
| Reversible effects as inverse arrows C Heunen, R Kaarsgaard, M Karvonen Electronic Notes in Theoretical Computer Science 341, 179-199, 2018 | 16 | 2018 |
| Limits in dagger categories C Heunen, M Karvonen Theory and Applications of Categories 34 (18), 468-513, 2019 | 15 | 2019 |
| Categorical composable cryptography A Broadbent, M Karvonen International Conference on Foundations of Software Science and Computation …, 2022 | 12 | 2022 |
| Categorical composable cryptography: extended version A Broadbent, M Karvonen Logical Methods in Computer Science 19 (4), 30:1–30:46, 2023 | 6 | 2023 |
| Biproducts without pointedness M Karvonen Cahiers de topologie et géométrie différentielle catégoriques 61 (3), 229-238, 2020 | 6* | 2020 |
| Uncloneable Quantum Advice A Broadbent, M Karvonen, S Lord IACR Communications in Cryptology 1 (3), 2024 | 4 | 2024 |
| Inner autoequivalences in general and those of monoidal categories in particular P Hofstra, M Karvonen Journal of Pure and Applied Algebra 228 (11), 107717, 2024 | 2 | 2024 |
| Inner automorphisms as 2-cells P Hofstra, M Karvonen Theory and Applications of Categories 42 (2), 19-40, 2024 | 1 | 2024 |
| Towards a Unified Theory of Time-varying Data BM Bumpus, J Fairbanks, M Karvonen, W Leal, F Simard arXiv preprint arXiv:2402.00206, 2024 | 1 | 2024 |
| Why quantum state verification cannot be both efficient and secure: a categorical approach F Wiesner, Z Chaoui, D Kessler, A Pappa, M Karvonen arXiv preprint arXiv:2411.04767, 2024 | | 2024 |
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
