Concepedia

Author

Gary Levin

Cornell University

Also Known As

G. Levin, Gary Levin, Gary M. Levin, Gary Marc Levin

31

Publications

606

Citations

11

H-Index

48

Concepts

All Affiliations

Cornell UniversityUniversity of ArizonaUnited States Department of the Army
GL

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

477

2

Computer Science

8

8

373

3

Business

1

1

23

4

Communication

1

1

23

5

Computer Engineering

1

1

12

Gary Levin

×

12

Publications

524

Citations

10

H-Index

YearCitations

A proof technique for communicating sequential processes

Gary Levin, David Gries

Acta Informatica

1981

147

Declarative Infrastructure Configuration Synthesis and Debugging

Sanjai Narain, Gary Levin, Sharad Malik,

Journal of Network and Systems Management

2008

81

Assignment and Procedure Call Proof Rules

David Gries, Gary Levin

ACM Transactions on Programming Languages and Systems

1980

73

Policy-based mobile ad hoc network management

Ryan Chadha, Hong Cheng, Yuu-Heng Cheng,

2004

70

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

David Gries, Gary Levin

Information Processing Letters

1980

37

Policy-based mobile ad hoc network management for drama

Ryan Chadha, Yuu-Heng Cheng, Jason Chiang,

2004

27

Performance Analysis of Drama: A Distributed Policy-Based System for Manet Management

Cho‐Yu Jason Chiang, Stephanie Demers, Praveen Kumare Gopalakrishnan,

2006

23

PECAN: policy-enabled configuration across networks

Ryan Chadha, Y.-H. Cheng, Tonglei Cheng,

2004

18

Scalable policy management for ad hoc networks

Ryan Chadha, Yuu-Heng Cheng, Jason Chiang,

2005

16

On-the-fly deadlock prevention

Gregory R. Andrews, Gary Levin

1982

12

Page 1