Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2011
Journal articles
Computing in Science & Engineering 14 (2011): 24-37.
Status: Published
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
In Proceedings of SE-CSE11, 2011.
Status: Published
Talks, invited
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

