Harry R. Lewis

Harry R. Lewis's AcademicInfluence.com Rankings

Harry R. Lewis

Computer Science

#11728

World Rank

#12464

Historical Rank

Database

#8810

World Rank

#9249

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Harry R. Lewis's Degrees

PhD Computer Science Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Harry R. Lewis Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Harry R. Lewis'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

Elements of the Theory of Computation (1997) (1065)
Complexity Results for Classes of Quantificational Formulas (1980) (202)
Symmetric Space-Bounded Computation (1982) (156)
Renaming a Set of Clauses as a Horn Set (1978) (139)
Embedded implicational dependencies and their inference problem (1981) (124)
Excellence Without a Soul: How a Great University Forgot Education (2006) (111)
Symbolic evaluation and the global value graph (1977) (103)
Unsolvable classes of quantificational formulas (1979) (95)
A logic of concrete time intervals (1990) (84)
Complexity of solvable cases of the decision problem for the predicate calculus (1978) (82)
Blown to Bits: Your Life, Liberty, and Happiness After the Digital Explosion (2008) (80)
Data Structures and Their Algorithms (1991) (75)
Elements of the theory of computation, 2nd Edition (1998) (67)
Satisfiability problems for propositional calculi (1979) (64)
The Efficiency of Algorithms. (1978) (50)
A Logic for Constant-Depth Circuits (1984) (50)
Data structures & their algorithms (1991) (39)
The inference problem for template dependencies (1982) (31)
ΠGarey Michael R. and Johnson David S.. Computers and intractability. A guide to the theory of NP-completeness . W. H. Freeman and Company, San Francisco 1979, x + 338 pp. (1983) (31)
Linear sampling and the ∀∃∀ case of the decision problem (1974) (26)
Efficient Symbolic Analysis of Programs (1986) (26)
The word problem for cancellation semigroups with zero (1984) (25)
Excellence without a soul : does liberal education have a future? (2007) (20)
The decision problem for formulas with a small number of atomic subformulas (1973) (17)
3-D graphic display of discrete spatial data by prism maps (1978) (16)
What Is College For?: The Public Purpose of Higher Education (2011) (13)
Proceedings of the fourteenth annual ACM symposium on Theory of computing (1982) (11)
A Logic of Concrete Time Intervals (Extended Abstract) (1990) (11)
A new decidable problem, with applications (1977) (11)
Prefix classes of Krom formulas (1973) (10)
The Complexity of the Satisfiability Problem for Krom Formulas (1984) (10)
Symmetric Space-Bounded Computation (Extended Abstract) (1980) (8)
Unifiability is Complete for co-NLogSpace (1982) (8)
Logical syntax and computational complexity (1984) (6)
Why johny can't program: a progress report (1978) (5)
Teaching America: The Case for Civic Education (2011) (5)
Krom formulas with one dyadic predicate letter (1976) (5)
Program Schemata and the First-Order Decision Problem (1974) (4)
SHAPESHIFTER: An interactive program for experimenting with complex-plane transformations (1968) (4)
Conservative reduction classes of Krom formulas (1982) (3)
A Core Curriculum for Tomorrow's Citizens. (2007) (3)
Lewis, Lawrence, and Harris Reply: (1998) (2)
The equivalence problem for program schemata with nonintersecting loops (1977) (2)
Skolem reduction classes (1975) (1)
Specialism: the best career path? (1984) (1)
A New Decidable Problem, with Applications (Extended Abstract) (1977) (1)
SUBROUTINES FOR COMPUTING AND GRAPHING LEVEL LINES OF FUNCTIONS OF TWO VARIABLES. (1965) (1)
Part-time nursing: how much of a career? (1984) (0)
Not Your Father's Censorship. (2009) (0)
Data structures & their algorithms / Harry R. Lewis, Larry Denenberg (1991) (0)
Th e Internet and Hieronymus Bosch: Fear, Protection, and Liberty in Cyberspace (2014) (0)
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou (1998) (0)
Two Applications of Hand-Printed Two-Dimensional Computer Input (2014) (0)
Punishing the Transmission of Pornography on the Internet (1996) (0)
Coalition Petition to the U.S. Department of Education to Amend 34 CFR Part 99 to Establish a Data Security Rule (2016) (0)
Can the Great American Universities Take Root in Asia (2014) (0)
An introduction to computer programming and data structures using MACRO-11 (1981) (0)
Index of contributed papers (1990) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Harry R. Lewis?

Harry R. Lewis is affiliated with the following schools:

Harvard University

Harry R. Lewis's Academic­Influence.com Rankings