| 2026 | FOSSACS | Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach. | Thea Li, Vladimir Zamdzhiev |
| 2026 | FSCD | Proof Identity and Categorical Models of BV. | Matteo Acclavio, Lutz Straburger, Vladimir Zamdzhiev |
| 2025 | APLAS | IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. | Kinnari Dave, Alejandro Daz-Caro, Vladimir Zamdzhiev |
| 2025 | FOSSACS | Combining quantum and classical control: syntax, semantics and adequacy. | Kinnari Dave, Louis Lemonnier, Romain Pchoux, Vladimir Zamdzhiev |
| 2025 | LICS | Operator Spaces, Linear Logic and the Heisenberg-Schrdinger Duality of Quantum Theory. | Bert Lindenhovius, Vladimir Zamdzhiev |
| 2023 | ESOP | Type-safe Quantum Programming in Idris. | Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev |
| 2023 | LICS | Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
| 2022 | LICS | Quantum Expectation Transformers for Cost Analysis. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix, Vladimir Zamdzhiev |
| 2021 | CALCO | The Central Valuations Monad (Early Ideas). | Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev |
| 2021 | LICS | Commutative Monads for Probabilistic Programming Languages. | Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2020 | FOSSACS | Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. | Romain Pchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev |
| 2018 | LICS | Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2015 | CADE | Quantomatic: A Proof Assistant for Diagrammatic Reasoning. | Aleks Kissinger, Vladimir Zamdzhiev |