Amar Hadzihasanovic

ORCID

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Venues

CoRR

LICS

QPL

Appl. Categorical Struct.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Amar Hadzihasanovic, Diana Kessler
Higher-Dimensional Subdiagram Matching. LICS (2023)
Amar Hadzihasanovic, Diana Kessler
Higher-dimensional subdiagram matching. CoRR (2023)
Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke
Obstructions to Compositionality. CoRR (2023)
Amar Hadzihasanovic, Diana Kessler
Data structures for topologically sound higher-dimensional diagram rewriting. CoRR (2022)
Amar Hadzihasanovic
The Smash Product of Monoidal Theories. LICS (2021)
Amar Hadzihasanovic
A Combinatorial-Topological Shape Category for Polygraphs. Appl. Categorical Struct. 28 (3) (2020)
Giovanni de Felice, Amar Hadzihasanovic, Kang Feng Ng
A diagrammatic calculus of fermionic quantum circuits. Log. Methods Comput. Sci. 15 (3) (2019)
Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. FSCD (2018)
Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng
A diagrammatic axiomatisation of fermionic quantum circuits. CoRR (2018)
Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang
Two complete axiomatisations of pure-state qubit quantum computing. LICS (2018)
Amar Hadzihasanovic, Benno van den Berg
Nonstandard Functional Interpretations and Categorical Models. Notre Dame J. Formal Log. 58 (3) (2017)
Amar Hadzihasanovic
The algebra of entanglement and the geometry of composition. CoRR (2017)
Amar Hadzihasanovic
A Topological Perspective on Interacting Algebraic Theories. QPL (2016)
Amar Hadzihasanovic
A Diagrammatic Axiomatisation for Qubit Entanglement. CoRR (2015)
Amar Hadzihasanovic
A Diagrammatic Axiomatisation for Qubit Entanglement. LICS (2015)

Amar Hadzihasanovic

Publication Activity (10 Years)

Top Topics

Top Venues