dblp.uni-trier.dewww.uni-trier.de

Keith Vanderveen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
4EEAjita John, Keith Vanderveen, Binay Sugla: An XML-based Framework for Dynamic SNMP MIB Extension. DSOM 1999: 107-120
3 Mark Bearden, Ajita John, Keith Vanderveen: Implementing Policy-based Network Management through Automated Plan Generation. IC-AI 1999: 459-464
1997
2EEKeith Vanderveen, C. V. Ramamoorthy: Partial instantiation theorem proving for distributed resource location. COMPSAC 1997: 192-
1EEKeith Vanderveen, C. V. Ramamoorthy: Anytime Reasoning in First-Order Logic. ICTAI 1997: 142-148

Coauthor Index

1Mark Bearden [3]
2Ajita John [3] [4]
3C. V. Ramamoorthy [1] [2]
4Binay Sugla [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)