Andrea Ferrara

According to our database, Andrea Ferrara authored at least 7 papers between 2004 and 2016.

Collaborative distances:

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

2016

The Size of BDDs and Other Data Structures in Temporal Logics Model Checking.

Andrea Ferrara, Paolo Liberatore, Marco Schaerf

IEEE Trans. Computers, 2016

2014

On the generalization of continuous-time stochastic processes simulation for industrial production modeling.

Fabio Bursi, Andrea Ferrara, Andrea Grassi, Chiara Ronzoni

Proceedings of the 47th Annual Simulation Symposium, 2014

2007

Model Checking and Preprocessing.

Andrea Ferrara, Paolo Liberatore, Marco Schaerf

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2005

Treewidth in Verification: Local vs. Global.

Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi

Proceedings of the Logic for Programming, 2005

The Complexity of Action Redundancy.

Andrea Ferrara, Paolo Liberatore, Marco Schaerf

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

Web services: a process algebra approach.

Andrea Ferrara

Proceedings of the Service-Oriented Computing, 2004

Negotiation Among Web Services Using LOTOS/CADP.

Gwen Salaün, Andrea Ferrara, Antonella Chirichiello

Proceedings of the Web Services, European Conference, 2004