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

Export 11 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
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