Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. - Rocco De Nicola; Alessandro Maggi; Marinella Petrocchi; Angelo Spognardi; Francesco Tiezzi 001 (SEFM, 2015)

A language-based approach to modelling and analysis of Twitter interactions. - Alessandro Maggi; Marinella Petrocchi; Angelo Spognardi; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2017)

DReAM: Dynamic Reconfigurable Architecture Modeling. - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (ISoLA (3), 2018)

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (CoRR, 2018)

A Logic-Inspired Approach to Reconfigurable System Modelling. - Alessandro Maggi; Rocco De Nicola; Joseph Sifakis (From Reactive Systems to Cyber-Physical Systems, 2019)

The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2020)

Exploring Naive Approaches to Tell Apart LLMs Productions from Human-written Text. - Oliver Giudice; Alessandro Maggi; Matteo Nardelli 001 (NLPIR, 2023)