Fabrizio Genovese

26 papers A* 1B 2C 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources.
CoRR
Fabrizio Genovese, Lev Stambler
2023 — conf
Obstructions to Compositionality.
ACT
Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke
2022 J jnl
Yoneda Hacking: The Algebra of Attacker Actions.
ACM Trans. Cyber Phys. Syst.
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
2021 — conf
A Categorical Semantics for Hierarchical Petri Nets.
GCM@STAF
Fabrizio Genovese, Jelle Herold
2021 A* conf
Categories of Nets.
LICS
John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman
2021 J jnl
Categories of Nets.
CoRR
John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman
2021 J jnl
Yoneda Hacking: The Algebra of Attacker Actions.
CoRR
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
2020 B conf
A Categorical Semantics for Guarded Petri Nets.
ICGT
Fabrizio Genovese, David I. Spivak
2020 J jnl
A Categorical Semantics for Guarded Petri Nets.
CoRR
Fabrizio Genovese, David I. Spivak
2019 J jnl
Computational Petri Nets: Adjunctions Considered Harmful.
CoRR
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla
2019 J jnl
Mapping finite state machines to zk-SNARKS Using Category Theory.
CoRR
Fabrizio Genovese, Andre Knispel, Joshua Brian Fitzgerald
2019 J jnl
The Essence of Petri Net Gluings.
CoRR
Fabrizio Genovese
2019 J jnl
The Mathematical Specification of the Statebox Language.
CoRR
Fabrizio Genovese, Jelle Herold
2019 — conf
idris-ct: A Library to do Category Theory in Idris.
ACT
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla
2018 — conf
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories.
QPL
Fabrizio Genovese, Jelle Herold
2018 J jnl
Generalized relations in linguistics & cognition.
Theor. Comput. Sci.
Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Alexis Toumi
2018 — conf
Quantum Field Theory in Categorical Quantum Mechanics.
QPL
Stefano Gogioso, Fabrizio Genovese
2017 B conf
Custom Hypergraph Categories via Generalized Relations.
CALCO
Dan Marsden, Fabrizio Genovese
2017 J jnl
Custom Hypergraph Categories via Generalized Relations.
CoRR
Daniel Marsden, Fabrizio Genovese
2017 C conf
Generalized Relations in Linguistics and Cognition.
WoLLIC
Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden
2017 — —
Generalized relations for compositional models of meaning.
Fabrizio Genovese
2017 J jnl
Interacting Conceptual Spaces I : Grammatical Composition of Concepts.
CoRR
Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu
2017 — conf
Towards Quantum Field Theory in Categorical Quantum Mechanics.
QPL
Stefano Gogioso, Fabrizio Genovese
2017 — conf
Uniqueness of Composition in Quantum Theory and Linguistics.
QPL
Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu
2016 — conf
Infinite-dimensional Categorical Quantum Mechanics.
QPL
Stefano Gogioso, Fabrizio Genovese
2016 — conf
Interacting Conceptual Spaces.
SLPCS@QPL
Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu