Robert Veroff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1981–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CiE | Formalizing a Fragment of Combinatorics on Words. | Stepan Holub, Robert Veroff |
| 2015 | LPAR | Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. | Josef Urban, Robert Veroff |
| 1984 | CADE | The Linked Inference Principle, II: The User's Viewpoint. | Larry Wos, Robert Veroff, Barry Smith, William McCune |
| 1981 | IJCAI | Application of Automatic Transformations to Program Verification. | Robert Veroff, Lawrence J. Henschen |