The SCEAS System
Navigation Menu

Search the dblp DataBase


Ritu Chadha: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002