Walter Guttmann
Orcid: 0000-0003-2969-1688Affiliations:
- University of Canterbury, Christchurch, New Zealand
- University of Ulm, Germany
According to our database1,
Walter Guttmann
authored at least 63 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
3
6
2
5
3
4
3
1
2
1
2
1
2
1
1
2
2
1
1
2
1
2
3
2
2
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on uni-ulm.de
On csauthors.net:
Bibliography
2024
2023
Arch. Formal Proofs, 2023
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023
2021
Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations.
Arch. Formal Proofs, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019
2018
J. Log. Algebraic Methods Program., 2018
2017
J. Netw. Comput. Appl., 2017
J. Log. Algebraic Methods Program., 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
2012
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
J. Log. Algebraic Methods Program., 2010
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
2009
Proceedings of the Perspectives of Systems Informatics, 2009
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008
2007
Proceedings of the Ausgezeichnete Informatikdissertationen 2007, 2007
2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006
Proceedings of the Perspectives of Systems Informatics, 2006
2005
Proceedings of the Relational Methods in Computer Science, 2005
2003
J. Univers. Comput. Sci., 2003