Ritu Chadha

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

Colors in the list of coauthors