Amar Hadzihasanovic

Orcid: 0000-0001-9481-191X

According to our database1, Amar Hadzihasanovic authored at least 14 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Acyclicity Conditions on Pasting Diagrams.
Appl. Categorical Struct., December, 2024

2023
Obstructions to Compositionality.
Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Higher-Dimensional Subdiagram Matching.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022
Data structures for topologically sound higher-dimensional diagram rewriting.
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021
The Smash Product of Monoidal Theories.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
A Combinatorial-Topological Shape Category for Polygraphs.
Appl. Categorical Struct., 2020

2019
A diagrammatic calculus of fermionic quantum circuits.
Log. Methods Comput. Sci., 2019

2018
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits.
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Two complete axiomatisations of pure-state qubit quantum computing.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
The algebra of entanglement and the geometry of composition.
PhD thesis, 2017

Nonstandard Functional Interpretations and Categorical Models.
Notre Dame J. Formal Log., 2017

The algebra of entanglement and the geometry of composition.
CoRR, 2017

2016
A Topological Perspective on Interacting Algebraic Theories.
Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2015
A Diagrammatic Axiomatisation for Qubit Entanglement.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015


  Loading...