Maria Paola Bonacina

Cited by

	All	Since 2020
Citations	1917	316
h-index	23	10
i10-index	52	10

160

120

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 16 9 13 33 23 37 44 53 41 32 51 24 26 24 49 52 85 71 102 81 67 61 120 51 71 43 70 144 64 51 58 94 77 33 3

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jieh HsiangNational Taiwan UniversityVerified email at ntu.edu.tw
Silvio RaniseFBKVerified email at fbk.eu
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
David PlaistedVerified email at cs.unc.edu
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Ulrich FurbachProf of Computer Science, Univ. KoblenzVerified email at furbach.de
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Viorica Sofronie-StokkermansProfessor, University of KoblenzVerified email at uni-koblenz.de
Aditya SehgalParity Computing Inc.Verified email at acm.org
Michael RusinowitchINRIAVerified email at loria.fr
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Sarah Winklerpostdoctoral researcher, Free University BolzanoVerified email at unibz.it
Michael KinyonProfessor of Mathematics, University of DenverVerified email at du.edu
Michael BeesonProfessor Emeritus of Mathematics and Computer Science, San Jose State UniversityVerified email at sjsu.edu
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu

Maria Paola Bonacina

Professor of Computer Science, Università degli Studi di Verona

Verified email at univr.it - Homepage

Artificial Intelligence and Computational Logic: Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	320	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	127	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	57	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	43	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

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

Follow

Cited by

Co-authors