Demo Data from VLDB 2026 / reviewers in the wild / expert
Robert Veroff
dblp:v/RobertVeroff
· DBLP profile ↗
13ranked-venue papers
8as first author
1since 2021 · last 2022
0000-0003-2421-1913ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 12 · 8 first-author · 1 since 2021Theory of computation · 2Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 50% Logic in computer science · 50% | |
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% |
Topics — the 2 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization › program transformation
automatic transformation |
0.0 | 1 | 1981 | Application of Automatic Transformations to Program Verification · IJCAI 1981 |
Compilers and program optimization
program transformation |
0.0 | 1 | 1981 | Application of Automatic Transformations to Program Verification · IJCAI 1981 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | A Wos Challenge Met
Robert Veroff |
J. Autom. Reason. | 1 |
| 2017 | Formalizing a Fragment of Combinatorics on Words
Stepan Holub, Robert Veroff |
CiE | 2 |
| 2006 | Axiomatizing the Skew Boolean Propositional Calculus
Robert Veroff, Matthew Spinks |
J. Autom. Reason. | 1 |
| 2003 | A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
Robert Veroff |
J. Autom. Reason. | 1 |
| 2002 | Short Single Axioms for Boolean Algebra
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos |
J. Autom. Reason. | 2 |
| 2001 | Finding Shortest Proofs: An Application of Linked Inference Rules
Robert Veroff |
J. Autom. Reason. | 1 |
| 2001 | Solving Open Questions and Other Challenge Problems Using Proof Sketches
Robert Veroff |
J. Autom. Reason. | 1 |
| 1996 | Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies
Robert Veroff |
J. Autom. Reason. | 1 |
| 1992 | The Linked Inference Principle, I: The Formal Treatment
Robert Veroff |
J. Autom. Reason. | 1 |
| 1988 | Designing Deductive Databases
Paul Helman, Robert Veroff |
J. Autom. Reason. | 2 |
| 1984 | The Linked Inference Principle, II: The User's Viewpoint
Larry Wos, Robert Veroff, Barry Smith 0002, William McCune |
CADE | 2 |
| 1984 | A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains
Larry Wos, Steven K. Winker, Barry Smith 0002, Robert Veroff, Lawrence J. Henschen |
Artif. Intell. | 4 |
| 1981 | Application of Automatic Transformations to Program Verification
Robert Veroff, Lawrence J. Henschen |
IJCAI | 1 |