Concepedia

Vladimir Zamdzhiev

VZ

Statistics

Publications

5

Citations

105

H-Index

5

Active since

2014

Affiliations

Tulane University(Current)

Université de Lorraine

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre National de la Recherche Scientifique

Vladimir Zamdzhiev is an author at Tulane University specializing in engineering, computer science, and mathematical programming.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningMathematical ProgrammingQuantum MatterQuantum ScienceNatural SciencesQuantum ComputingConvex Optimization

Publications per year

2014–2022

5

Publications

5

The ZX-calculus is incomplete for quantum mechanics

Christian Schröder de Witt, Vladimir Zamdzhiev · Electronic Proceedings in Theoretical Computer Science · 2014 · 48 citations · Full text

Quantum Science, Analytical Formulation, Quantum Logic +10

Commutative Monads for Probabilistic Programming Languages

Xiaodong Jia, Bert Lindenhovius, Michael Mislove et al. · 2021 · 17 citations · Full text

Enriching a Linear/Non-linear Lambda Calculus

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev · 2018 · 16 citations

Mathematical Programming, Algebraic Logic, Linear Operator +15

Mixed linear and non-linear recursive types

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev · Proceedings of the ACM on Programming Languages · 2019 · 14 citations · Full text

Mathematical Programming, Engineering, Linear Types +13

Quantum Expectation Transformers for Cost Analysis

Martin Avanzini, Georg Moser, Romain Péchoux et al. · 2022 · 10 citations

1–5 of 5