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 Forsvarsmateriell, Norway, 2017.
Status: Published
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
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

