Binomial Coefficients with Non-Integral Lower Index. - Lyle Ramshaw (Inf. Process. Lett., 1977)

Formalizing the analysis of algorithms. - Lyle Ramshaw (1979)

A Note on Gray Code and Odd-Even Merge. - Philippe Flajolet; Lyle Ramshaw (SIAM J. Comput., 1980)

A Kinetic Framework for Computational Geometry - Leonidas J. Guibas; Lyle Ramshaw; Jorge Stolfi (FOCS, 1983)

Eliminating go to's while preserving program structure. - Lyle Ramshaw (J. ACM, 1988)

Blossoms are polar forms. - Lyle Ramshaw (Comput. Aided Geom. Des., 1989)

Suitening our nomenclature. - Lyle Ramshaw (SIGACT News, 1989)

More Balls in Urns: 10722. - Richard F. McCoart; Lyle Ramshaw (Am. Math. Mon., 2001)

Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation. - Tim Hinrichs; Nathaniel Love; Charles J. Petrie; Lyle Ramshaw; Akhil Sahai; Sharad Singhal (DSOM, 2004)

Cauldron: A Policy-Based Design Tool. - Lyle Ramshaw; Akhil Sahai; Jim Saxe; Sharad Singhal (POLICY, 2006)

A Weight-Scaling Algorithm for Min-Cost Imperfect Matchings in Bipartite Graphs. - Lyle Ramshaw; Robert Endre Tarjan (FOCS, 2012)

Stråhle's Equal-Tempered Triumph. - Lyle Ramshaw (Am. Math. Mon., 2016)