Amar Hadzihasanovic

MaRDI QIDQ2013392zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Acyclicity conditions on pasting diagrams Applied Categorical Structures	2024-11-01	Paper
Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting Electronic Proceedings in Theoretical Computer Science	2024-03-05	Paper
Obstructions to Compositionality	2023-07-26	Paper
Higher-dimensional subdiagram matching	2023-04-18	Paper
A topological perspective on interacting algebraic theories	2021-12-08	Paper
A topological perspective on interacting algebraic theories (available as arXiv preprint)	2021-12-08	Paper
A diagrammatic axiomatisation of fermionic quantum circuits	2021-06-15	Paper
The smash product of monoidal theories	2021-01-25	Paper
Two complete axiomatisations of pure-state qubit quantum computing Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Diagrammatic sets and rewriting in weak higher categories	2020-07-28	Paper
A combinatorial-topological shape category for polygraphs Applied Categorical Structures	2020-05-26	Paper
Weak units, universal cells, and coherence via universality for bicategories	2019-10-23	Paper
Weak units, universal cells, and coherence via universality for bicategories (available as arXiv preprint)	2019-10-23	Paper
Representable diagrammatic sets as a model of weak higher categories	2019-09-17	Paper
A diagrammatic calculus of fermionic quantum circuits (available as arXiv preprint)	2019-09-13	Paper
A diagrammatic axiomatisation for qubit entanglement 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
The algebra of entanglement and the geometry of composition	2017-09-23	Paper
Nonstandard functional interpretations and categorical models Notre Dame Journal of Formal Logic	2017-08-17	Paper
Nonstandard functional interpretations and categorical models Notre Dame Journal of Formal Logic	2017-08-17	Paper
Combinatorics of higher-categorical diagrams (available as arXiv preprint)	N/A	Paper
A model for the coherent walking $\omega$-equivalence (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Amar Hadzihasanovic