Ernest Rotterdam

According to our database1, Ernest Rotterdam authored at least 6 papers between 1991 and 1997.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
Formalisation for decision support in anaesthesiology.
Artif. Intell. Medicine, 1997

1996
Formalizing Anaesthesia: a case study in formal specification.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993
Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia.
Proceedings of the Database and Expert Systems Applications, 4th International Conference, 1993

1991
Symbolic computation in RL/1.
Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

Integrated use of causal and algebraic physiological models to support anaesthetists in decision making.
Proceedings of the AIME 91, 1991

Physiological modelling using RL.
Proceedings of the AIME 91, 1991


  Loading...