Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2020
Journal articles
The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology 18 (2020): 5-28.
Status: Published
Proceedings, refereed
In Proc. 17th Int'l Conf. Information Systems for Crisis Response and Management (ISCRAM)–-AI Systems for Crisis and Risks. International Association for Information Systems for Crisis Response and Management, 2020.
Status: Published
Book chapters
In Universal Access in Human-Computer Interaction. Applications and Practice, 370-389. Springer International Publishing, 2020.
Status: Published
In Communications in Computer and Information Science , 463-471. HCI International 2020 - Posters ed. Vol. 1226. Cham: Springer International Publishing, 2020.
Status: Published
2014
Proceedings, refereed
In NATO Modelling and Simulation Group Symp. Integrating Modelling & Simulation in the Defence Acquisition Lifecycle and Military Training Curriculum (MSG-126). NATO Science and Technology Organization, 2014.
Status: Published
2003
Proceedings, refereed
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
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
Talks, contributed
In Three lectures given at the University of Oslo, 2003.
Status: Published

