Walter Guttmann

73 papers B 3C 13Journal 43Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the inner structure of multirelations. J. Log. Algebraic Methods Program. Hitoshi Furusawa, Walter Guttmann, Georg Struth
2025	J	`jnl`	Modal algebra of multirelations. J. Log. Comput. Hitoshi Furusawa, Walter Guttmann, Georg Struth
2025	J	`jnl`	Relational Divisibility. Arch. Formal Proofs Walter Guttmann
2024	J	`jnl`	An example of goal-directed, calculational proof. J. Funct. Program. Roland Carl Backhouse, Walter Guttmann, Michael Winter
2024	J	`jnl`	Cardinality and Representation of Stone Relation Algebras. Fundam. Informaticae Hitoshi Furusawa, Walter Guttmann
2024	J	`jnl`	Determinism of multirelations. J. Log. Algebraic Methods Program. Hitoshi Furusawa, Walter Guttmann, Georg Struth
2024	J	`jnl`	Relation-Algebraic Verification of Disjoint-Set Forests. Fundam. Informaticae Walter Guttmann
2023	J	`jnl`	An example of goal-directed proof. CoRR Roland Carl Backhouse, Walter Guttmann, Michael Winter
2023	J	`jnl`	Cardinality and Representation of Stone Relation Algebras. Arch. Formal Proofs Walter Guttmann
2023	J	`jnl`	Cardinality and Representation of Stone Relation Algebras. CoRR Hitoshi Furusawa, Walter Guttmann
2023	C	`conf`	Dependences Between Domain Constructions in Heterogeneous Relation Algebras. RAMiCS Walter Guttmann
2023	J	`jnl`	Determinism of Multirelations. CoRR Hitoshi Furusawa, Walter Guttmann, Georg Struth
2023	J	`jnl`	Inner Structure, Determinism and Modal Algebra of Multirelations. Arch. Formal Proofs Walter Guttmann, Georg Struth
2023	J	`jnl`	Modal Algebra of Multirelations. CoRR Hitoshi Furusawa, Walter Guttmann, Georg Struth
2023	J	`jnl`	On the Inner Structure of Multirelations. CoRR Hitoshi Furusawa, Walter Guttmann, Georg Struth
2023	J	`jnl`	Relation-Algebraic Verification of Disjoint-Set Forests. CoRR Walter Guttmann
2021	J	`jnl`	Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations. Arch. Formal Proofs Walter Guttmann
2021	C	`conf`	Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. RAMiCS Walter Guttmann, Nicolas Robinson-O'Brien
2021	J	`jnl`	Relational Forests. Arch. Formal Proofs Walter Guttmann
2021	C	`conf`	Second-Order Properties of Undirected Graphs. RAMiCS Walter Guttmann
2020	C	`conf`	A Hierarchy of Algebras for Boolean Subsets. RAMiCS Walter Guttmann, Bernhard Möller
2020	J	`jnl`	A Hierarchy of Algebras for Boolean Subsets. Arch. Formal Proofs Walter Guttmann, Bernhard Möller
2020	—	`conf`	Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL. IJCAR (2) Walter Guttmann
2020	J	`jnl`	Relational Characterisations of Paths. Arch. Formal Proofs Walter Guttmann, Peter Höfner
2020	J	`jnl`	Relational Disjoint-Set Forests. Arch. Formal Proofs Walter Guttmann
2020	J	`jnl`	Relational Minimum Spanning Tree Algorithms. Arch. Formal Proofs Walter Guttmann, Nicolas Robinson-O'Brien
2020	J	`jnl`	Relational characterisations of paths. J. Log. Algebraic Methods Program. Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
2020	C	`conf`	Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. RAMiCS Walter Guttmann
2019	—	`conf`	Connecting Fixpoints of Computations with Strict Progress. UTP Walter Guttmann
2018	J	`jnl`	Aggregation Algebras. Arch. Formal Proofs Walter Guttmann
2018	J	`jnl`	An algebraic framework for minimum spanning tree problems. Theor. Comput. Sci. Walter Guttmann
2018	J	`jnl`	Relational Characterisations of Paths. CoRR Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
2018	C	`ed.`	Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings RAMiCS Jules Desharnais, Walter Guttmann, Stef Joosten
2018	J	`jnl`	Verifying minimum spanning tree algorithms with Stone relation algebras. J. Log. Algebraic Methods Program. Walter Guttmann
2017	J	`jnl`	A framework for automating security analysis of the internet of things. J. Netw. Comput. Appl. Mengmeng Ge, Jin B. Hong, Walter Guttmann, Dong Seong Kim
2017	J	`jnl`	An algebraic approach to multirelations and their properties. J. Log. Algebraic Methods Program. Rudolf Berghammer, Walter Guttmann
2017	C	`conf`	Stone Relation Algebras. RAMiCS Walter Guttmann
2017	J	`jnl`	Stone Relation Algebras. Arch. Formal Proofs Walter Guttmann
2017	J	`jnl`	Stone-Kleene Relation Algebras. Arch. Formal Proofs Walter Guttmann
2016	J	`jnl`	An algebraic approach to computations with progress. J. Log. Algebraic Methods Program. Walter Guttmann
2016	J	`jnl`	Kleene Algebras with Domain. Arch. Formal Proofs Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
2016	C	`conf`	Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. ICTAC Walter Guttmann
2016	J	`jnl`	Stone Algebras. Arch. Formal Proofs Walter Guttmann
2015	B	`conf`	A Relation-Algebraic Approach to Multirelations and Predicate Transformers. MPC Rudolf Berghammer, Walter Guttmann
2015	C	`conf`	Closure, Properties and Closure Properties of Multirelations. RAMiCS Rudolf Berghammer, Walter Guttmann
2015	J	`jnl`	Infinite executions of lazy and strict computations. J. Log. Algebraic Methods Program. Walter Guttmann
2014	J	`jnl`	Algebras for correctness of sequential computations. Sci. Comput. Program. Walter Guttmann
2014	C	`conf`	Extended Conscriptions Algebraically. RAMiCS Walter Guttmann
2014	J	`jnl`	Multirelations with infinite computations. J. Log. Algebraic Methods Program. Walter Guttmann
2013	J	`jnl`	Extended designs algebraically. Sci. Comput. Program. Walter Guttmann
2012	J	`jnl`	Algebras for iteration and infinite computations. Acta Informatica Walter Guttmann
2012	J	`jnl`	Typing theorems of omega algebra. J. Log. Algebraic Methods Program. Walter Guttmann
2012	B	`conf`	Unifying Correctness Statements. MPC Walter Guttmann
2012	C	`conf`	Unifying Lazy and Strict Computations. RAMiCS Walter Guttmann
2011	—	`conf`	A Repository for Tarski-Kleene Algebras. ATE Walter Guttmann, Georg Struth, Tjark Weber
2011	C	`conf`	Automating Algebraic Methods in Isabelle. ICFEM Walter Guttmann, Georg Struth, Tjark Weber
2011	J	`jnl`	Fixpoints for general correctness. J. Log. Algebraic Methods Program. Walter Guttmann
2011	C	`conf`	Towards a Typed Omega Algebra. RAMiCS Walter Guttmann
2010	J	`jnl`	Imperative abstractions for functional actions. J. Log. Algebraic Methods Program. Walter Guttmann
2010	J	`jnl`	Normal design algebra. J. Log. Algebraic Methods Program. Walter Guttmann, Bernhard Möller
2010	B	`conf`	Partial, Total and General Correctness. MPC Walter Guttmann
2010	—	`conf`	Unifying Recursion in Partial, Total and General Correctness. UTP Walter Guttmann
2009	—	`conf`	General Correctness Algebra. RelMiCS Walter Guttmann
2009	—	`conf`	Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. Ershov Memorial Conference Jens Kohlmeyer, Walter Guttmann
2008	—	`conf`	Lazy Relations. RelMiCS Walter Guttmann
2008	—	`conf`	Lazy UTP. UTP Walter Guttmann
2007	—	`ch.`	Algebraic Foundations of the Unifying Theories of Programming. Ausgezeichnete Informatikdissertationen Walter Guttmann
2007	—	`—`	Algebraic foundations of the unifying theories of programming. Walter Guttmann
2006	—	`conf`	An ASM Semantics of Token Flow in UML 2 Activity Diagrams. Ershov Memorial Conference Stefan Sarstedt, Walter Guttmann
2006	—	`conf`	Modal Design Algebra. UTP Walter Guttmann, Bernhard Möller
2006	—	`conf`	Variations on an Ordering Theme with Constraints. IFIP TCS Walter Guttmann, Markus Maucher
2005	—	`conf`	Non-termination in Unifying Theories of Programming. RelMiCS Walter Guttmann
2003	J	`jnl`	Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. Univers. Comput. Sci. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs