Primary tabs

Most recent publications

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

Students under supervision

Find publication

Status

Export 8 results:
2011

Journal articles

Proceedings, refereed

In 5th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. ACM, 2011.
Status: Published
In ACM/IEEE International Conference on Software Engineering. ACM New York, NY, USA, 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
1999

Proceedings, refereed

In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published
In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published