Amar Hadzihasanovic

18 papers A* 4B 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Proceedings Eighth International Conference on Applied Category Theory.
CoRR
Amar Hadzihasanovic, Jean-Simon Pacaud Lemay
2024 J jnl
Acyclicity Conditions on Pasting Diagrams.
Appl. Categorical Struct.
Amar Hadzihasanovic, Diana Kessler
2023 A* conf
Higher-Dimensional Subdiagram Matching.
LICS
Amar Hadzihasanovic, Diana Kessler
2023 J jnl
Higher-dimensional subdiagram matching.
CoRR
Amar Hadzihasanovic, Diana Kessler
2023 — conf
Obstructions to Compositionality.
ACT
Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke
2022 — conf
Data structures for topologically sound higher-dimensional diagram rewriting.
ACT
Amar Hadzihasanovic, Diana Kessler
2021 A* conf
The Smash Product of Monoidal Theories.
LICS
Amar Hadzihasanovic
2020 J jnl
A Combinatorial-Topological Shape Category for Polygraphs.
Appl. Categorical Struct.
Amar Hadzihasanovic
2019 J jnl
A diagrammatic calculus of fermionic quantum circuits.
Log. Methods Comput. Sci.
Giovanni de Felice, Amar Hadzihasanovic, Kang Feng Ng
2018 B conf
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits.
FSCD
Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng
2018 J jnl
A diagrammatic axiomatisation of fermionic quantum circuits.
CoRR
Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng
2018 A* conf
Two complete axiomatisations of pure-state qubit quantum computing.
LICS
Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang
2017 J jnl
Nonstandard Functional Interpretations and Categorical Models.
Notre Dame J. Formal Log.
Amar Hadzihasanovic, Benno van den Berg
2017 J jnl
The algebra of entanglement and the geometry of composition.
CoRR
Amar Hadzihasanovic
2017 — —
The algebra of entanglement and the geometry of composition.
Amar Hadzihasanovic
2016 — conf
A Topological Perspective on Interacting Algebraic Theories.
QPL
Amar Hadzihasanovic
2015 A* conf
A Diagrammatic Axiomatisation for Qubit Entanglement.
LICS
Amar Hadzihasanovic
2015 J jnl
A Diagrammatic Axiomatisation for Qubit Entanglement.
CoRR
Amar Hadzihasanovic