Primary tabs

Most recent publications

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 12 results:
2016
2009

Journal articles

Information and Software Technology 55 (2009): 1110-1122.
Status: Published
IEEE Transactions on Software Engineering 36 (2009): 61-80.
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