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

Ritu Chadha Vis

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

*2008
16EEAlexander Poylisher, Ritu Chadha: PBNM Technology Evaluation: Practical Criteria. POLICY 2008: 105-108
15EERitu Chadha, Cho-Yu Jason Chiang: DRAMA: Distributed Policy Management for MANETs. POLICY 2008: 235-237
14EEPratik K. Biswas, Alexander Poylisher, Ritu Chadha, Abhrajit Ghosh: Hybrid testbeds for QoS management in opaque MANETS. WICON 2008: 72
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
3EERitu 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]
2Pratik K. Biswas [14]
3Hong Cheng [7] [10]
4Kong Eng Cheng (Kong E. Cheng) [10]
5Thanh Cheng [6]
6Yuu-Heng Cheng [6] [7]
7Cho-Yu Jason Chiang [7] [12] [15]
8Orville Cockings [4]
9Shrirang Gadgil [6]
10A. Ghetie [7]
11Abhrajit Ghosh [14]
12Yitzchak Gottlieb [12]
13Abdelhakim Hafid [6]
14Latha Kant [13]
15Keith Kim [6]
16Gary Levin [6] [7] [12]
17Shihwei Li [12]
18Richard Lo [12]
19Sanjai Narain [4]
20Narayanan Natarajan [6]
21Scott Newman [12]
22Kirthika Parmeswaran [6]
23David A. Plaisted [2] [3] [5]
24Alexander Poylisher [6] [12] [14] [16]
25Marc Pucci [10]
26Harshad Tanna [7]
27John Unger [6]

Colors in the list of coauthors

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