Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev International Conference on Automated Deduction, 326-336, 2015 | 52 | 2015 |

The ZX-calculus is incomplete for quantum mechanics CS de Witt, V Zamdzhiev Quantum Physics and Logic 2014, 2014 | 31 | 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 | 29 | 2009 |

Quantomatic A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ... Software available on-line at http://sites. google. com/site/quantomatic, 2011 | 26 | 2011 |

An abstract approach towards quantum secret sharing VN Zamdzhiev University of Oxford, 2012 | 12 | 2012 |

Enriching a linear/non-linear lambda calculus: A programming language for string diagrams B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 9 | 2018 |

Rewriting Context-free Families of String Diagrams VN Zamdzhiev arXiv preprint arXiv:1705.07520, 2016 | 3 | 2016 |

Equational reasoning with context-free families of string diagrams A Kissinger, V Zamdzhiev International Conference on Graph Transformation, 138-154, 2015 | 3 | 2015 |

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 | 2 | 2019 |

A DCPO-enriched linear/non-linear model B Lindenhovius, M Mislove, V Zamdzhiev manuscript, 2017 | 2 | 2017 |

!-Graphs with Trivial Overlap are Context-Free A Kissinger, V Zamdzhiev Graphs as Models 2015, 2015 | 1 | 2015 |

Reflecting Algebraically Compact Functors V Zamdzhiev arXiv preprint arXiv:1906.09649, 2019 | | 2019 |

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory R Péchoux, S Perdrix, M Rennela, V Zamdzhiev | | 2019 |

Inductive Datatypes for Quantum Programming R Péchoux, S Perdrix, M Rennela, V Zamdzhiev | | 2019 |

A Framework for Rewriting Families of String Diagrams V Zamdzhiev TERMGRAPH 2018, 2019 | | 2019 |

Enriching a Linear/Non-linear Lambda Calculus B Lindenhovius, M Mislove, V Zamdzhiev | | 2018 |

The ZX-calculus is incomplete for quantum mechanics C Schröder de Witt, V Zamdzhiev arXiv preprint arXiv:1404.3633, 2014 | | 2014 |

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory (Draft) R PÉCHOUX, S PERDRIX, M RENNELA, V ZAMDZHIEV | | |

Categorical Semantics for Mixed Linear/Non-linear Recursive Types B Lindenhovius, M Mislove, V Zamdzhiev | | |