Ritu Chadha

2007
10	EE	Cho-Yu J. 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
9	EE	Ritu Chadha: Beyond the Hype: Policies for Military Network Operations. ICSNC 2006: 38
2005
8		Kong E. Cheng, Ritu Chadha, Hong Cheng, Marc Pucci: Feature Interactions in Overlay Networks. FIW 2005: 91-297
2004
7	EE	Ritu Chadha, Hong Cheng, Yuu-Heng Cheng, 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] [8]
3	Kong E. Cheng	[8]
4	Thanh Cheng	[6]
5	Yuu-Heng Cheng	[6] [7]
6	Cho-Yu J. Chiang	[10]
7	Jason Chiang	[7]
8	Orville Cockings	[4]
9	Shrirang Gadgil	[6]
10	A. Ghetie	[7]
11	Yitzchak Gottlieb	[10]
12	Abdelhakim Hafid	[6]
13	Keith Kim	[6]
14	Gary Levin	[6] [7] [10]
15	Shihwei Li	[10]
16	Richard Lo	[10]
17	Sanjai Narain	[4]
18	Narayanan Natarajan	[6]
19	Scott Newman	[10]
20	Kirthika Parmeswaran	[6]
21	David A. Plaisted	[2] [3] [5]
22	Alexander Poylisher	[6] [10]
23	Marc Pucci	[8]
24	Harshad Tanna	[7]
25	John Unger	[6]

Colors in the list of coauthors