 | 2008 |
|---|
| 6 |       | Michael Heymann,
David Paramelle,
Gilles Subra,
Eric Forest,
Jean Martinez,
Christophe Geourjon,
Gilbert Deléage:
MSX-3D: a tool to validate 3D protein models using mass spectrometry.
Bioinformatics 24(23): 2782-2783 (2008) |
| 2002 |
|---|
| 5 | | Michael Heymann,
Asaf Degani:
On the Construction of Human-Automation Interfaces by Formal Abstraction.
SARA 2002: 99-115 |
| 1999 |
|---|
| 4 |  | Michael Heymann,
Feng Lin,
George Meyer,
Satya Ranjan Mohanty,
Vigyan Chandra,
Ratnesh Kumar:
Discrete Event Control with Active Events.
ICRA 1999: 131-136 |
| 1997 |
|---|
| 3 | | Michael Heymann,
Feng Lin,
George Meyer:
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints.
HART 1997: 376-390 |
| 1996 |
|---|
| 2 | | Michael Heymann,
Feng Lin,
George Meyer:
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems.
Hybrid Systems 1996: 134-159 |
| 1993 |
|---|
| 1 | | Yitzhak Brave,
Michael Heymann:
On optimal attraction in discrete-event processes.
Inf. Sci. 67(3): 245-276 (1993) |
