Fabio Patrizi - Google Scholar

Cited by

	All	Since 2015
Citations	1557	826
h-index	20	16
i10-index	39	27

200

100

150

2006200720082009201020112012201320142015201620172018201920208 7 26 68 78 104 112 166 153 166 199 111 137 141 70

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 MecellaAssociate professor 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
Maurizio LenzeriniProfessor of Computer Science, Università di Roma La SapienzaVerified email at diag.uniroma1.it
Nir LipovetzkySenior Lecturer, The University of Melbourne, School of Computing and Information SystemsVerified email at unimelb.edu.au
Andrey RivkinResearcher, Free University of Bozen-BolzanoVerified email at inf.unibz.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

Fabio Patrizi

Senior Researcher, 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	281	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	102	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	94	2008
An Abstraction Technique for the Verification of Artifact-Centric Systems. F Belardinelli, A Lomuscio, F Patrizi KR, 2012	77	2012
Automatic behavior composition synthesis G De Giacomo, F Patrizi, S Sardina Artificial Intelligence 196, 106-142, 2013	70	2013
Bounded Situation Calculus Action Theories and Decidable Verification. G De Giacomo, Y Lespérance, F Patrizi CogRob@ AAAI, 2012	52	2012
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	51	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
Verification of agent-based artifact systems F Belardinelli, A Lomuscio, F Patrizi Journal of Artificial Intelligence Research 51, 333-376, 2014	50	2014
Behavior Composition in the Presence of Failure. S Sardina, F Patrizi, G De Giacomo KR, 640-650, 2008	43	2008
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	38	2013
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	36	2011
LTLf/LDLf Non-Markovian Rewards. RI Brafman, G De Giacomo, F Patrizi AAAI, 1771-1778, 2018	32	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
Two-player game structures for generalized planning and agent composition G De Giacomo, P Felli, F Patrizi, S Sardina AAAI Press, 2010	29	2010
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. G De Giacomo, FM Maggi, A Marrella, F Patrizi AAAI 17, 3555-3561, 2017	27	2017
Automatic synthesis of a global behavior from multiple distributed behaviors S Sardina, F Patrizi, G De Giacomo AAAI, 1063-1069, 2007	27	2007
Evaluating ASP and commercial solvers on the CSPLib T Mancini, D Micaletto, F Patrizi, M Cadoli Constraints 13 (4), 407-436, 2008	24	2008
Agent programming via planning programs. G De Giacomo, F Patrizi, S Sardina AAMAS, 491-498, 2010	22	2010
Simulation-based techniques for automated service composition F Patrizi PhD thesis, SAPIENZA–Universita di Roma, Dipartimento di Informatica e …, 2009	21	2009

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