Fabio Patrizi

Contact and personal infos: Current position:
RTDB

Publications
Title Autor(s) Published in Year
1Automatic Verification of Data-Centric Business Processes.Deutsch, A. Hull, R., Patrizi, F. Vianu, V.ICDT '092009
2Composition of Services that Share an Infinite-State Blackboard (Extended Abstract)Patrizi, F. and De Giacomo, GIIWEB'09 (to appear)2009
3An Introduction to Simulation-based Techniques for Automated Service CompositionFabio Patrizi4th European Young Researchers Workshop on Service Oriented Computing (YR-SOC'09)2009
4Automatic Service Composition and Synthesis: the Roman Model.Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.IEEE Data Eng. Bull. 31(3): 18-222008
5On the separability of subproblems in Benders decompositionsCadoli, M., Patrizi, F.Annals of Operations Research (to appear)2008
6Evaluating ASP and Commercial Solvers on the CSPLib.Mancini, T., Micaletto, D., Patrizi, F., Cadoli, M.Constraints 13(4): 407-4362008
7Behavior Composition in the Presence of FailureSardiña, S., Patrizi, F., De Giacomo, G.KR '082008
8SWSCE - An Automatic Semantic Web Service Composition Engine.Bonomi, S., Colaianni, V., Patrizi, F., Pozzi, D., Russo, R., Mecella, M.ESTEEM '082008
9Automatic Synthesis of a Global Behavior from Multiple Distributed BehaviorsGiuseppe De Giacomo, Fabio Patrizi, Sebastian SardinaAAAI 072007
10Automatic Workflows Composition of Mobile ServicesGiuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio PatriziICWS '072007
11Automatic Service Composition Via Simulation.Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio PatriziInternational Journal of Foundations of Computer Science (to appear).2007
12On the Separability of subproblems in Benders Decompositions.Cadoli, M. and Patrizi, F.Proc. of CP-AI-OR'06. 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Cork, Ireland.2006
13Evaluating ASP and commercial solvers on the CSPLib.Cadoli, M., Mancini, T., Micaletto D. and Patrizi, F.In Proc. of 17th Euro. Conf. on Artificial Intelligence (ECAI 2006)2006
14Sat as an effective technology for constraint problems.Marco Cadoli, Toni Mancini, Fabio Patrizi.Foundations of Intelligent Systems (Proc. of ISMIS 06), volume 4203, LNCS, pages 540–549. Springer2006
15Evaluating asp and commercial solvers on the CSPLib (preliminary work).Marco Cadoli, Toni Mancini, Davide Micaletto, and Fabio Patrizi.WLP, pages 54–63,2006
16Task Assignment with Dynamic Token Generation.Farinelli, A., Iocchi, L., Nardi, D., Patrizi, F.''Monitoring, Security and Rescue Techniques in Multiagent Systems'', Series: Advances in Soft Computing , Dunin-Keplicz, B.; Jankowski, A.; Skowron, A.; Szczuka, M. (Eds.), Springer, pp. 467 - 4782005
17A Multi Agent System Approach for Emergency Intervention: Experimental Analisys and EvaluationFarinelli, A., Iocchi, L., Nardi, D., Patrizi, F."Intelligenza Artificiale" 2(1): 47-532005
18SAT as an effective solving technology for constraint problems.Cadoli, M., Mancini, T. and Patrizi, F.Proc. of CILC'05. Italian Conference on Computational Logic. Rome, Italy.2005
19Experiments with the RoboCup Rescue Simulator in a Post Earthquake Emergency Italian Scenario.Biagetti, A., Farinelli, A., Iocchi, L., Nardi, D., Patrizi, F.In proc of SSRR 04,IEEE International Workshop on Safety, Security and Rescue Robots. Bonn, Germany.2004