GHIORZI, ENRICO
GHIORZI, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
(Deep) induction rules for GADTs
2022-01-01 Johann, P.; Ghiorzi, E.
GADTs are not (Even partial) functors
2024-01-01 Cagne, Pierre; Ghiorzi, Enrico; Johann, Patricia
GADTs, Functoriality, Parametricity: Pick Two
2022-01-01 Johann, P.; Ghiorzi, E.; Jeffries, D.
Internal Enriched Categories
2022-01-01 Ghiorzi, E.
Internalization and enrichment via spans and matrices in a tricategory
2023-01-01 Femic, B.; Ghiorzi, E.
Learning Linear Temporal Properties for Autonomous Robotic Systems
2023-01-01 Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L
Model-based Verification and Monitoring for Safe and Responsive Robots
2025-01-01 Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; Tacchella, Armando
Modeling Robot Control Architectures forVerification andMonitoring
2024-01-01 Bernagozzi, Stefano; Ferrando, Angelo; Ghiorzi, Enrico; Natale, Lorenzo; Tacchella, Armando
Parametricity for primitive nested types
2021-01-01 Johann, P.; Ghiorzi, E.; Jeffries, D.
PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS
2021-01-01 Johann, P.; Ghiorzi, E.
Towards a Verifiable Toolchain for Robotics
2024-01-01 Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Danielle; Bernagozzi, Stefano; Rosa, Stefano; Randazzo, Marco; Faraci, Sofia; Natale, Lorenzo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Deep) induction rules for GADTs | 1-gen-2022 | Johann, P.; Ghiorzi, E. | |
| GADTs are not (Even partial) functors | 1-gen-2024 | Cagne, Pierre; Ghiorzi, Enrico; Johann, Patricia | |
| GADTs, Functoriality, Parametricity: Pick Two | 1-gen-2022 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| Internal Enriched Categories | 1-gen-2022 | Ghiorzi, E. | |
| Internalization and enrichment via spans and matrices in a tricategory | 1-gen-2023 | Femic, B.; Ghiorzi, E. | |
| Learning Linear Temporal Properties for Autonomous Robotic Systems | 1-gen-2023 | Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L | |
| Model-based Verification and Monitoring for Safe and Responsive Robots | 1-gen-2025 | Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; Tacchella, Armando | |
| Modeling Robot Control Architectures forVerification andMonitoring | 1-gen-2024 | Bernagozzi, Stefano; Ferrando, Angelo; Ghiorzi, Enrico; Natale, Lorenzo; Tacchella, Armando | |
| Parametricity for primitive nested types | 1-gen-2021 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS | 1-gen-2021 | Johann, P.; Ghiorzi, E. | |
| Towards a Verifiable Toolchain for Robotics | 1-gen-2024 | Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Danielle; Bernagozzi, Stefano; Rosa, Stefano; Randazzo, Marco; Faraci, Sofia; Natale, Lorenzo |