Maria Paola Bonacina

Cited by

	All	Since 2017
Citations	1763	466
h-index	22	11
i10-index	48	14

120

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202215 16 3 13 31 25 33 41 47 56 28 44 24 24 26 46 49 83 69 101 81 65 60 117 53 68 50 116 97 67 52 61 72

Public access

View all

6 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
David PlaistedVerified email at cs.unc.edu
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Ulrich FurbachProf of Computer Science, Univ. KoblenzVerified email at furbach.de
Aditya SehgalParity Computing Inc.Verified email at acm.org
Michael RusinowitchINRIAVerified email at loria.fr
Viorica Sofronie-StokkermansProfessor, University Koblenz-LandauVerified email at uni-koblenz.de
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
Alberto Martelliprofessore di informatica Università di TorinoVerified email at unito.it
Giulio MazziUniversità degli Studi di VeronaVerified email at univr.it
Michael KinyonProfessor of Mathematics, University of DenverVerified email at du.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	293	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	70	2006
A taxonomy of parallel strategies for deduction MP Bonacina Annals of Mathematics and Artificial Intelligence 29 (1), 223-257, 2000	61	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	52	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	51	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	43	1994
Abstract canonical inference MP Bonacina, N Dershowitz ACM Transactions on Computational Logic (TOCL) 8 (1), 180-208, 2007	42	2007
On rewrite programs: semantics and relationship with Prolog MP Bonacina, J Hsiang The Journal of Logic Programming 14 (1&2), 155-180, 1992	38	1992
On Variable-inactivity and Polynomial -Satisfiability Procedures MP Bonacina, M Echenim Journal of Logic and Computation 18 (1), 77-96, 2008	37	2008
A taxonomy of theorem-proving strategies MP Bonacina Artificial Intelligence Today - Recent Trends and Developments 1600, 43-84, 1999	36	1999
Theory decision by decomposition MP Bonacina, M Echenim Journal of Symbolic Computation 45 (2), 229-260, 2010	35	2010
The Clause-Diffusion methodology for distributed deduction MP Bonacina, J Hsiang Fundamenta Informaticae 24 (1), 177-207, 1995	35	1995
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	29*	2009
Distributed automated deduction MP Bonacina State University of New York at Stony Brook, 1992	29	1992
Distributed theorem proving by Peers MP Bonacina, WW McCune Proceedings of the Twelfth International Conference on Automated Deduction …, 1994	27	1994
On interpolation in automated theorem proving MP Bonacina, M Johansson Journal of Automated Reasoning 54 (1), 69-97, 2015	25	2015
Rewrite-based satisfiability procedures for recursive data structures MP Bonacina, M Echenim Electronic Notes in Theoretical Computer Science 174 (8), 55-70, 2007	25	2007
Satisfiability Modulo Theories and Assignments MP Bonacina, S Graham-Lengrand, N Shankar Proceedings of the Twenty-Sixth Conference on Automated Deduction (CADE …, 2017	24	2017

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 this author

Cited by

Co-authors