Robert Veroff

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 2

Top Topics

Automated Deduction

Problems Involving

Geometric Reasoning

Theorem Proving

Top Venues

Automated Reasoning and Mathematics

J. Autom. Reason.

Publications

Robert Veroff
A Wos Challenge Met. J. Autom. Reason. 66 (4) (2022)
Stepan Holub, Robert Veroff
Formalizing a Fragment of Combinatorics on Words. CiE (2017)
Josef Urban, Robert Veroff
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. IWIL@LPAR (2015)
Ranganathan Padmanabhan, Robert Veroff
A Geometric Procedure with Prover9. Automated Reasoning and Mathematics (2013)
Michael K. Kinyon, Robert Veroff, Petr Vojtechovský
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. Automated Reasoning and Mathematics (2013)
Matthew Spinks, Robert Veroff
Constructive Logic with Strong Negation is a Substructural Logic. I. Stud Logica 88 (3) (2008)
Francesco Paoli, Matthew Spinks, Robert Veroff
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2 (2) (2008)
Matthew Spinks, Robert Veroff
Constructive Logic with Strong Negation is a Substructural Logic. II. Stud Logica 89 (3) (2008)
Frank Gilfeather, Vikas Hamine, Paul Helman, Julie Hutt, Terry Loring, C. Rick Lyons, Robert Veroff
Learning and modeling biosignatures from tissue images. Comput. Biol. Medicine 37 (11) (2007)
Robert Veroff, Matthew Spinks
Axiomatizing the Skew Boolean Propositional Calculus. J. Autom. Reason. 37 (1-2) (2006)
Michael Beeson, Robert Veroff, Larry Wos
Double-Negation Elimination in Some Propositional Logics. Stud Logica 80 (2-3) (2005)
Paul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman
A Bayesian Network Classification Methodology for Gene Expression Data. J. Comput. Biol. 11 (4) (2004)
Robert Veroff
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. J. Autom. Reason. 31 (1) (2003)
Michael Beeson, Robert Veroff, Larry Wos
Double-Negation Elimination in Some Propositional Logics CoRR (2003)
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
Short Single Axioms for Boolean Algebra. J. Autom. Reason. 29 (1) (2002)
Robert Veroff
Solving Open Questions and Other Challenge Problems Using Proof Sketches. J. Autom. Reason. 27 (2) (2001)
Robert Veroff
Finding Shortest Proofs: An Application of Linked Inference Rules. J. Autom. Reason. 27 (2) (2001)
Paul Helman, Robert Veroff
The application of automated reasoning to formal models of combinatorial optimization. Appl. Math. Comput. 120 (1-3) (2001)
Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff
Understanding Integrated Circuits. IEEE Des. Test Comput. 16 (2) (1999)
Robert Veroff
Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. J. Autom. Reason. 16 (3) (1996)
Robert Veroff
The Linked Inference Principle, I: The Formal Treatment. J. Autom. Reason. 8 (2) (1992)
Paul Helman, Robert Veroff
Designing Deductive Databases. J. Autom. Reason. 4 (1) (1988)
Larry Wos, Robert Veroff, Barry Smith, William McCune
The Linked Inference Principle, II: The User's Viewpoint. CADE (1984)
Larry Wos, Steve Winker, Barry 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. Artif. Intell. 22 (3) (1984)
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24 (2) (1983)
Robert Veroff, Lawrence J. Henschen
Application of Automatic Transformations to Program Verification. IJCAI (1981)