Partial instantiation theorem proving for distributed resource location. - Keith Vanderveen; C. V. Ramamoorthy (COMPSAC, 1997)

Anytime Reasoning in First-Order Logic. - Keith Vanderveen; C. V. Ramamoorthy (ICTAI, 1997)

An XML-based Framework for Dynamic SNMP MIB Extension. - Ajita John; Keith Vanderveen; Binay Sugla (DSOM, 1999)

Implementing Policy-based Network Management through Automated Plan Generation. - Mark Bearden; Ajita John; Keith Vanderveen (IC-AI, 1999)

XNAMI-an extensible XML-based paradigm for network and application management instrumentation. - Ajita John; Keith Vanderveen; Binay Sugla (ICON, 1999)