Primary tabs

Most recent publications

In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
Proceedings, refereed
2012
IEEE Transactions on Software Engineering 34 (2008): 242-259.
Journal Article
2008
In Advanced Topics in Empirical Software Engineering, 312-336. Springer, 2008.
Book Chapter
2008
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.
Proceedings, refereed
2003

Students under supervision

Find publication

Status

Export 7 results:
2012

Proceedings, refereed

In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
Status: Published
2008

Journal articles

IEEE Transactions on Software Engineering 34 (2008): 242-259.
Status: Published

Book chapters

In Advanced Topics in Empirical Software Engineering, 312-336. Springer, 2008.
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
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
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

Talks, contributed

In Three lectures given at the University of Oslo, 2003.
Status: Published