Fabio Patrizi

Cited by

	All	Since 2016
Citations	1609	694
h-index	21	16
i10-index	39	25

200

100

150

20062007200820092010201120122013201420152016201720182019202020218 7 27 68 76 103 110 163 155 174 199 109 133 131 113 7

Co-authors

Giuseppe De GiacomoSapienza Università di RomaVerified email at diag.uniroma1.it
Sebastian SardinaAssociate Professor, RMIT UniversityVerified email at rmit.edu.au
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Marco MontaliAssociate Professor, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Massimo MecellaProfessor in Engineering in Computer Science, Sapienza Università di Roma, ItalyVerified email at dis.uniroma1.it
Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
Yves LesperanceAssociate Professor, Dept. of Electrical Engineering and Computer Science, York UniversityVerified email at eecs.yorku.ca
Luca IocchiFull Professor - Sapienza University of Rome, ItalyVerified email at diag.uniroma1.it
Richard Hullibm researchVerified email at us.ibm.com
Stavros VassosHelvia.ioVerified email at helvia.io
Toni ManciniComputer Science Department, Sapienza University of Rome, ItalyVerified email at di.uniroma1.it
Hector GeffnerICREA & Universitat Pompeu Fabra, Artificial Intelligence and Machine Learning Group, DTICVerified email at upf.edu
Victor VianuProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Alin DeutschProfessor of Computer Science, University of California San DiegoVerified email at eng.ucsd.edu
Nir LipovetzkySenior Lecturer, The University of Melbourne, School of Computing and Information SystemsVerified email at unimelb.edu.au
Maurizio LenzeriniProfessor of Computer Science, Università di Roma La SapienzaVerified email at diag.uniroma1.it
Ronen BrafmanDepartment of Computer Science, Ben-Gurion UniversityVerified email at cs.bgu.ac.il
Paolo FelliFree University of Bozen-BolzanoVerified email at unibz.it
Andrey RivkinResearcher, Free University of Bozen-BolzanoVerified email at inf.unibz.it

Fabio Patrizi

Associate Professor, DIAG - Sapienza University of Rome

Verified email at dis.uniroma1.it - Homepage

Artificial Intelligence Verification & Synthesis Service Oriented Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	289	2009
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	106	2008
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	98	2008
An Abstraction Technique for the Verification of Artifact-Centric Systems. F Belardinelli, A Lomuscio, F Patrizi KR, 2012	75	2012
Automatic behavior composition synthesis G De Giacomo, F Patrizi, S Sardina Artificial Intelligence 196, 106-142, 2013	71	2013
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	57	2012
Verification of agent-based artifact systems F Belardinelli, A Lomuscio, F Patrizi Journal of Artificial Intelligence Research 51, 333-376, 2014	53	2014
Bounded Situation Calculus Action Theories and Decidable Verification. G De Giacomo, Y Lespérance, F Patrizi CogRob@ AAAI, 2012	52	2012
Verification of deployed artifact systems via data abstraction F Belardinelli, A Lomuscio, F Patrizi International Conference on Service-Oriented Computing, 142-156, 2011	51	2011
Behavior Composition in the Presence of Failure. S Sardina, F Patrizi, G De Giacomo KR, 640-650, 2008	42	2008
Computing infinite plans for LTL goals using a classical planner F Patrizini, N Lipovetzky, G Giacomo, H Geffner Proceedings of the Twenty-Second International Joint Conference on …, 2011	40	2011
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	39	2013
LTLf/LDLf non-markovian rewards R Brafman, G De Giacomo, F Patrizi Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	34	2018
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	31	2006
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment G De Giacomo, FM Maggi, A Marrella, F Patrizi Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	30	2017
Evaluating ASP and commercial solvers on the CSPLib T Mancini, D Micaletto, F Patrizi, M Cadoli Constraints 13 (4), 407-436, 2008	30	2008
Two-player game structures for generalized planning and agent composition G De Giacomo, P Felli, F Patrizi, S Sardina Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 2010	29	2010
Automatic synthesis of a global behavior from multiple distributed behaviors S Sardina, F Patrizi, G De Giacomo AAAI, 1063-1069, 2007	27	2007
Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specifications G De Giacomo, L Iocchi, M Favorito, F Patrizi Proceedings of the International Conference on Automated Planning and …, 2019	23*	2019
Agent planning programs G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina Artificial Intelligence 231, 64-106, 2016	21	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors