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 9 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
2000

Proceedings, refereed

In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Status: Published
1998

Proceedings, refereed

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published

Technical reports

University of Edinburgh, 1998.
Status: Published