Search the dblp DataBase

Publications of Author

1. Gregory R. Andrews, Gary Levin
   On-the-fly Deadlock Prevention. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:165-172 [Conf]
   
2. Ritu Chadha, Hong Cheng, Yuu-Heng Cheng, Jason Chiang, A. Ghetie, Gary Levin, Harshad Tanna
   Policy-Based Mobile Ad Hoc Network Management. [Citation Graph (0, 0)][DBLP]
   POLICY, 2004, pp:35-44 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   POLICY, 2003, pp:52-62 [Conf]
   
4. Gary Levin, David Gries
   A Proof Technique for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1981, v:15, n:, pp:281-302 [Journal]
   
5. David Gries, Gary Levin
   Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1980, v:11, n:2, pp:68-69 [Journal]
   
6. David Gries, Gary Levin
   Assignment and Procedure Call Proof Rules. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1980, v:2, n:4, pp:564-579 [Journal]
   
7. Cho-Yu J. Chiang, Gary Levin, Yitzchak Gottlieb, Ritu Chadha, Shihwei Li, Alexander Poylisher, Scott Newman, Richard Lo
   On Automated Policy Generation for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
   POLICY, 2007, pp:256-260 [Conf]
   
8. 
   Enabling Distributed Management for Dynamic Airborne Networks. [Citation Graph (, )][DBLP]