Robert Veroff

According to our database, Robert Veroff authored at least 27 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Wos Challenge Met.

Robert Veroff

J. Autom. Reason., 2022

2017

Formalizing a Fragment of Combinatorics on Words.

Stepan Holub, Robert Veroff

Proceedings of the Unveiling Dynamics and Complexity, 2017

2015

Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry.

Josef Urban, Robert Veroff

Proceedings of the IWIL@LPAR 2015, 2015

2013

A Geometric Procedure with Prover9.

Ranganathan Padmanabhan, Robert Veroff

Proceedings of the Automated Reasoning and Mathematics, 2013

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.

Michael K. Kinyon, Robert Veroff, Petr Vojtechovský

Proceedings of the Automated Reasoning and Mathematics, 2013

2008

Constructive Logic with Strong Negation is a Substructural Logic. II.

Matthew Spinks, Robert Veroff

Stud Logica, 2008

Constructive Logic with Strong Negation is a Substructural Logic. I.

Matthew Spinks, Robert Veroff

Stud Logica, 2008

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.

Francesco Paoli, Matthew Spinks, Robert Veroff

Logica Universalis, 2008

2007

Learning and modeling biosignatures from tissue images.

Frank Gilfeather, Vikas Hamine, Paul Helman, Julie Hutt, Terry Loring, C. Rick Lyons, Robert Veroff

Comput. Biol. Medicine, 2007

2006

Axiomatizing the Skew Boolean Propositional Calculus.

Robert Veroff, Matthew Spinks

J. Autom. Reason., 2006

2005

Double-Negation Elimination in Some Propositional Logics.

Michael Beeson, Robert Veroff, Larry Wos

Stud Logica, 2005

2004

A Bayesian Network Classification Methodology for Gene Expression Data.

Paul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman

J. Comput. Biol., 2004

2003

A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke.

Robert Veroff

J. Autom. Reason., 2003

2002

Short Single Axioms for Boolean Algebra.

William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos

J. Autom. Reason., 2002

2001

Solving Open Questions and Other Challenge Problems Using Proof Sketches.

Robert Veroff

J. Autom. Reason., 2001

Finding Shortest Proofs: An Application of Linked Inference Rules.

Robert Veroff

J. Autom. Reason., 2001

The application of automated reasoning to formal models of combinatorial optimization.

Paul Helman, Robert Veroff

Appl. Math. Comput., 2001

1999

Understanding Integrated Circuits.

Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff

IEEE Des. Test Comput., 1999

1996

Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies.

Robert Veroff

J. Autom. Reason., 1996

1994

Logical basis for the automation of reasoning: Case studies.

Larry Wos, Robert Veroff

Proceedings of the Handbook of Logic in Artificial Intelligence and Logic Programming, 1994

1992

The Linked Inference Principle, I: The Formal Treatment.

Robert Veroff

J. Autom. Reason., 1992

1991

Intermediate problem solving and data structures - walls and mirrors (2. ed.).

Paul Helman, Robert Veroff, Frank R. Carrano

Benjamin/Cummings series in computer science, Benjamin/Cummings, ISBN: 978-0-8053-0321-6, 1991

1988

Designing Deductive Databases.

Paul Helman, Robert Veroff

J. Autom. Reason., 1988

1984

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.

Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen

Artif. Intell., 1984

The Linked Inference Principle, II: The User's Viewpoint.

Larry Wos, Robert Veroff, Barry Smith, William McCune

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos

Notre Dame J. Formal Log., 1983

1981

Application of Automatic Transformations to Program Verification.

Robert Veroff, Lawrence J. Henschen

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981