Concepedia

Lyle Ramshaw

LR

Statistics

Publications

7

Citations

694

H-Index

7

Active since

1980

Affiliations

Hewlett-Packard (United States)(Current)

Stanford University

Lyle Ramshaw is an author at Hewlett-Packard (United States) specializing in computer science, engineering, and program analysis.

Top concepts

Computer ScienceEngineeringVerificationFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

1980–2012

7

Publications

7

Blossoms are polar forms

Lyle Ramshaw · Computer Aided Geometric Design · 1989 · 279 citations

Biology, Pattern Formation, Polar Forms +3

A kinetic framework for computational geometry

Leo J. Guibas, Lyle Ramshaw, Jorge Stolfi · 1983 · 224 citations

Geometric Modeling, Geometry, Natural Sciences +5

Eliminating go to's while preserving program structure

Lyle Ramshaw · Journal of the ACM · 1988 · 70 citations · Full text

Engineering, Verification, Software Engineering +19

A Note on Gray Code and Odd-Even Merge

Philippe Flajolet, Lyle Ramshaw · SIAM Journal on Computing · 1980 · 60 citations

Odd-even Merge, Computational Number Theory, Gray Code +5

A Weight-Scaling Algorithm for Min-Cost Imperfect Matchings in Bipartite Graphs

Lyle Ramshaw, Robert E. Tarjan · 2012 · 29 citations

Branch-and-bound Algorithm, Engineering, Network Analysis +18

1–5 of 7