- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| j3 |      | 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 | ||
| j2 | | 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 | ||
| c4 | | Michael Healy, Keith E. Williamson: Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. AMAST 2000: 484-498 |
| c3 | | 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 | ||
| j1 | | 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) |
| c2 | | Keith E. Williamson, Michael Healy: Industrial Applications of Software Synthesis via Category Theory. ASE 1999: 35-43 |
| 1997 | ||
| c1 | | Keith E. Williamson, Michael Healy: Formally Specifying Engineering Design Rationale. ASE 1997: 317-318 |
| 1 | Richard A. Barker | |
| 2 | Jai J. Choi | |
| 3 | George Chrysanthakopoulos | |
| 4 | Mohamed A. El-Sharkawi | |
| 5 | Warren L. J. Fox | |
| 6 | Robert J. Marks II | |
| 7 | Robert T. Miyamoto | |
| 8 | Russell Reed | |
| 9 | Robert J. Streifel | |
| 10 | Keith E. Williamson |
Colors in the list of coauthors
Last update Sun May 26 06:40:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page