The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maria Paola Bonacina: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maria Paola Bonacina
    Combination of Distributed Search and Multi-search in Peers-mcd.d. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:448-452 [Conf]
  2. Maria Paola Bonacina
    The Clause-Diffusion Theorem Prover Peers-mcd (System Description). [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:53-56 [Conf]
  3. Maria Paola Bonacina, William McCune
    Distributed Theorem Proving by Peers. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:841-845 [Conf]
  4. Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:513-527 [Conf]
  5. Siva Anantharaman, Maria Paola Bonacina
    An Application of Automated Equational Reasoning to Many-valued Logic. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:156-161 [Conf]
  6. Maria Paola Bonacina, Jieh Hsiang
    Completion Procedures as Semidecision Procedures. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:206-232 [Conf]
  7. Maria Paola Bonacina, Jieh Hsiang
    A System for Distributed Simplification-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:370- [Conf]
  8. Maria Paola Bonacina, Jieh Hsiang
    Distributed Deduction by Clause-Diffusion: The Aquarius Prover. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:272-287 [Conf]
  9. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
    On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:65-80 [Conf]
  10. Maria Paola Bonacina
    Analysis of Distributed-Search Contraction-Based Strategies. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:107-121 [Conf]
  11. Maria Paola Bonacina, Jieh Hsiang
    On Semantic Resolution with Lemmaizing and Contraction. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1996, pp:372-386 [Conf]
  12. Maria Paola Bonacina, Jieh Hsiang
    On Fairness of Completion-Based Theorem Proving Strategies. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:348-360 [Conf]
  13. Maria Paola Bonacina, Giancarlo Sanna
    KBlab: An Equational Theorem Prover for the Macintosh. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:548-550 [Conf]
  14. Maria Paola Bonacina, Jieh Hsiang
    Operational and Denotational Semantics of Rewrite Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:449-464 [Conf]
  15. Maria Paola Bonacina, Jieh Hsiang
    On Fairness in Distributed Automated Deduction. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:141-152 [Conf]
  16. Maria Paola Bonacina
    A taxonomy of parallel strategies for deduction. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:223-257 [Journal]
  17. Maria Paola Bonacina
    A model and a first analysis of distributed-search contraction-based strategies. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:149-199 [Journal]
  18. Maria Paola Bonacina, Nachum Dershowitz
    Abstract Canonical Inference [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  19. Maria Paola Bonacina, Thierry Boy de la Tour
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:1-3 [Journal]
  20. Maria Paola Bonacina, Jieh Hsiang
    The Clause-Diffusion Methodology for Distributed Deduction. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:24, n:1/2, pp:177-207 [Journal]
  21. Maria Paola Bonacina, Alberto Martelli
    Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2006, v:3, n:1-2, pp:14-20 [Journal]
  22. Maria Paola Bonacina, Jieh Hsiang
    On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:147, n:2, pp:171-208 [Journal]
  23. Maria Paola Bonacina, Jieh Hsiang
    Parallelization of Deduction Strategies: An Analytical Study. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:1, pp:1-33 [Journal]
  24. Maria Paola Bonacina, Jieh Hsiang
    A Category-Theoretic Treatment of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 1996, v:12, n:1, pp:101-125 [Journal]
  25. Maria Paola Bonacina, Jieh Hsiang
    On Rewrite Programs: Semantics and Relationship with Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:155-180 [Journal]
  26. Maria Paola Bonacina
    Towards a unified model of search in theorem-proving: subgoal-reduction strategies. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:2, pp:209-255 [Journal]
  27. Maria Paola Bonacina
    On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:507-522 [Journal]
  28. Maria Paola Bonacina, Jieh Hsiang
    Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:245-267 [Journal]
  29. Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
    PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:543-560 [Journal]
  30. Maria Paola Bonacina, Jieh Hsiang
    On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1998, v:16, n:2, pp:163-200 [Journal]
  31. Maria Paola Bonacina, Bernhard Gramlich
    Preface: STRATEGIES 2001. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
  32. Maria Paola Bonacina, Jieh Hsiang
    Towards a Foundation of Completion Procedures as Semidecision Procedures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:199-242 [Journal]
  33. Maria Paola Bonacina, Nachum Dershowitz
    Abstract canonical inference. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
  34. Maria Paola Bonacina, Mnacho Echenim
    T-Decision by Decomposition. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:199-214 [Conf]
  35. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
    New results on rewrite-based satisfiability procedures [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  36. Maria Paola Bonacina, Mnacho Echenim
    Rewrite-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:27-45 [Journal]
  37. Maria Paola Bonacina, Mnacho Echenim
    Rewrite-Based Satisfiability Procedures for Recursive Data Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:55-70 [Journal]

  38. Canonical Inference for Implicational Systems. [Citation Graph (, )][DBLP]


  39. On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving. [Citation Graph (, )][DBLP]


  40. On theorem proving for program checking: historical perspective and recent developments. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002