| 2009 |
|---|
| 12 | EE | Alin Deutsch,
Richard Hull,
Fabio Patrizi,
Victor Vianu:
Automatic verification of data-centric business processes.
ICDT 2009: 252-267 |
| 2008 |
|---|
| 11 | | Sebastian Sardiña,
Fabio Patrizi,
Giuseppe De Giacomo:
Behavior Composition in the Presence of Failure.
KR 2008: 640-650 |
| 10 | EE | Toni Mancini,
Davide Micaletto,
Fabio Patrizi,
Marco Cadoli:
Evaluating ASP and Commercial Solvers on the CSPLib.
Constraints 13(4): 407-436 (2008) |
| 9 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella,
Fabio Patrizi:
Automatic Service Composition and Synthesis: the Roman Model.
IEEE Data Eng. Bull. 31(3): 18-22 (2008) |
| 8 | EE | Daniela Berardi,
Fahima Cheikh,
Giuseppe De Giacomo,
Fabio Patrizi:
Automatic Service Composition via Simulation.
Int. J. Found. Comput. Sci. 19(2): 429-451 (2008) |
| 2007 |
|---|
| 7 | | Sebastian Sardiña,
Fabio Patrizi,
Giuseppe De Giacomo:
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.
AAAI 2007: 1063-1069 |
| 6 | EE | Giuseppe De Giacomo,
Massimiliano de Leoni,
Massimo Mecella,
Fabio Patrizi:
AutomaticWorkflows Composition of Mobile Services.
ICWS 2007: 823-830 |
| 2006 |
|---|
| 5 | EE | Marco Cadoli,
Fabio Patrizi:
On the Separability of Subproblems in Benders Decompositions.
CPAIOR 2006: 74-88 |
| 4 | | Marco Cadoli,
Toni Mancini,
Davide Micaletto,
Fabio Patrizi:
Evaluating ASP and Commercial Solvers on the CSPLib.
ECAI 2006: 68-72 |
| 3 | EE | Marco Cadoli,
Toni Mancini,
Fabio Patrizi:
SAT as an Effective Solving Technology for Constraint Problems.
ISMIS 2006: 540-549 |
| 2 | EE | Marco Cadoli,
Toni Mancini,
Davide Micaletto,
Fabio Patrizi:
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).
WLP 2006: 54-63 |
| 2005 |
|---|
| 1 | | Alessandro Farinelli,
Luca Iocchi,
Daniele Nardi,
Fabio Patrizi:
A Multi Agent System approach for emergency intervention: experimental analysis and evaluation.
Intelligenza Artificiale 2(1): 47-53 (2005) |
