dblp.uni-trier.dewww.uni-trier.de

Gary Levin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
8EESanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul: Declarative Infrastructure Configuration Synthesis and Debugging. J. Network Syst. Manage. 16(3): 235-258 (2008)
2007
7EECho-Yu Jason Chiang, Gary Levin, Yitzchak Gottlieb, Ritu Chadha, Shihwei Li, Alexander Poylisher, Scott Newman, Richard Lo: On Automated Policy Generation for Mobile Ad Hoc Networks. POLICY 2007: 256-260
2004
6EERitu 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: 35-44
2003
5EERitu 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: 52-62
1982
4 Gregory R. Andrews, Gary Levin: On-the-fly Deadlock Prevention. PODC 1982: 165-172
1981
3 Gary Levin, David Gries: A Proof Technique for Communicating Sequential Processes. Acta Inf. 15: 281-302 (1981)
1980
2EEDavid Gries, Gary Levin: Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2(4): 564-579 (1980)
1 David Gries, Gary Levin: Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11(2): 68-69 (1980)

Coauthor Index

1Gregory R. Andrews [4]
2Ritu Chadha [5] [6] [7]
3Hong Cheng [6]
4Thanh Cheng [5]
5Yuu-Heng Cheng [5] [6]
6Cho-Yu Jason Chiang [6] [7]
7Shrirang Gadgil [5]
8A. Ghetie [6]
9Yitzchak Gottlieb [7]
10David Gries [1] [2] [3]
11Abdelhakim Hafid [5]
12Vikram Kaul [8]
13Keith Kim [5]
14Shihwei Li [7]
15Richard Lo [7]
16Sharad Malik [8]
17Sanjai Narain [8]
18Narayanan Natarajan [5]
19Scott Newman [7]
20Kirthika Parmeswaran [5]
21Alexander Poylisher [5] [7]
22Harshad Tanna [6]
23John Unger [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)