Negotiation Among Web Services Using LOTOS/CADP. - Gwen Salaün; Andrea Ferrara; Antonella Chirichiello (ECOWS, 2004)

Web services: a process algebra approach. - Andrea Ferrara (ICSOC, 2004)

The Complexity of Action Redundancy. - Andrea Ferrara; Paolo Liberatore; Marco Schaerf (AI*IA, 2005)

Treewidth in Verification: Local vs. Global. - Andrea Ferrara; Guoqiang Pan; Moshe Y. Vardi (LPAR, 2005)

Model Checking and Preprocessing. - Andrea Ferrara; Paolo Liberatore; Marco Schaerf (AI*IA, 2007)

On the generalization of continuous-time stochastic processes simulation for industrial production modeling. - Fabio Bursi; Andrea Ferrara; Andrea Grassi; Chiara Ronzoni (SpringSim (ANSS), 2014)

The Size of BDDs and Other Data Structures in Temporal Logics Model Checking. - Andrea Ferrara; Paolo Liberatore; Marco Schaerf (IEEE Trans. Computers, 2016)