Andrea Laretto

According to our database, Andrea Laretto authored at least 6 papers in 2023.

Collaborative distances:

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

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

CoRR, 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