Fabrizio Genovese

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

Collaborative distances:

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

2023

Obstructions to Compositionality.

Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke

CoRR, 2023

2022

Yoneda Hacking: The Algebra of Attacker Actions.

Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming

ACM Trans. Cyber Phys. Syst., 2022

2021

A Categorical Semantics for Hierarchical Petri Nets.

Fabrizio Genovese, Jelle Herold

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Categories of Nets.

John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman

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

2020

A Categorical Semantics for Guarded Petri Nets.

Fabrizio Genovese, David I. Spivak

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

idris-ct: A Library to do Category Theory in Idris.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla

Proceedings of the Proceedings Applied Category Theory 2019, 2019

The Essence of Petri Net Gluings.

Fabrizio Genovese

CoRR, 2019

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

Fabrizio Genovese, Andre Knispel, Joshua Brian Fitzgerald

CoRR, 2019

The Mathematical Specification of the Statebox Language.

Fabrizio Genovese, Jelle Herold

CoRR, 2019

Computational Petri Nets: Adjunctions Considered Harmful.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla

CoRR, 2019

2018

Generalized relations in linguistics & cognition.

Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Alexis Toumi

Theor. Comput. Sci., 2018

Quantum Field Theory in Categorical Quantum Mechanics.

Stefano Gogioso, Fabrizio Genovese

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories.

Fabrizio Genovese, Jelle Herold

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

Generalized relations for compositional models of meaning.

Fabrizio Genovese

PhD thesis, 2017

Uniqueness of Composition in Quantum Theory and Linguistics.

Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Towards Quantum Field Theory in Categorical Quantum Mechanics.

Stefano Gogioso, Fabrizio Genovese

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Interacting Conceptual Spaces I : Grammatical Composition of Concepts.

Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu

CoRR, 2017

Generalized Relations in Linguistics and Cognition.

Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden

Proceedings of the Logic, Language, Information, and Computation, 2017

Custom Hypergraph Categories via Generalized Relations.

Dan Marsden, Fabrizio Genovese

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Infinite-dimensional Categorical Quantum Mechanics.

Stefano Gogioso, Fabrizio Genovese

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

Interacting Conceptual Spaces.

Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu

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