Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. - David Gries; Gary Levin (Inf. Process. Lett., 1980)

Assignment and Procedure Call Proof Rules. - David Gries; Gary Levin (ACM Trans. Program. Lang. Syst., 1980)

Proof rules for Communicating Sequential Processes. - Gary Levin (1980)

A Proof Technique for Communicating Sequential Processes. - Gary Levin; David Gries (Acta Informatica, 1981)

On-the-fly Deadlock Prevention. - Gregory R. Andrews; Gary Levin (PODC, 1982)

PECAN: Policy-Enabled Configuration Across Networks. - Ritu Chadha; Yuu-Heng Cheng; Thanh Cheng; Shrirang Gadgil; Abdelhakim Hafid; Keith Kim; Gary Levin; Narayanan Natarajan; Kirthika Parmeswaran; Alexander Poylisher; John Unger (POLICY, 2003)

Policy-Based Mobile Ad Hoc Network Management. - Ritu Chadha; Hong Cheng; Yuu-Heng Cheng; Cho-Yu Jason Chiang; A. Ghetie; Gary Levin; Harshad Tanna (POLICY, 2004)

On Automated Policy Generation for Mobile Ad Hoc Networks. - Cho-Yu Jason Chiang; Gary Levin; Yitzchak M. Gottlieb; Ritu Chadha; Shihwei Li; Alexander Poylisher; Scott Newman; Richard Lo (POLICY, 2007)

Declarative Infrastructure Configuration Synthesis and Debugging. - Sanjai Narain; Gary Levin; Sharad Malik; Vikram Kaul (J. Netw. Syst. Manag., 2008)

Enabling Distributed Management for Dynamic Airborne Networks. - Cho-Yu Jason Chiang; Gary Levin; Shihwei Li; Constantin Serban; Michelle Wolberg; Ritu Chadha; Gregory Hadynski; Lee LaBarre (POLICY, 2009)

Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery. - Kong E. Cheng; Yitzchak M. Gottlieb; Gary Levin; Fuchun Joseph Lin (ISADS, 2011)

TITAN: Integrated network management in tactical mobile ad hoc networks. - Constantin Serban; Ritu Chadha; C. Jason Chiang; Feng Ge; Abhrajit Ghosh; Yitzchak M. Gottlieb; Michael Kaplan; Kathleen Kurachik; Gary Levin; Yow-Jia Lin; Alexander Poylisher; Angelo Sapello; et al. (MILCOM, 2012)

Evaluation of the Surveillance, Epidemiology, and End Results Data Management System (SEER*DMS) to support the efforts in enhancing U.S cancer surveillance. - Marina Z. Matatova; Paul Fearn; Eric B. Durbin; Gary Levin; Frank J. Manion; Patrick Mergler (AMIA, 2017)