Fabrizio Genovese

Orcid: 0000-0001-7792-1375

According to our database1, Fabrizio Genovese authored at least 21 papers between 2016 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2022
Yoneda Hacking: The Algebra of Attacker Actions.
ACM Trans. Cyber Phys. Syst., 2022

2021
A Categorical Semantics for Hierarchical Petri Nets.
Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

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

2020
A Categorical Semantics for Guarded Petri Nets.
Proceedings of the Graph Transformation - 13th International Conference, 2020

2019
idris-ct: A Library to do Category Theory in Idris.
Proceedings of the Proceedings Applied Category Theory 2019, 2019

The Essence of Petri Net Gluings.
CoRR, 2019

Mapping finite state machines to zk-SNARKS Using Category Theory.
CoRR, 2019

The Mathematical Specification of the Statebox Language.
CoRR, 2019

Computational Petri Nets: Adjunctions Considered Harmful.
CoRR, 2019

2018
Generalized relations in linguistics & cognition.
Theor. Comput. Sci., 2018

Quantum Field Theory in Categorical Quantum Mechanics.
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories.
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017
Generalized relations for compositional models of meaning.
PhD thesis, 2017

Uniqueness of Composition in Quantum Theory and Linguistics.
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Towards Quantum Field Theory in Categorical Quantum Mechanics.
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Interacting Conceptual Spaces I : Grammatical Composition of Concepts.
CoRR, 2017

Generalized Relations in Linguistics and Cognition.
Proceedings of the Logic, Language, Information, and Computation, 2017

Custom Hypergraph Categories via Generalized Relations.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
Infinite-dimensional Categorical Quantum Mechanics.
Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Interacting Conceptual Spaces.
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016


  Loading...