Ernest Rotterdam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1991–1996
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FM | Formalizing Anaesthesia: a case study in formal specification. | Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette |
| 1993 | DEXA | Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. | Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas |
| 1991 | AIME | Physiological modelling using RL. | Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas |
| 1991 | DEXA | Symbolic computation in RL/1. | Sieger van Denneheuvel, Karen L. Kwast, Peter van Emde Boas, Fred de Geus, Ernest Rotterdam |