Primary tabs

Most recent publications

In NATO Modelling and Simulation Group Symp. Integrating Modelling & Simulation in the Defence Acquisition Lifecycle and Military Training Curriculum (MSG-126). NATO Science and Technology Organization, 2014.
Proceedings, refereed
2014
IEEE Transactions on Software Engineering 36 (2009): 61-80.
Journal Article
2009
Information and Software Technology 55 (2009): 1110-1122.
Journal Article
2009
In Software Engineering for Computational Science and Engineering. IEEE Computer Society, 2009.
Proceedings, refereed
2009

Students under supervision

Find publication

Export 11 results:
2014

Proceedings, refereed

In NATO Modelling and Simulation Group Symp. Integrating Modelling & Simulation in the Defence Acquisition Lifecycle and Military Training Curriculum (MSG-126). NATO Science and Technology Organization, 2014.
Status: Published
2009

Journal articles

IEEE Transactions on Software Engineering 36 (2009): 61-80.
Status: Published
Information and Software Technology 55 (2009): 1110-1122.
Status: Published
Information and Software Technology 51 (2009): 71-82.
Status: Published

Proceedings, refereed

In Software Engineering for Computational Science and Engineering. IEEE Computer Society, 2009.
Status: Published
In Empirical Software Engineering and Measurement (ESEM). IEEE, 2009.
Status: Published
In Empirical Software Engineering and Measurement (ESEM). IEEE, 2009.
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