Fabio Patrizi
Fabio Patrizi
Senior Researcher, DIAG - Sapienza University of Rome
Verified email at dis.uniroma1.it - Homepage
TitleCited byYear
Automatic verification of data-centric business processes
A Deutsch, R Hull, F Patrizi, V Vianu
Proceedings of the 12th International Conference on Database Theory, 252-267, 2009
2712009
Automatic service composition via simulation
D Berardi, F Cheikh, G De Giacomo, F Patrizi
International Journal of Foundations of Computer Science 19 (02), 429-451, 2008
972008
Automatic Service Composition and Synthesis: the Roman Model.
D Calvanese, G De Giacomo, M Lenzerini, M Mecella, F Patrizi
IEEE Data Eng. Bull. 31 (3), 18-22, 2008
902008
An abstraction technique for the verification of artifact-centric systems
F Belardinelli, A Lomuscio, F Patrizi
Thirteenth International Conference on the Principles of Knowledge …, 2012
772012
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
612013
Verification of GSM-based artifact-centric systems through finite abstraction
F Belardinelli, A Lomuscio, F Patrizi
International Conference on Service-Oriented Computing, 17-31, 2012
532012
Bounded situation calculus action theories and decidable verification
G De Giacomo, Y Lespérance, F Patrizi
Thirteenth International Conference on the Principles of Knowledge …, 2012
502012
Verification of agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
492014
Verification of deployed artifact systems via data abstraction
F Belardinelli, A Lomuscio, F Patrizi
International Conference on Service-Oriented Computing, 142-156, 2011
492011
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
422008
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
F Patrizi, N Lipovetzky, H Geffner
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
342013
Computing infinite plans for LTL goals using a classical planner
F Patrizi, N Lipoveztky, G De Giacomo, H Geffner
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
302011
Two-player game structures for generalized planning and agent composition
G De Giacomo, P Felli, F Patrizi, S Sardina
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
302010
SAT as an effective solving technology for constraint problems
M Cadoli, T Mancini, F Patrizi
International Symposium on Methodologies for Intelligent Systems, 540-549, 2006
292006
Automatic synthesis of a global behavior from multiple distributed behaviors
S Sardina, F Patrizi, G De Giacomo
AAAI, 1063-1069, 2007
272007
Evaluating ASP and commercial solvers on the CSPLib
T Mancini, D Micaletto, F Patrizi, M Cadoli
Constraints 13 (4), 407-436, 2008
232008
Agent programming via planning programs
G De Giacomo, F Patrizi, S Sardina
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
222010
Simulation-based techniques for automated service composition
F Patrizi
PhD thesis, SAPIENZA–Universita di Roma, Dipartimento di Informatica e …, 2009
212009
On the disruptive effectiveness of automated planning for LTL f-based trace alignment
G De Giacomo, FM Maggi, A Marrella, F Patrizi
Thirty-first AAAI conference on artificial intelligence, 2017
202017
Verification and synthesis in description logic based dynamic systems
D Calvanese, G De Giacomo, M Montali, F Patrizi
International Conference on Web Reasoning and Rule Systems, 50-64, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20