Andrea Laretto

According to our database, Andrea Laretto authored at least 7 papers between 2023 and 2024.

Collaborative distances:

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

2024

Directed equality with dinaturality.

Andrea Laretto, Fosco Loregiàn, Niccolò Veltri

CoRR, 2024

2023

Specification and verification of a linear-time logic for graph transformation.

Fabio Gadducci, Andrea Laretto, Davide Trotta

CoRR, 2023

The semibicategory of Moore automata.

Guido Boccali, Bojana Femic, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

CoRR, 2023

Completeness for categories of generalized automata.

Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

CoRR, 2023

Bicategories of automata, automata in bicategories.

Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.

Fabio Gadducci, Andrea Laretto, Davide Trotta

Proceedings of the Graph Transformation - 16th International Conference, 2023

Completeness for Categories of Generalized Automata ((Co)algebraic pearls).

Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023