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

Michael Healy

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

2004
7EEGeorge Chrysanthakopoulos, Warren L. J. Fox, Robert T. Miyamoto, Robert J. Marks II, Mohamed A. El-Sharkawi, Michael Healy: A fuzzy-logic autonomous agent applied as a supervisory controller in a simulated environment. IEEE T. Fuzzy Systems 12(1): 107-122 (2004)
2001
6 Keith 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
5EEMichael Healy, Keith E. Williamson: Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. AMAST 2000: 484-498
4 Keith 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
3EEKeith E. Williamson, Michael Healy: Industrial Applications of Software Synthesis via Category Theory. ASE 1999: 35-43
2 Robert J. Streifel, Robert J. Marks II, Russell Reed, Jai J. Choi, Michael Healy: Dynamic fuzzy control of genetic algorithm parameter coding. IEEE Transactions on Systems, Man, and Cybernetics, Part B 29(3): 426-433 (1999)
1997
1EEKeith E. Williamson, Michael Healy: Formally Specifying Engineering Design Rationale. ASE 1997: 317-318

Coauthor Index

1Richard A. Barker [4] [6]
2Jai J. Choi [2]
3George Chrysanthakopoulos [7]
4Mohamed A. El-Sharkawi [7]
5Warren L. J. Fox [7]
6Robert J. Marks II [2] [7]
7Robert T. Miyamoto [7]
8Russell Reed [2]
9Robert J. Streifel [2]
10Keith E. Williamson [1] [3] [4] [5] [6]

Colors in the list of coauthors

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