| 2008 |
|---|
| 8 | EE | Sanjai Narain,
Gary Levin,
Sharad Malik,
Vikram Kaul:
Declarative Infrastructure Configuration Synthesis and Debugging.
J. Network Syst. Manage. 16(3): 235-258 (2008) |
| 2007 |
|---|
| 7 | EE | Cho-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 |
|---|
| 6 | EE | 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: 35-44 |
| 2003 |
|---|
| 5 | EE | 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: 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 |
|---|
| 2 | EE | David 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) |
