 | 1997 |
|---|
| 4 |       | Gerard R. Renardel de Lavalette,
Rix Groenboom,
Ernest Rotterdam,
Frank van Harmelen,
Annette ten Teije,
Fred de Geus:
Formalisation for decision support in anaesthesiology.
Artificial Intelligence in Medicine 11(3): 189-214 (1997) |
| 1996 |
|---|
| 3 |  | Rix Groenboom,
Erik Saaman,
Ernest Rotterdam,
Gerard R. Renardel de Lavalette:
Formalizing Anaesthesia: a case study in formal specification.
FME 1996: 120-139 |
| 1993 |
|---|
| 2 | | Ernest Rotterdam,
Sieger van Denneheuvel,
Pim Hennis,
Peter van Emde Boas:
Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia.
DEXA 1993: 541-552 |
| 1991 |
|---|
| 1 | | Sieger van Denneheuvel,
Karen L. Kwast,
Peter van Emde Boas,
Fred de Geus,
Ernest Rotterdam:
Symbolic computation in RL/1.
DEXA 1991: 559-564 |
