Walter Guttmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2010–2020
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CADE | Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL. | Walter Guttmann |
| 2016 | ICTAC | Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. | Walter Guttmann |
| 2015 | MPC | A Relation-Algebraic Approach to Multirelations and Predicate Transformers. | Rudolf Berghammer, Walter Guttmann |
| 2012 | MPC | Unifying Correctness Statements. | Walter Guttmann |
| 2011 | ICFEM | Automating Algebraic Methods in Isabelle. | Walter Guttmann, Georg Struth, Tjark Weber |
| 2010 | MPC | Partial, Total and General Correctness. | Walter Guttmann |