The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Veroff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul Helman, Robert Veroff
    Designing Deductive Databases. [Citation Graph (2, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:1, pp:29-68 [Journal]
  2. Larry Wos, Robert Veroff, B. Smith, William McCune
    The Linked Inference Principle, II: The User's Viewpoint. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:316-332 [Conf]
  3. Robert Veroff, Lawrence J. Henschen
    Application of Automatic Transformations to Program Verification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:472-479 [Conf]
  4. Larry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen
    A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1984, v:22, n:3, pp:303-356 [Journal]
  5. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  6. Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff
    Understanding Integrated Circuits. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 1999, v:16, n:2, pp:26-37 [Journal]
  7. William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
    Short Single Axioms for Boolean Algebra. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:1, pp:1-16 [Journal]
  8. Robert Veroff
    Finding Shortest Proofs: An Application of Linked Inference Rules. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:2, pp:123-139 [Journal]
  9. Robert Veroff
    Solving Open Questions and Other Challenge Problems Using Proof Sketches. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:2, pp:157-174 [Journal]
  10. Robert Veroff
    A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:1, pp:1-9 [Journal]
  11. Robert Veroff
    The Linked Inference Principle, I: The Formal Treatment. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:2, pp:213-274 [Journal]
  12. Robert Veroff
    Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:16, n:3, pp:223-239 [Journal]
  13. Robert Veroff, M. Spinks
    Axiomatizing the Skew Boolean Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:3-20 [Journal]
  14. Paul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman
    A Bayesian Network Classification Methodology for Gene Expression Data. [Citation Graph (0, 0)][DBLP]
    Journal of Computational Biology, 2004, v:11, n:4, pp:581-615 [Journal]
  15. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:195-234 [Journal]

Search in 0.211secs, Finished in 0.212secs
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