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 |