Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2017
Journal articles
IEEE Software 34, no. 4 (2017): 58-70.
Status: Published
Systems Engineering 20, no. 3 (2017): 235-256.
Status: Published
Proceedings, refereed
In Proc. NATO Modelling and Simulation Group Symp. on M&S Technologies and Standards for Enabling Alliance Interoperability and Pervasive M&S Applications (STO-MP-MSG-149). NATO Science and Technology Organization, 2017.
Status: Published
Talks, invited
In Hovedstadsområdets nettverk for IT-ledelse og styring (HIT), Oslo, Norway, 2017.
Status: Published
In Hovedstadsområdets nettverk for IT-ledelse og styring (HIT), Oslo, Norway, 2017.
Status: Published
In Forsvarsmateriell, Norway, 2017.
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

