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) |