Primary tabs

Most recent publications

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.
Proceedings, refereed
2017
IEEE Software 34, no. 3 (2017): 73-85.
Journal Article
2017

Students under supervision

Find publication

Status

Export 9 results:
2017

Journal articles

IEEE Software 34, no. 3 (2017): 73-85.
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
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