Larry Wos

1.9k total citations
56 papers, 459 citations indexed

About

Larry Wos is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Larry Wos has authored 56 papers receiving a total of 459 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Artificial Intelligence, 29 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. Recurrent topics in Larry Wos's work include Logic, programming, and type systems (33 papers), Logic, Reasoning, and Knowledge (26 papers) and Advanced Algebra and Logic (10 papers). Larry Wos is often cited by papers focused on Logic, programming, and type systems (33 papers), Logic, Reasoning, and Knowledge (26 papers) and Advanced Algebra and Logic (10 papers). Larry Wos collaborates with scholars based in United States and Germany. Larry Wos's co-authors include William McCune, Branden Fitelson, Robert Veroff, Kenneth D. Harris, Ross Overbeek, Ewing Lusk, William W. McCune and Michael Beeson and has published in prestigious journals such as Communications of the ACM, American Mathematical Monthly and Theoretical Computer Science.

In The Last Decade

Larry Wos

49 papers receiving 407 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Larry Wos United States 10 334 232 72 38 26 56 459
J. I. Zucker Canada 12 383 1.1× 400 1.7× 67 0.9× 17 0.4× 27 1.0× 35 519
Marc Bezem Norway 10 400 1.2× 299 1.3× 44 0.6× 11 0.3× 33 1.3× 44 480
Thorsten Altenkirch United Kingdom 14 590 1.8× 361 1.6× 92 1.3× 54 1.4× 28 1.1× 51 633
Richard Statman United States 7 372 1.1× 300 1.3× 103 1.4× 34 0.9× 34 1.3× 29 492
Pierre Castéran France 2 432 1.3× 329 1.4× 96 1.3× 80 2.1× 10 0.4× 2 551
Lev D. Beklemishev Russia 11 462 1.4× 505 2.2× 22 0.3× 10 0.3× 166 6.4× 56 762
J. Donald Monk United States 10 279 0.8× 405 1.7× 30 0.4× 7 0.2× 142 5.5× 40 568
Tudor Jebelean Austria 11 279 0.8× 231 1.0× 42 0.6× 66 1.7× 11 0.4× 46 337
Mark E. Stickel United States 18 825 2.5× 422 1.8× 173 2.4× 58 1.5× 15 0.6× 37 932
Stuart F. Allen United States 6 552 1.7× 398 1.7× 84 1.2× 67 1.8× 5 0.2× 10 618

Countries citing papers authored by Larry Wos

Since Specialization
Citations

This map shows the geographic impact of Larry Wos'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 Larry Wos with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Larry Wos more than expected).

Fields of papers citing papers by Larry Wos

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Larry Wos. 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 Larry Wos. The network helps show where Larry Wos may publish in the future.

Co-authorship network of co-authors of Larry Wos

This figure shows the co-authorship network connecting the top 25 collaborators of Larry Wos. A scholar is included among the top collaborators of Larry Wos 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 Larry Wos. Larry Wos is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Wos, Larry. (2003). The Strategy of Cramming. Journal of Automated Reasoning. 30(2). 179–204. 1 indexed citations
2.
Wos, Larry, et al.. (2002). Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. Journal of Automated Reasoning. 29(2). 107–124. 5 indexed citations
3.
McCune, William, et al.. (2002). Short Single Axioms for Boolean Algebra. Journal of Automated Reasoning. 29(1). 1–16. 44 indexed citations
4.
Fitelson, Branden & Larry Wos. (2001). Missing Proofs Found. Journal of Automated Reasoning. 27(2). 201–225. 5 indexed citations
5.
Fitelson, Branden, et al.. (2001). A CONCISE AXIOMATIZATION OF RM. 2 indexed citations
6.
Wos, Larry, et al.. (2000). The Collected Works of Larry Wos. WORLD SCIENTIFIC eBooks. 6 indexed citations
7.
Wos, Larry. (2000). What is Automated Reasoning?. Journal of Automated Reasoning. 1(5). 583–588. 1 indexed citations
8.
Wos, Larry, et al.. (1999). A Fascinating Country in the World of Computing. WORLD SCIENTIFIC eBooks. 22 indexed citations
9.
Wos, Larry. (1998). Programs that offer fast, flawless, logical reasoning. Communications of the ACM. 41(6). 87–95. 6 indexed citations
10.
McCune, William & Larry Wos. (1997). Otter - The CADE-13 Competition Incarnations. Journal of Automated Reasoning. 18(2). 211–220. 51 indexed citations
11.
Wos, Larry. (1993). The problem of automated theorem finding. Journal of Automated Reasoning. 10(1). 137–138. 13 indexed citations
12.
Wos, Larry. (1993). The kernel strategy and its use for the study of combinatory logic. Journal of Automated Reasoning. 10(3). 287–343. 9 indexed citations
13.
Wos, Larry, et al.. (1992). Automated reasoning (2nd ed.): introduction and applications. McGraw-Hill, Inc. eBooks. 26 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.
Wos, Larry. (1992). The problem of demodulation during inference rule application. Journal of Automated Reasoning. 9(1). 1 indexed citations
16.
Wos, Larry & William McCune. (1991). Automated theorem proving and logic programming: a natural symbiosis. The Journal of Logic Programming. 11(1). 1–53. 3 indexed citations
17.
Wos, Larry. (1990). Meeting the challenge of fifty years of logic. Journal of Automated Reasoning. 6(2). 213–232. 9 indexed citations
18.
Wos, Larry. (1987). Some obstacles to the automation of reasoning, and the problem of redundant information. Journal of Automated Reasoning. 3(1). 81–90.
19.
Wos, Larry. (1987). The problem of extending the set of support strategy. Journal of Automated Reasoning. 3(3).
20.
Wos, Larry. (1983). International conference on foundations of computation theory. Theoretical Computer Science. 23(2). 227–230. 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

Breakdown of academic impact, for papers by J. I. Zucker Breakdown of academic impact, for papers by Marc Bezem Breakdown of academic impact, for papers by Thorsten Altenkirch Breakdown of academic impact, for papers by Richard Statman Breakdown of academic impact, for papers by Pierre Castéran Breakdown of academic impact, for papers by Lev D. Beklemishev Breakdown of academic impact, for papers by J. Donald Monk Breakdown of academic impact, for papers by Tudor Jebelean Breakdown of academic impact, for papers by Mark E. Stickel Breakdown of academic impact, for papers by Stuart F. Allen
Rankless by CCL
2026