 | 2011 |
| 4 |  | Babak Bagheri Hariri,
Diego Calvanese,
Giuseppe De Giacomo,
Riccardo De Masellis,
Paolo Felli:
Foundations of Relational Artifacts Verification.
BPM 2011: 379-395 |
| 3 |  | Tiziana Catarci,
Maddalena D'Addario,
Paolo Felli,
Laura Franceschetti,
Domenico Lembo,
Massimo Mecella,
Tatiana Pipan,
Alessandro Russo,
Annarita Vestri,
Paolo Villari:
User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health (Extended Abstract).
SEBD 2011: 326- |
| 2010 |
| 2 |  | Giuseppe De Giacomo,
Paolo Felli,
Fabio Patrizi,
Sebastian Sardiña:
Two-Player Game Structures for Generalized Planning and Agent Composition.
AAAI 2010 |
| 1 |  | Giuseppe De Giacomo,
Paolo Felli:
Agent composition synthesis based on ATL.
AAMAS 2010: 499-506 |