Gary Levin

Publication Activity (10 Years)

Years Active: 1980-2017
Publications (10 Years): 1

Top Topics

Cancer Diagnosis

Network Management

Ad Hoc Networks

Surveillance Videos

Top Venues

Publications

Marina Z. Matatova, Paul Fearn, Eric B. Durbin, Gary Levin, Frank J. Manion, Patrick Mergler
Evaluation of the Surveillance, Epidemiology, and End Results Data Management System (SEER*DMS) to support the efforts in enhancing U.S cancer surveillance. AMIA (2017)
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
TITAN: Integrated network management in tactical mobile ad hoc networks. MILCOM (2012)
Kong E. Cheng, Yitzchak M. Gottlieb, Gary Levin, Fuchun Joseph Lin
Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery. ISADS (2011)
Cho-Yu Jason Chiang, Gary Levin, Shihwei Li, Constantin Serban, Michelle Wolberg, Ritu Chadha, Gregory Hadynski, Lee LaBarre
Enabling Distributed Management for Dynamic Airborne Networks. POLICY (2009)
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul
Declarative Infrastructure Configuration Synthesis and Debugging. J. Netw. Syst. Manag. 16 (3) (2008)
Cho-Yu Jason Chiang, Gary Levin, Yitzchak M. Gottlieb, Ritu Chadha, Shihwei Li, Alexander Poylisher, Scott Newman, Richard Lo
On Automated Policy Generation for Mobile Ad Hoc Networks. POLICY (2007)
Ritu Chadha, Hong Cheng, Yuu-Heng Cheng, Cho-Yu Jason Chiang, A. Ghetie, Gary Levin, Harshad Tanna
Policy-Based Mobile Ad Hoc Network Management. POLICY (2004)
Ritu Chadha, Yuu-Heng Cheng, Thanh Cheng, Shrirang Gadgil, Abdelhakim Hafid, Keith Kim, Gary Levin, Narayanan Natarajan, Kirthika Parmeswaran, Alexander Poylisher, John Unger
PECAN: Policy-Enabled Configuration Across Networks. POLICY (2003)
Gregory R. Andrews, Gary Levin
On-the-fly Deadlock Prevention. PODC (1982)
Gary Levin, David Gries
A Proof Technique for Communicating Sequential Processes. Acta Informatica 15 (1981)
David Gries, Gary Levin
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11 (2) (1980)
David Gries, Gary Levin
Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2 (4) (1980)