 | 2004 |
|---|
| 7 |       | George 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 |
|---|
| 5 | | Michael 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 |
|---|
| 3 | | Keith 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 |
|---|
| 1 | | Keith E. Williamson,
Michael Healy:
Formally Specifying Engineering Design Rationale.
ASE 1997: 317-318 |
