Fabio Patrizi 个人学术档案

引用次数

	总计	2019 年至今
引用	2281	914
h 指数	24	16
i10 指数	51	27

240

120

180

20062007200820092010201120122013201420152016201720182019202020212022202320248 7 26 66 74 105 114 173 158 172 198 105 137 132 122 115 216 240 89

开放获取的出版物数量

查看全部

33 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di Roma在 diag.uniroma1.it 的电子邮件经过验证
Marco MontaliFull Professor, Free University of Bozen-Bolzano在 inf.unibz.it 的电子邮件经过验证
Luca IocchiFull Professor - Sapienza University of Rome, Italy在 diag.uniroma1.it 的电子邮件经过验证
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.在 unibz.it 的电子邮件经过验证
Sebastian SardiñaProfessor at School of Computing Technologies, RMIT University在 rmit.edu.au 的电子邮件经过验证
Alessio R LomuscioImperial College London在 imperial.ac.uk 的电子邮件经过验证
Fabrizio MaggiAssociate Professor, Free University of Bozen-Bolzano在 ut.ee 的电子邮件经过验证
Massimo MecellaProfessor in Engineering in Computer Science, Sapienza Università di Roma, Italy在 dis.uniroma1.it 的电子邮件经过验证
Francesco BelardinelliImperial College London在 imperial.ac.uk 的电子邮件经过验证
Yves LesperanceProfessor, Dept. of Electrical Engineering and Computer Science, York University在 eecs.yorku.ca 的电子邮件经过验证
Richard HullVisiting Scholar, University of California, Davis在 ucdavis.edu 的电子邮件经过验证
Andrea MarrellaAssociate Professor at Sapienza Università di Roma, Italy在 diag.uniroma1.it 的电子邮件经过验证
Toni ManciniComputer Science Department, Sapienza University of Rome, Italy在 di.uniroma1.it 的电子邮件经过验证
Paolo FelliUniversity of Bologna在 unibo.it 的电子邮件经过验证
Andrey RivkinAssistant professor (tenure track), Technical University of Denmark在 dtu.dk 的电子邮件经过验证
Stavros VassosHelvia.io在 helvia.io 的电子邮件经过验证
Hector GeffnerRWTH Aachen University在 upf.edu 的电子邮件经过验证
Ronen BrafmanDepartment of Computer Science, Ben-Gurion University在 cs.bgu.ac.il 的电子邮件经过验证
Nir LipovetzkyAssociate Professor, The University of Melbourne, School of Computing and Information Systems在 unimelb.edu.au 的电子邮件经过验证
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of Rome在 diag.uniroma1.it 的电子邮件经过验证

关注

Fabio Patrizi

Associate Professor, DIAG - Sapienza University of Rome

在 dis.uniroma1.it 的电子邮件经过验证 - 首页

Artificial Intelligence Verification & Synthesis Service Oriented Computing


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	312	2009
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	130	2019
LTLf/LDLf non-markovian rewards R Brafman, G De Giacomo, F Patrizi Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018	111	2018
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	110	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	105	2008
Automatic behavior composition synthesis G De Giacomo, F Patrizi, S Sardina Artificial Intelligence 196, 106-142, 2013	87	2013
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	81	2012
Verification of agent-based artifact systems F Belardinelli, A Lomuscio, F Patrizi Journal of Artificial Intelligence Research 51, 333-376, 2014	63	2014
Verification of GSM-based artifact-centric systems through finite abstraction F Belardinelli, A Lomuscio, F Patrizi Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012	62	2012
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	62	2011
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	58	2017
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	57	2012
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	55	2013
Verification of deployed artifact systems via data abstraction F Belardinelli, A Lomuscio, F Patrizi Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011	53	2011
Bounded situation calculus action theories G De Giacomo, Y Lespérance, F Patrizi Artificial Intelligence 237, 172-203, 2016	46	2016
First-order μ-calculus over generic transition systems and applications to the situation calculus D Calvanese, G De Giacomo, M Montali, F Patrizi Information and Computation 259, 328-347, 2018	45	2018
Behavior Composition in the Presence of Failure. S Sardina, F Patrizi, G De Giacomo KR, 640-650, 2008	45	2008
SAT as an effective solving technology for constraint problems M Cadoli, T Mancini, F Patrizi Foundations of Intelligent Systems: 16th International Symposium, ISMIS 2006 …, 2006	40	2006
Evaluating ASP and commercial solvers on the CSPLib T Mancini, D Micaletto, F Patrizi, M Cadoli Constraints 13, 407-436, 2008	38	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), 297-302, 2010	33	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用