Keith E. Williamson 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 keys2001
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith E. Williamson, Michael Healy, Richard A. Barker: Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. Autom. Softw. Eng. 8(1): 7-30 (2001)
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Healy, Keith E. Williamson: Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. AMAST 2000: 484-498
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith E. Williamson, Michael Healy, Richard A. Barker: Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. ICSR 2000: 58-73
1999
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith E. Williamson, Michael Healy: Industrial Applications of Software Synthesis via Category Theory. ASE 1999: 35-43
1997
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith E. Williamson, Michael Healy: Formally Specifying Engineering Design Rationale. ASE 1997: 317-318
1994
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman: Test Data Generation and Feasible Path Analysis. ISSTA 1994: 95-107
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Tom M. Mitchell, Keith E. Williamson: Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. On Knowledge Base Management Systems (Islamorada) 1985: 259-286
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Keith E. Williamson: Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. VLDB 1985: 72-81

Coauthor Index

1Richard A. Barker [6] [8]
2Alexander Borgida [1] [2]
3Mike Brennan [3]
4Bill Currier [3]
5Michael Healy [4] [5] [6] [7] [8]
6Robert Jasper [3]
7Tom M. Mitchell [2]
8David Zimmerman [3]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)