Person:6153326

From MaRDI portal

Available identifiers

zbMath Open genovese.fabrizio-romanoMaRDI QIDQ6153326

List of research outcomes





PublicationDate of PublicationType
A categorical semantics for hierarchical Petri nets2024-12-06Paper
Fibrational Linguistics (FibLang): Language Acquisition2024-03-05Paper
A categorical semantics for bounded Petri nets2024-02-13Paper
Obstructions to Compositionality2023-07-26Paper
Fibrational linguistics: First concepts2022-01-04Paper
Yoneda Hacking: The Algebra of Attacker Actions2021-02-26Paper
A Categorical Semantics for Hierarchical Petri Nets2021-01-29Paper
Categories of Nets2021-01-11Paper
idris-ct: A Library to do Category Theory in Idris2019-11-25Paper
The Essence of Petri Net Gluings2019-09-08Paper
Mapping finite state machines to zk-SNARKS Using Category Theory2019-09-06Paper
The Mathematical Specification of the Statebox Language2019-06-18Paper
Computational Petri Nets: Adjunctions Considered Harmful2019-04-29Paper
The Way of the Infinitesimal2017-07-03Paper
Escrows are opticsN/APaper

Research outcomes over time

This page was built for person:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6153326&oldid=37742786"
Powered by MediaWiki