A Diagrammatic Axiomatisation for Qubit Entanglement. - Amar Hadzihasanovic (LICS, 2015)

A Topological Perspective on Interacting Algebraic Theories. - Amar Hadzihasanovic (QPL, 2016)

The algebra of entanglement and the geometry of composition. - Amar Hadzihasanovic (CoRR, 2017)

Nonstandard Functional Interpretations and Categorical Models. - Amar Hadzihasanovic; Benno van den Berg (Notre Dame J. Formal Log., 2017)

The algebra of entanglement and the geometry of composition. - Amar Hadzihasanovic (2017)

Two complete axiomatisations of pure-state qubit quantum computing. - Amar Hadzihasanovic; Kang Feng Ng; Quanlong Wang (LICS, 2018)

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. - Amar Hadzihasanovic; Giovanni de Felice; Kang Feng Ng (FSCD, 2018)

A diagrammatic calculus of fermionic quantum circuits. - Giovanni de Felice; Amar Hadzihasanovic; Kang Feng Ng (Log. Methods Comput. Sci., 2019)

A Combinatorial-Topological Shape Category for Polygraphs. - Amar Hadzihasanovic (Appl. Categorical Struct., 2020)

The Smash Product of Monoidal Theories. - Amar Hadzihasanovic (LICS, 2021)

Data structures for topologically sound higher-dimensional diagram rewriting. - Amar Hadzihasanovic; Diana Kessler (ACT, 2022)

Higher-Dimensional Subdiagram Matching. - Amar Hadzihasanovic; Diana Kessler (LICS, 2023)

Obstructions to Compositionality. - Caterina Puca; Amar Hadzihasanovic; Fabrizio Genovese; Bob Coecke (ACT, 2023)

Acyclicity Conditions on Pasting Diagrams. - Amar Hadzihasanovic; Diana Kessler (Appl. Categorical Struct., 2024)