Search the dblp DataBase

Publications of Author

1. Ritu Chadha, Donald C. S. Allison
   Partitioning rectilinear figures into rectangles. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer Science, 1988, pp:102-106 [Conf]
   
2. Kong E. Cheng, Ritu Chadha, Hong Cheng, Marc Pucci
   Feature Interactions in Overlay Networks. [Citation Graph (0, 0)][DBLP]
   FIW, 2005, pp:91-297 [Conf]
   
3. Sanjai Narain, Orville Cockings, Ritu Chadha
   A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. [Citation Graph (0, 0)][DBLP]
   FORTE, 1993, pp:235-250 [Conf]
   
4. Ritu Chadha, David A. Plaisted
   Finding Logical Consequences Using Unskolemization. [Citation Graph (0, 0)][DBLP]
   ISMIS, 1993, pp:255-264 [Conf]
   
5. Ritu Chadha, Hong Cheng, Yuu-Heng Cheng, Jason Chiang, A. Ghetie, Gary Levin, Harshad Tanna
   Policy-Based Mobile Ad Hoc Network Management. [Citation Graph (0, 0)][DBLP]
   POLICY, 2004, pp:35-44 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   POLICY, 2003, pp:52-62 [Conf]
   
7. Ritu Chadha
   Beyond the Hype: Policies for Military Network Operations. [Citation Graph (0, 0)][DBLP]
   ICSNC, 2006, pp:38- [Conf]
   
8. Ritu Chadha, David A. Plaisted
   Correctness of Unification Without Occur Check in Prolog. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1994, v:18, n:2, pp:99-122 [Journal]
   
9. Ritu Chadha, David A. Plaisted
   On the Mechanical Derivation of Loop Invariants. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:15, n:5/6, pp:705-744 [Journal]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:256-260 [Conf]
    
11. 
    PBNM Technology Evaluation: Practical Criteria. [Citation Graph (, )][DBLP]
    
    
12. 
    DRAMA: Distributed Policy Management for MANETs. [Citation Graph (, )][DBLP]
    
    
13. 
    Enabling Distributed Management for Dynamic Airborne Networks. [Citation Graph (, )][DBLP]
    
    
14. 
    MANET management: Industry challenges & potential solutions. [Citation Graph (, )][DBLP]
    
    
15. 
    Managing mobile ad hoc networks. [Citation Graph (, )][DBLP]
    
    
16. 
    Applications of policy-based network management. [Citation Graph (, )][DBLP]
    
    
17. 
    Hybrid testbeds for QoS management in opaque MANETS. [Citation Graph (, )][DBLP]