On Some Noteworthy Pairs of Ideals in Mod-R. - Alberto Facchini; Marco Perone (Appl. Categorical Struct., 2014)

Computational Petri Nets: Adjunctions Considered Harmful. - Fabrizio Genovese; Alex Gryzlov; Jelle Herold; Marco Perone; Erik Post; André Videla (CoRR, 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 (ACT, 2019)

Crème de la Crem: Composable Representable Executable Machines. - Marco Perone; Georgios Karachalias (FUNARCH, 2023)

Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl). - Marco Perone; Georgios Karachalias (CoRR, 2023)