Primary tabs

Most recent publications

Students under supervision

Find publication

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