Amar Hadzihasanovic

According to our database, Amar Hadzihasanovic authored at least 13 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Obstructions to Compositionality.

Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke

CoRR, 2023

Higher-Dimensional Subdiagram Matching.

Amar Hadzihasanovic, Diana Kessler

LICS, 2023

2022

Data structures for topologically sound higher-dimensional diagram rewriting.

Amar Hadzihasanovic, Diana Kessler

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

The Smash Product of Monoidal Theories.

Amar Hadzihasanovic

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

A Combinatorial-Topological Shape Category for Polygraphs.

Amar Hadzihasanovic

Appl. Categorical Struct., 2020

2019

A diagrammatic calculus of fermionic quantum circuits.

Giovanni de Felice, Amar Hadzihasanovic, Kang Feng Ng

Log. Methods Comput. Sci., 2019

2018

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits.

Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Two complete axiomatisations of pure-state qubit quantum computing.

Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

The algebra of entanglement and the geometry of composition.

Amar Hadzihasanovic

PhD thesis, 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

CoRR, 2017

2016

A Topological Perspective on Interacting Algebraic Theories.

Amar Hadzihasanovic

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2015

A Diagrammatic Axiomatisation for Qubit Entanglement.

Amar Hadzihasanovic

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015