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