Lorenzo Matteucci

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Clustering Algorithm

Building Blocks

Web Environment

Computing Systems

Top Venues

Sci. Comput. Program.

Publications

Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
Sibilla: A tool for reasoning about collective systems. Sci. Comput. Program. 235 (2024)
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION (2022)