Primary tabs
Jo Erskine Hannay
Chief Research Scientist
Organisation:
Email:
Research interests:
Benefit/Cost Estimation and Management
Effective Digitalization and Training for Healthcare
Effective Digitalization and Training for Crisis Management
Machine Reasoning for Adaptive Planning and Prediction
Machine Learning for better solutions for information consumers
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2003
Proceedings, refereed
In Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
In Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
In Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
Talks, contributed
In Three lectures given at the University of Oslo, 2003.
Status: Published
1999
Proceedings, refereed
In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published
In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published