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
1999
Proceedings, refereed
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
In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published

