Maria Paola Bonacina

Cited by

	All	Since 2018
Citations	1811	414
h-index	22	12
i10-index	49	15

120

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 22 3 11 31 24 30 36 40 50 33 54 26 26 22 50 53 90 72 98 81 65 60 116 50 69 46 98 119 64 55 51 91 34

Public access

View all

7 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 Koblenz-LandauVerified email at uni-koblenz.de
Aditya SehgalParity Computing Inc.Verified email at acm.org
Michael RusinowitchINRIAVerified email at loria.fr
Sarah Winklerpostdoctoral researcher, Free University BolzanoVerified email at unibz.it
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
Alberto Martelliprofessore di informatica Università di TorinoVerified email at unito.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

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	304	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	71	2006
A taxonomy of parallel strategies for deduction MP Bonacina Annals of Mathematics and Artificial Intelligence 29, 223-257, 2000	63	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	54	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	47	1995
Parallelization of deduction strategies: an analytical study MP Bonacina, J Hsiang Journal of Automated Reasoning 13 (1), 1-33, 1994	47	1994
Abstract canonical inference MP Bonacina, N Dershowitz ACM Transactions on Computational Logic (TOCL) 8 (1), 180-208, 2007	43	2007
A taxonomy of theorem-proving strategies MP Bonacina Artificial Intelligence Today - Recent Trends and Developments 1600, 43-84, 1999	39	1999
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
On Variable-inactivity and Polynomial -Satisfiability Procedures MP Bonacina, M Echenim Journal of Logic and Computation 18 (1), 77-96, 2008	37	2008
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	34	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	31*	2009
Satisfiability Modulo Theories and Assignments MP Bonacina, S Graham-Lengrand, N Shankar Proceedings of the Twenty-Sixth Conference on Automated Deduction (CADE …, 2017	30	2017
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	28	1994
On interpolation in automated theorem proving MP Bonacina, M Johansson Journal of Automated Reasoning 54 (1), 69-97, 2015	27	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

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