Robert Veroff

795 total citations
31 papers, 394 citations indexed

About

Robert Veroff is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology. According to data from OpenAlex, Robert Veroff has authored 31 papers receiving a total of 394 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 3 papers in Molecular Biology. Recurrent topics in Robert Veroff's work include Logic, Reasoning, and Knowledge (15 papers), Advanced Algebra and Logic (12 papers) and Logic, programming, and type systems (11 papers). Robert Veroff is often cited by papers focused on Logic, Reasoning, and Knowledge (15 papers), Advanced Algebra and Logic (12 papers) and Logic, programming, and type systems (11 papers). Robert Veroff collaborates with scholars based in United States, Italy and Switzerland. Robert Veroff's co-authors include Paul Helman, Susan R. Atlas, Cheryl L. Willman, Lawrence J. Henschen, Larry Wos, S. Winker, Brian T. Smith, L. Wos, William McCune and Kenneth D. Harris and has published in prestigious journals such as Blood, Artificial Intelligence and Computers in Biology and Medicine.

In The Last Decade

Robert Veroff

29 papers receiving 368 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Robert Veroff United States	13	231	204	44	33	27	31	394
Robert W. Ritchie United States	10	210 0.9×	286 1.4×	36 0.8×	6 0.2×	17 0.6×	25	421
Valeria de Paiva United States	16	690 3.0×	237 1.2×	21 0.5×	15 0.5×	39 1.4×	78	757
Aarne Ranta Sweden	13	930 4.0×	299 1.5×	31 0.7×	7 0.2×	36 1.3×	75	1.0k
Matthias Jantzen Germany	11	222 1.0×	311 1.5×	121 2.8×	7 0.2×	32 1.2×	22	400
Daniel M. Davenport United States	4	178 0.8×	80 0.4×	9 0.2×	12 0.4×	48 1.8×	8	260
Christoph Benzmüller Germany	13	573 2.5×	259 1.3×	7 0.2×	6 0.2×	41 1.5×	126	621
Saul Gorn United States	11	101 0.4×	90 0.4×	15 0.3×	8 0.2×	20 0.7×	40	250
Christos Giatsidis France	8	159 0.7×	54 0.3×	37 0.8×	5 0.2×	108 4.0×	11	363
Dan Vilenchik Israel	9	74 0.3×	74 0.4×	19 0.4×	10 0.3×	56 2.1×	46	250
Matjaž Zaveršnik Slovenia	3	98 0.4×	33 0.2×	27 0.6×	12 0.4×	76 2.8×	4	289

Countries citing papers authored by Robert Veroff

Since Specialization

Citations

This map shows the geographic impact of Robert Veroff's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Robert Veroff with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Robert Veroff more than expected).

Fields of papers citing papers by Robert Veroff

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Robert Veroff. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Robert Veroff. The network helps show where Robert Veroff may publish in the future.

Co-authorship network of co-authors of Robert Veroff

This figure shows the co-authorship network connecting the top 25 collaborators of Robert Veroff. A scholar is included among the top collaborators of Robert Veroff based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Robert Veroff. Robert Veroff is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Veroff, Robert. (2022). A Wos Challenge Met. Journal of Automated Reasoning. 66(4). 565–574. 1 indexed citations

Veroff, Robert, et al.. (2014). Discriminator logics (Research announcement). Zenodo (CERN European Organization for Nuclear Research). 11(2). 3 indexed citations

Paoli, Francesco, et al.. (2008). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis. 2(2). 209–233. 13 indexed citations

Veroff, Robert, et al.. (2008). Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica. 88(3). 325–348. 37 indexed citations

Padmanabhan, R., William McCune, & Robert Veroff. (2007). Lattice laws forcing distributivity under unique complementation.. Houston journal of mathematics. 33(2). 391–401. 1 indexed citations

Veroff, Robert, et al.. (2007). Characterisations of Nelson algebras. Revista de la Unión Matemática Argentina. 48(1). 27–39. 3 indexed citations

Gilfeather, Frank, et al.. (2007). Learning and modeling biosignatures from tissue images. Computers in Biology and Medicine. 37(11). 1539–1552. 2 indexed citations

Veroff, Robert, et al.. (2006). Axiomatizing the Skew Boolean Propositional Calculus. Journal of Automated Reasoning. 37(1-2). 3–20. 12 indexed citations

Willman, Cheryl L., Huining Kang, Jeffrey Potter, et al.. (2005). A Gene Expression Classifier for Improved Risk Classification and Outcome Prediction in Pediatric Acute Lymphoblastic Leukemia (ALL).. Blood. 106(11). 762–762. 3 indexed citations

10.

Helman, Paul, Robert Veroff, Susan R. Atlas, & Cheryl L. Willman. (2004). A Bayesian Network Classification Methodology for Gene Expression Data. Journal of Computational Biology. 11(4). 581–615. 52 indexed citations

11.

Veroff, Robert, R. Padmanabhan, & William McCune. (2003). Yet another single law for lattices. Algebra Universalis. 50(2). 165–169. 4 indexed citations

12.

McCune, William, et al.. (2002). Short Single Axioms for Boolean Algebra. Journal of Automated Reasoning. 29(1). 1–16. 44 indexed citations

13.

Helman, Paul, et al.. (1992). Data Structures and Problem Solving With Turbo Pascal: Walls and Mirrors. 16(1). 191–203. 1 indexed citations

14.

Veroff, Robert & Larry Wos. (1992). The linked inference principle, I: The formal treatment. Journal of Automated Reasoning. 8(2). 8 indexed citations

15.

Helman, Paul & Robert Veroff. (1988). Walls and Mirrors; Intermediate Problem Solving and Data Structures.

16.

Helman, Paul & Robert Veroff. (1988). Intermediate problem solving and data structures. 8 indexed citations

17.

Helman, Paul, et al.. (1986). Intermediate Problem-Solving and Data Structures: Walls and Mirrors. Medical Entomology and Zoology. 11 indexed citations

18.

Wos, L., S. Winker, Brian T. Smith, Robert Veroff, & Lawrence J. Henschen. (1984). A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains. Artificial Intelligence. 22(3). 303–356. 17 indexed citations

19.

Henschen, Lawrence J., Brian T. Smith, Robert Veroff, S. Winker, & L. Wos. (1983). Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.. Notre Dame Journal of Formal Logic. 24(2). 41 indexed citations

20.

Veroff, Robert & Lawrence J. Henschen. (1981). Application of automatic transformations to program verification. International Joint Conference on Artificial Intelligence. 472–479. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact