Keith Vanderveen Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjita John, Keith Vanderveen, Binay Sugla: An XML-based Framework for Dynamic SNMP MIB Extension. DSOM 1999: 107-120
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Bearden, Ajita John, Keith Vanderveen: Implementing Policy-based Network Management through Automated Plan Generation. IC-AI 1999: 459-464
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith Vanderveen, C. V. Ramamoorthy: Partial instantiation theorem proving for distributed resource location. COMPSAC 1997: 192-
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith 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 (Chittoor V. Ramamoorthy) [1] [2]
4Binay Sugla [4]

Colors in the list of coauthors

Copyright © Thu Dec 24 12:43:15 2009 by Michael Ley (ley@uni-trier.de)