Enrico Ghiorzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2021–2026
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECMS | Integrating Simulation and Verification to Assess Safety of Robot Control Software. | Marco Lampacrescia, Matteo Palmas, Enrico Ghiorzi, Christian Henkel, Michaela Klauck, Armando Tacchella |
| 2025 | IROS | Code Generation and Monitoring for Deliberation Components in Autonomous Robots. | Stefano Bernagozzi, Sofia Faraci, Enrico Ghiorzi, K. Pedemonte, Lorenzo Natale, Armando Tacchella |
| 2025 | MODELS | Translating Behavior Trees to Petri Nets for Model Checking. | Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella |
| 2022 | CPP | (Deep) induction rules for GADTs. | Patricia Johann, Enrico Ghiorzi |
| 2021 | FOSSACS | Parametricity for Primitive Nested Types. | Patricia Johann, Enrico Ghiorzi, Daniel Jeffries |