Primary tabs

Most recent publications

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In Proc. 5th Int'l Symp.Empirical Software Engineering and Measurement (ESEM). IEEE Computer Society, 2011.
Proceedings, refereed
2011

Students under supervision

Find publication

Export 13 results:
2015

Journal articles

Proceedings, refereed

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
2011

Journal articles

Proceedings, refereed

In ACM/IEEE International Conference on Software Engineering. ACM New York, NY, USA, 2011.
Status: Published
In 5th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. ACM, 2011.
Status: Published
In Proc. 5th Int'l Symp.Empirical Software Engineering and Measurement (ESEM). IEEE Computer Society, 2011.
Status: Published

Talks, invited

In Talk given at Software 2011, Oslo., 2011.
Status: Published
2003

Proceedings, refereed

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