Maria Paola Bonacina 个人学术档案

引用次数

	总计	2019 年至今
引用	1901	370
h 指数	23	11
i10 指数	51	14

160

120

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 16 9 13 33 23 37 44 53 42 32 51 24 26 24 49 52 85 71 102 81 67 61 118 51 71 41 70 142 64 51 58 94 77 26

开放获取的出版物数量

查看全部

9 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Jieh HsiangNational Taiwan University在 ntu.edu.tw 的电子邮件经过验证
Silvio RaniseFBK在 fbk.eu 的电子邮件经过验证
Stephan SchulzProfessor of Computer Science, DHBW Stuttgart在 eprover.org 的电子邮件经过验证
Alessandro ArmandoUniversity of Genova在 unige.it 的电子邮件经过验证
Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的电子邮件经过验证
David Plaisted在 cs.unc.edu 的电子邮件经过验证
Moa JohanssonAssociate Professor (Docent), Chalmers University在 chalmers.se 的电子邮件经过验证
Christopher LynchClarkson University在 clarkson.edu 的电子邮件经过验证
Leonardo de MouraAmazon Web Services在 amazon.com 的电子邮件经过验证
Ulrich FurbachProf of Computer Science, Univ. Koblenz在 furbach.de 的电子邮件经过验证
silvio ghilardiUniversità degli Studi di Milano在 unimi.it 的电子邮件经过验证
Viorica Sofronie-StokkermansProfessor, University of Koblenz在 uni-koblenz.de 的电子邮件经过验证
Aditya SehgalParity Computing Inc.在 acm.org 的电子邮件经过验证
Michael RusinowitchINRIA在 loria.fr 的电子邮件经过验证
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, France在 loria.fr 的电子邮件经过验证
Cesare TinelliProfessor of Computer Science, The University of Iowa在 uiowa.edu 的电子邮件经过验证
Sarah Winklerpostdoctoral researcher, Free University Bolzano在 unibz.it 的电子邮件经过验证
Michael KinyonProfessor of Mathematics, University of Denver在 du.edu 的电子邮件经过验证
Michael BeesonProfessor Emeritus of Mathematics and Computer Science, San Jose State University在 sjsu.edu 的电子邮件经过验证
Geoff SutcliffeDepartment of Computer Science, University of Miami在 cs.miami.edu 的电子邮件经过验证

关注

Maria Paola Bonacina

Professor of Computer Science, Università degli Studi di Verona

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

Artificial Intelligence and Computational Logic: Automated Reasoning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
PSATO: a distributed propositional prover and its application to quasigroup problems H Zhang, MP Bonacina, J Hsiang Journal of Symbolic Computation 21 (4,5&6), 543-560, 1996	315	1996
New results on rewrite-based satisfiability procedures A Armando, MP Bonacina, S Ranise, S Schulz ACM Transactions on Computational Logic (TOCL) 10 (1), 129-179, 2009	126	2009
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures MP Bonacina, S Ghilardi, E Nicolini, S Ranise, D Zucchelli Proceedings of the Third International Conference on Automated Reasoning …, 2006	72	2006
A taxonomy of parallel strategies for deduction MP Bonacina Annals of Mathematics and Artificial Intelligence 29, 223-257, 2000	62	2000
On deciding satisfiability by theorem proving with speculative inferences MP Bonacina, CA Lynch, L De Moura Journal of Automated Reasoning 47 (2), 161-189, 2011	56	2011
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal A Armando, MP Bonacina, S Ranise, S Schulz Proceedings of the Fifth International Workshop on Frontiers of Combining …, 2005	50	2005
Towards a foundation of completion procedures as semidecision procedures MP Bonacina, J Hsiang Theoretical Computer Science 146 (1-2), 199-242, 1995	49	1995
Parallelization of deduction strategies: an analytical study MP Bonacina, J Hsiang Journal of Automated Reasoning 13 (1), 1-33, 1994	48	1994
Abstract canonical inference MP Bonacina, N Dershowitz ACM Transactions on Computational Logic (TOCL) 8 (1), 180-208, 2007	46	2007
A taxonomy of theorem-proving strategies MP Bonacina Artificial Intelligence Today - Recent Trends and Developments 1600, 43-84, 1999	42	1999
On Variable-inactivity and Polynomial -Satisfiability Procedures MP Bonacina, M Echenim Journal of Logic and Computation 18 (1), 77-96, 2008	39	2008
On rewrite programs: semantics and relationship with Prolog MP Bonacina, J Hsiang The Journal of Logic Programming 14 (1&2), 155-180, 1992	39	1992
The Clause-Diffusion methodology for distributed deduction MP Bonacina, J Hsiang Fundamenta Informaticae 24 (1), 177-207, 1995	35	1995
Satisfiability Modulo Theories and Assignments MP Bonacina, S Graham-Lengrand, N Shankar Proceedings of the Twenty-Sixth Conference on Automated Deduction (CADE …, 2017	33	2017
Theory decision by decomposition MP Bonacina, M Echenim Journal of Symbolic Computation 45 (2), 229-260, 2010	33	2010
On Deciding Satisfiability by DPLL (Gamma+T) and Unsound Theorem Proving MP Bonacina, C Lynch, L De Moura Proceedings of the Twenty-Second International Conference on Automated …, 2009	33*	2009
Distributed theorem proving by Peers MP Bonacina, WW McCune Proceedings of the Twelfth International Conference on Automated Deduction …, 1994	31	1994
Distributed automated deduction MP Bonacina State University of New York at Stony Brook, 1992	31	1992
On interpolation in automated theorem proving MP Bonacina, M Johansson Journal of Automated Reasoning 54 (1), 69-97, 2015	29	2015
On the modelling of search in theorem proving—towards a theory of strategy analysis MP Bonacina, J Hsiang Information and Computation 147 (1), 171-208, 1998	27	1998

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用