Ritu Chadha

2008
15	EE	Alexander Poylisher, Ritu Chadha: PBNM Technology Evaluation: Practical Criteria. POLICY 2008: 105-108
14	EE	Ritu Chadha, Cho-Yu Jason Chiang: DRAMA: Distributed Policy Management for MANETs. POLICY 2008: 235-237
13	EE	Latha Kant, Ritu Chadha: MANET management: Industry challenges & potential solutions. WOWMOM 2008: 1-8
2007
12	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
2006
11	EE	Ritu 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
9	EE	Ritu Chadha: Applications of policy-based network management. NOMS (1) 2004: 907-908
8	EE	Ritu Chadha: Managing mobile ad hoc networks. NOMS (1) 2004: 922
7	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
6	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
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
1	EE	Ritu Chadha, Donald C. S. Allison: Partitioning rectilinear figures into rectangles. ACM Conference on Computer Science 1988: 102-106

Coauthor Index

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

Colors in the list of coauthors