| Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 108 | 2015 |
| The ZX-calculus is incomplete for quantum mechanics CS de Witt, V Zamdzhiev Quantum Physics and Logic 2014, 2014 | 47 | 2014 |
| MathML-aware article conversion from LATEX H Stamerjohanns, D Ginev, C David, D Misev, V Zamdzhiev, M Kohlhase Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8 …, 2009 | 38 | 2009 |
| Enriching a linear/non-linear lambda calculus: A programming language for string diagrams B Lindenhovius, M Mislove, V Zamdzhiev Logic in Computer Science 2018, 2018 | 33 | 2018 |
| Quantomatic A Kissinger, A Merry, B Frot, B Coecke, D Quick, L Dixon, M Soloviev, ... Software available on-line at http://sites. google. com/site/quantomatic, 2011 | 32 | 2011 |
| Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. R Péchoux, S Perdrix, M Rennela, V Zamdzhiev FoSSaCS, 562-581, 2020 | 27 | 2020 |
| Commutative Monads for Probabilistic Programming Languages X Jia, B Lindenhovius, M Mislove, V Zamdzhiev Logic in Computer Science 2021, 2021 | 23 | 2021 |
| Mixed Linear and Non-linear Recursive Types B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the ACM on Programming Languages 3 (ICFP), 111:1--111:29, 2019 | 20 | 2019 |
| Semantics for variational Quantum programming X Jia, A Kornell, B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the ACM on Programming Languages 6 (POPL), 2022 | 15 | 2022 |
| An abstract approach towards quantum secret sharing VN Zamdzhiev University of Oxford, 2012 | 13 | 2012 |
| LNL-FPC: The Linear/Non-linear Fixpoint Calculus B Lindenhovius, M Mislove, V Zamdzhiev Logical Methods in Computer Science 17, 2021 | 11 | 2021 |
| Rewriting Context-free Families of String Diagrams VN Zamdzhiev arXiv preprint arXiv:1705.07520, 2016 | 9 | 2016 |
| Central submonads and notions of computation: Soundness, completeness and internal languages T Carette, L Lemonnier, V Zamdzhiev 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 8 | 2023 |
| Quantum expectation transformers for cost analysis M Avanzini, G Moser, R Péchoux, S Perdrix, V Zamdzhiev Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 8 | 2022 |
| Equational reasoning with context-free families of string diagrams A Kissinger, V Zamdzhiev Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015 | 7 | 2015 |
| Quantum computing: The good, the bad, and the (not so) ugly V Zamdzhiev Invited talk, Tulane University, 2016 | 4 | 2016 |
| The Central Valuations Monad X Jia, M Mislove, V Zamdzhiev arXiv preprint arXiv:2111.10873, 2021 | 3 | 2021 |
| Quantum Programming with Inductive Datatypes R Péchoux, S Perdrix, M Rennela, V Zamdzhiev | 3 | 2020 |
| Semantics for a Lambda Calculus for String Diagrams B Lindenhovius, M Mislove, V Zamdzhiev Samson Abramsky on Logic and Structure in Computer Science and Beyond, 973-1003, 2023 | 2 | 2023 |
| Reflecting Algebraically Compact Functors V Zamdzhiev Applied Category Theory 2019, 2019 | 2 | 2019 |
Michael MisloveTulane UniversityVerified email at tulane.edu