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

Ritu Chadha

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

2008
15EEAlexander Poylisher, Ritu Chadha: PBNM Technology Evaluation: Practical Criteria. POLICY 2008: 105-108
14EERitu Chadha, Cho-Yu Jason Chiang: DRAMA: Distributed Policy Management for MANETs. POLICY 2008: 235-237
13EELatha Kant, Ritu Chadha: MANET management: Industry challenges & potential solutions. WOWMOM 2008: 1-8
2007
12EECho-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
2006
11EERitu Chadha: Beyond the Hype: Policies for Military Network Operations. ICSNC 2006: 38
2005
10 Kong E. Cheng, Ritu Chadha, Hong Cheng, Marc Pucci: Feature Interactions in Overlay Networks. FIW 2005: 91-297
2004
9EERitu Chadha: Applications of policy-based network management. NOMS (1) 2004: 907-908
8EERitu Chadha: Managing mobile ad hoc networks. NOMS (1) 2004: 922
7EERitu 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
6EERitu 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
1994
5 Ritu Chadha, David A. Plaisted: Correctness of Unification Without Occur Check in Prolog. J. Log. Program. 18(2): 99-122 (1994)
1993
4 Sanjai Narain, Orville Cockings, Ritu Chadha: A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE 1993: 235-250
3 Ritu Chadha, David A. Plaisted: Finding Logical Consequences Using Unskolemization. ISMIS 1993: 255-264
2 Ritu Chadha, David A. Plaisted: On the Mechanical Derivation of Loop Invariants. J. Symb. Comput. 15(5/6): 705-744 (1993)
1988
1EERitu Chadha, Donald C. S. Allison: Partitioning rectilinear figures into rectangles. ACM Conference on Computer Science 1988: 102-106

Coauthor Index

1Donald C. S. Allison [1]
2Hong Cheng [7] [10]
3Kong Eng Cheng (Kong E. Cheng) [10]
4Thanh Cheng [6]
5Yuu-Heng Cheng [6] [7]
6Cho-Yu Jason Chiang [7] [12] [14]
7Orville Cockings [4]
8Shrirang Gadgil [6]
9A. Ghetie [7]
10Yitzchak Gottlieb [12]
11Abdelhakim Hafid [6]
12Latha Kant [13]
13Keith Kim [6]
14Gary Levin [6] [7] [12]
15Shihwei Li [12]
16Richard Lo [12]
17Sanjai Narain [4]
18Narayanan Natarajan [6]
19Scott Newman [12]
20Kirthika Parmeswaran [6]
21David A. Plaisted [2] [3] [5]
22Alexander Poylisher [6] [12] [15]
23Marc Pucci [10]
24Harshad Tanna [7]
25John Unger [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)