Follow
Amar Hadzihasanovic
Amar Hadzihasanovic
Postdoctoral Researcher, Tallinn University of Technology
Verified email at cs.ioc.ee - Homepage
Title
Cited by
Cited by
Year
Two complete axiomatisations of pure-state qubit quantum computing
A Hadzihasanovic, KF Ng, Q Wang
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
662018
A diagrammatic axiomatisation for qubit entanglement
A Hadzihasanovic
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 573-584, 2015
662015
The algebra of entanglement and the geometry of composition
A Hadzihasanovic
arXiv preprint arXiv:1709.08086, 2017
632017
A combinatorial-topological shape category for polygraphs
A Hadzihasanovic
Applied Categorical Structures 28 (3), 419-476, 2020
132020
Nonstandard functional interpretations and categorical models
A Hadzihasanovic, B van den Berg
Notre Dame Journal of Formal Logic 58 (3), 343-380, 2017
62017
A diagrammatic calculus of fermionic quantum circuits
KF Ng, A Hadzihasanovic, G de Felice
Logical Methods in Computer Science 15, 2019
52019
Weak units, universal cells, and coherence via universality for bicategories
A Hadzihasanovic
Theory and Applications of Categories 34 (29), 883-960, 2019
4*2019
Diagrammatic sets and rewriting in weak higher categories
A Hadzihasanovic
arXiv preprint arXiv:2007.14505, 2020
32020
Zw calculi: diagrammatic languages for pure-state quantum computing
A Hadzihasanovic
Logic and Applications LAP 2018, 13, 2018
32018
A diagrammatic axiomatisation of fermionic quantum circuits
A Hadzihasanovic, G de Felice, KF Ng
3rd International Conference on Formal Structures for Computation and …, 2018
32018
Representable diagrammatic sets as a model of weak higher categories
A Hadzihasanovic
arXiv preprint arXiv:1909.07639, 2019
22019
A topological perspective on interacting algebraic theories
A Hadzihasanovic
arXiv preprint arXiv:1701.00658, 2017
22017
The smash product of monoidal theories
A Hadzihasanovic
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–13