Skip to content
cs-conference-ranking.org

Harry R. Lewis

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

9

Active years

1977–1990

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
1990LICSA Logic of Concrete Time Intervals (Extended Abstract)Harry R. Lewis
1982PODSThe Inference Problem for Template Dependencies.Yuri Gurevich, Harry R. Lewis
1981STOCEmbedded Implicational Dependencies and their Inference ProblemAshok K. Chandra, Harry R. Lewis, Johann A. Makowsky
1980ICALPSymmetric Space-Bounded Computation (Extended Abstract).Harry R. Lewis, Christos H. Papadimitriou
1980XPEmbedded Implicational Dependencies and their Inference Problem.Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky
1978FOCSComplexity of Solvable Cases of the Decision Problem for the Predicate CalculusHarry R. Lewis
1978SIGGRAPH3-D graphic display of discrete spatial data by prism maps.W. Randolph Franklin, Harry R. Lewis
1978SIGCSEWhy johny can't program: a progress report.Henry E. Leither, Harry R. Lewis
1977FOCSA New Decidable Problem, with Applications (Extended Abstract)Harry R. Lewis
1977POPLThe Equivalence Problem for Program Schemata with Nonintersecting Loops.Harry R. Lewis
1977POPLSymbolic Evaluation and the Global Value Graph.John H. Reif, Harry R. Lewis