Concepedia

Gary Levin

GL

Statistics

Publications

12

Citations

524

H-Index

10

Active since

1980

Affiliations

Cornell University(Current)

University of Arizona

United States Department of the Army

Gary Levin is an author at Cornell University specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringNetwork ManagementNetwork ScienceMobile ComputingInternet Of ThingsFormal VerificationVerificationEdge Computing

Publications per year

1980–2008

12

Publications

12

A proof technique for communicating sequential processes

Gary Levin, David Gries · Acta Informatica · 1981 · 147 citations

Engineering, Automated Reasoning, Verification +7

Declarative Infrastructure Configuration Synthesis and Debugging

Sanjai Narain, Gary Levin, Sharad Malik et al. · Journal of Network and Systems Management · 2008 · 81 citations

Architectural Design, Infrastructure System, Engineering +9

Assignment and Procedure Call Proof Rules

David Gries, Gary Levin · ACM Transactions on Programming Languages and Systems · 1980 · 73 citations · Full text

Formal Specification, Multiple Assignment, Engineering +15

Policy-based mobile ad hoc network management

Ryan Chadha, Hong Cheng, Yuu-Heng Cheng et al. · 2004 · 70 citations

Engineering, Wireless Routing, Routing Protocol +13

Computing Fibonacci numbers (and similarly defined functions) in log time

David Gries, Gary Levin · Information Processing Letters · 1980 · 37 citations

Rows per page

1–5 of 12