Enrico Ghiorzi

According to our database, Enrico Ghiorzi authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Execution Semantics of Behavior Trees in Robotic Applications.

Enrico Ghiorzi, Armando Tacchella

CoRR, 2024

2023

Learning Linear Temporal Properties for Autonomous Robotic Systems.

Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale

IEEE Robotics Autom. Lett., May, 2023

2022

Internal Enriched Categories.

Enrico Ghiorzi

Appl. Categorical Struct., 2022

(Deep) induction rules for GADTs.

Patricia Johann, Enrico Ghiorzi

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

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, Daniel Jeffries

CoRR, 2021

GADTs, Functoriality, Parametricity: Pick Two.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Parametricity for Nested Types and GADTs.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

CoRR, 2021

Parametricity for Primitive Nested Types.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Proceedings of the Foundations of Software Science and Computation Structures, 2021