Decision Diagrams for Petri Nets: Which Variable Ordering? - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (PNSE @ Petri Nets, 2017)

A Distributed Coordination Infrastructure for Attribute-Based Interaction. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi; Michele Loreti (FORTE, 2018)

GoAt: Attribute-Based Interaction in Google Go. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi (ISoLA (3), 2018)

GoAt: Attribute-based Interaction in Google Go. - Giulio Garbi; Rocco De Nicola; Yehia Abd Alrahman (Zenodo, 2018)

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (Trans. Petri Nets Other Model. Concurr., 2018)

Learning Queuing Networks by Recurrent Neural Networks. - Giulio Garbi; Emilio Incerto; Mirco Tribastone (ICPE, 2020)

A distributed API for coordinating AbC programs. - Yehia Abd Alrahman; Giulio Garbi (Int. J. Softw. Tools Technol. Transf., 2020)

μP: A Development Framework for Predicting Performance of Microservices by Design. - Giulio Garbi; Emilio Incerto; Mirco Tribastone (CLOUD, 2023)

Static Data Race Detection via Lazy Sequentialization. - Bernd Fischer 002; Giulio Garbi; Salvatore La Torre; Gennaro Parlato; Peter Schrammel (NETYS, 2024)

CHC-Based Verification of Programs Through Graph Decompositions. - Marco Faella; Giulio Garbi; Salvatore La Torre; Gennaro Parlato (SN Comput. Sci., 2024)