Parametricity for Primitive Nested Types. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (FoSSaCS, 2021)

Parametricity for Nested Types and GADTs. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (CoRR, 2021)

GADTs, Functoriality, Parametricity: Pick Two. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (LSFA, 2021)

(Deep) Induction Rules for GADTs. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (CoRR, 2021)

Parametricity for Nested Types and GADTs. - Patricia Johann; Enrico Ghiorzi (Log. Methods Comput. Sci., 2021)

(Deep) induction rules for GADTs. - Patricia Johann; Enrico Ghiorzi (CPP, 2022)

Internal Enriched Categories. - Enrico Ghiorzi (Appl. Categorical Struct., 2022)

Learning Linear Temporal Properties for Autonomous Robotic Systems. - Enrico Ghiorzi; Michele Colledanchise; Gianluca Piquet; Stefano Bernagozzi; Armando Tacchella; Lorenzo Natale (IEEE Robotics Autom. Lett., 2023)

Modeling Robot Control Architectures for Verification and Monitoring. - Stefano Bernagozzi; Angelo Ferrando 001; Enrico Ghiorzi; Lorenzo Natale; Armando Tacchella (ERF (2), 2024)

Execution Semantics of Behavior Trees in Robotic Applications. - Enrico Ghiorzi; Armando Tacchella (CoRR, 2024)

GADTs are not (Even partial) functors. - Pierre Cagne; Enrico Ghiorzi; Patricia Johann (Math. Struct. Comput. Sci., 2024)

Model-based Verification and Monitoring for Safe and Responsive Robots. - Stefano Bernagozzi; S. Faraci; Enrico Ghiorzi; K. Pedemonte; A. Ferrando; Lorenzo Natale; Armando Tacchella (SIMPAR, 2025)