Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Publication type
Year 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
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

