Dan Willard
#22,126
Most Influential Person Across History
American computer scientist
Dan Willard's AcademicInfluence.com Rankings
Download Badge
Computer Science
Dan Willard's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Dan Willard Influential?
(Suggest an Edit or Addition)According to Wikipedia, Dan Edward Willard was an American computer scientist and logician, and a professor of computer science at the University at Albany. Education and career Willard did his undergraduate studies in mathematics at Stony Brook University, graduating in 1970. He went on to graduate studies in mathematics at Harvard University, earning a master's degree in 1972 and a doctorate in 1978. After leaving Harvard, he worked at Bell Labs for four years before joining the Albany faculty in 1983.
Dan Willard's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Natural Selection of Parental Ability to Vary the Sex Ratio of Offspring (1973) (3617)
- Trans-dichotomous algorithms for minimum spanning trees and shortest paths (1990) (473)
- Surpassing the Information Theoretic Bound with Fusion Trees (1993) (451)
- Log-logarithmic worst-case range queries are possible in space ⊕(N) (1983) (244)
- Log-Logarithmic Selection Resolution Protocols in a Multiple Access Channel (1986) (193)
- Adding range restriction capability to dynamic data structures (1985) (183)
- Log-Logarithmic Worst-Case Range Queries are Possible in Space Theta(N) (1983) (173)
- New Data Structures for Orthogonal Range Queries (1985) (166)
- Polygon Retrieval (1982) (106)
- New Trie Data Structures Which Support Very Fast Search Operations (1984) (104)
- BLASTING through the information theoretic barrier with FUSION TREES (1990) (85)
- Examining Computational Geometry, Van Emde Boas Trees, and Hashing from the Perspective of the Fusion Tree (1999) (76)
- A Density Control Algorithm for Doing Insertions and Deletions in a Sequentially Ordered File in Good Worst-Case Time (1992) (65)
- Predicate-Oriented Database Search Algorithms (1978) (61)
- The Hunting Behavior and Success of Forster's Tern (1971) (48)
- New Data Structures for Orthogonal Queries. (1979) (45)
- Maintaining dense sequential files in a dynamic environment (Extended Abstract) (1982) (39)
- Good worst-case algorithms for inserting and deleting records in dense sequential files (1986) (38)
- Searching Unindexed and Nonuniformly Generated Files in log log N Time (1985) (38)
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (2002) (37)
- Applications of the fusion tree method to computational geometry and searching (1992) (35)
- A Data Structure for Dynamic Range Queries (1982) (34)
- Constricting Methods of Snakes (1977) (31)
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles (2001) (30)
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (2005) (27)
- A generalization of the Second Incompleteness Theorem and some exceptions to it (2006) (26)
- Self-Verifying Axiom Systems (1993) (23)
- Log-logarithmic protocols for resolving ethernet and semaphore conflicts (1984) (22)
- The Super-B-Tree Algorithm. (1979) (22)
- On the application of sheared retrieval to orthogonal range queries (1986) (21)
- Efficient processing of relational calculus expressions using range query theory (1984) (21)
- Applications of Range Query Theory to Relational Data Base Join and Selection Operations (1996) (20)
- A Version of the Second Incompleteness Theorem For Axiom Systems that Recognize Addition But Not Multiplication as a Total Function (2004) (19)
- Passive induction and a solution to a Paris-Wilkie open question (2007) (18)
- An Algorithm for Handling Many Relational Calculus Queries Efficiently (2002) (16)
- The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q (2000) (15)
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (2006) (15)
- Reduced Memory Space for Multi-Dimensional Search Trees (Extended Abstract) (1985) (15)
- Lower Bounds for the Addition-Subtraction Operations in Orthogonal Range Queries and Related Problems (1989) (14)
- Optimal sample cost residues for differential database batch query problems (1991) (14)
- Quasi-Valid range querying and its implications for nearest neighbor problems (1988) (14)
- Quasilinear algorithms for processing relational calculus expressions (preliminary report) (1990) (13)
- Multidimensional search trees that provide new types of memory reductions (1987) (12)
- Sampling Algorithms for Differential Batch Retrieval Problems (Extended Abstract) (1984) (11)
- Balanced Forests of K-D* Trees as a Dynamic Data Structure. (1978) (10)
- Algorithms for resolving conflicts in dynamic storage allocation (1985) (8)
- Anterior Chamber Depth in Aphakia. (1963) (8)
- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem (2002) (8)
- Some specially formulated axiomizations for ISigma0 manage to evade the Herbrandized version of the Second Incompleteness Theorem (2009) (8)
- Self-reflection principles and NP-hardness (1996) (7)
- Lower Bounds for Dynamic Range Query Problems That Permit Subtraction (Extended Abstract) (1986) (6)
- On the Angle Restricted Nearest Neighbor Problem (1990) (5)
- A Log Log N Search Algorithm for Nonuniform Distributions (1982) (5)
- Quasilinear Algorithms for Processing Relational Calculus Expressions. (1990) (5)
- Why not in your backyard? scientific data and nonrational decisions about risk (1984) (5)
- On How the Introducing of a New $\theta$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency (2016) (5)
- On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency (2005) (4)
- Montana: The Geological Story. (1936) (3)
- About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem (2018) (3)
- Environmental Programs, School of Public and Environmental Affairs, Indiana University. (1987) (3)
- On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction (2020) (3)
- On the Broader Epistemological Significance of Self-Justifying Axiom Systems (2014) (3)
- A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics (2011) (3)
- The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (2006) (3)
- The Tangibility Reflection Principle for Self-Verifying Axiom Systems (1997) (3)
- Parallel Processing Can Be Harmful: The Unusual Behavior of Interpolation Search (1989) (2)
- Casselton-Fargo folio, North Dakota-Minnesota (2)
- Computing geographic nearest neighbors using monotone matrix searching (preliminary version) (1990) (1)
- Implications of the Trivers-Willard Sex Ratio Hypothesis for Avian Species and Poultry Production, And a Summary of the Historic Context of this Research (2017) (1)
- SOME GEOLOGICAL FEATURES OF JACKSON PARK, CHICAGO. (1893) (1)
- How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions (2020) (1)
- A land use analysis of existing and potential coal surface mining areas in the Ohio River Basin energy study region (1981) (1)
- On the Results of a 14-Year Effort to Generalize G̈odel’s Second Incompleteness Theorem and Explore Its Partial Exceptions (2008) (1)
- Evaluation of Restoration Projects: Are There Elements of Projects that Existing Analytic Tools Do Not Describe? How Should These Elements Be Included in Project Evaluation? (1994) (0)
- About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction (2020) (0)
- Changes in terrestrial ecology related to a coal-fired power plant: Wisconsin power plant impact study (1984) (0)
- Searching for Common Ground (1998) (0)
- Adventures in scenery, a popular reader of California geology, by Daniel E. Willard ... (1942) (0)
- On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux (2013) (0)
- The Story of the North Star State (2007) (0)
- The expert witness—slides are not enough (1981) (0)
- On the Nature of Godel's Second Incompleteness Theorem (2006) (0)
- Cloud-Chamber Study of Unstable Heavy Particles. (1954) (0)
- An Experiential Workshop for Students of the Environmental Professions. (1983) (0)
- The Environmental Aspect of Developing Indiana Oil Shale (1984) (0)
- Transportation Act of 1920 (1922) (0)
- The Status of Railroad Consolidation (1929) (0)
- Jamestown-Tower folio, Jamestown, Eckelson, and Tower quadrangles, North Dakota (0)
- DESCRIPTION OF CASSELTON AND FARGO QUADRANGLES (2011) (0)
This paper list is powered by the following services:
Other Resources About Dan Willard
What Schools Are Affiliated With Dan Willard?
Dan Willard is affiliated with the following schools:
