Qualifications
Research Interests
My research is about computation models and their use to develop correct programs.
Recent Publications
- Desharnais J; Guttmann WN; Joosten S (Ed.) (2018) Relational and Algebraic Methods in Computer Science: RAMiCS 2018. 11194Springer. 385. http://dx.doi.org/10.1007/978-3-030-02149-8.
- Berghammer R., Furusawa H., Guttmann W. and Höfner P. (2020) Relational Characterisations of Paths. Journal of Logical and Algebraic Methods in Programming 117 100590 http://dx.doi.org/10.1016/j.jlamp.2020.100590.
- Guttmann W. (2018) An algebraic framework for minimum spanning tree problems. Theoretical Computer Science 744: 37-55. http://dx.doi.org/10.1016/j.tcs.2018.04.012.
- Guttmann W. (2018) Verifying minimum spanning tree algorithms with Stone relation algebras. Journal of Logical and Algebraic Methods in Programming 101: 132-150. http://dx.doi.org/10.1016/j.jlamp.2018.09.005.
- Berghammer R. and Guttmann W. (2017) An algebraic approach to multirelations and their properties. Journal of Logical and Algebraic Methods in Programming 88: 45-63. http://dx.doi.org/10.1016/j.jlamp.2017.02.002.