Gary Levin

According to our database, Gary Levin authored at least 13 papers between 1980 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

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

Proceedings of the AMIA 2017, 2017

2012

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, Florin Sultan, Akshay Vashist, Michelle Wolberg, Kimberly Moeltner

Proceedings of the 31st IEEE Military Communications Conference, 2012

2011

Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery.

Kong E. Cheng, Yitzchak M. Gottlieb, Gary Levin, Fuchun Joseph Lin

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2009

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

Proceedings of the POLICY 2009, 2009

2008

Declarative Infrastructure Configuration Synthesis and Debugging.

Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul

J. Netw. Syst. Manag., 2008

2007

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

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2004

Policy-Based Mobile Ad Hoc Network Management.

Ritu Chadha, Hong Cheng, Yuu-Heng Cheng, Cho-Yu Jason Chiang, A. Ghetie, Gary Levin, Harshad Tanna

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

2003

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

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

1982

On-the-fly Deadlock Prevention.

Gregory R. Andrews, Gary Levin

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

A Proof Technique for Communicating Sequential Processes.

Gary Levin, David Gries

Acta Informatica, 1981

1980

Proof rules for Communicating Sequential Processes.

Gary Levin

PhD thesis, 1980

Assignment and Procedure Call Proof Rules.

David Gries, Gary Levin

ACM Trans. Program. Lang. Syst., 1980

Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.

David Gries, Gary Levin

Inf. Process. Lett., 1980