Walter Guttmann

	2011
18		Walter Guttmann, Georg Struth, Tjark Weber: A Repository for Tarski-Kleene Algebras. ATE 2011: 30-39
17		Walter Guttmann, Georg Struth, Tjark Weber: Automating Algebraic Methods in Isabelle. ICFEM 2011: 617-632
16		Walter Guttmann: Towards a Typed Omega Algebra. RAMICS 2011: 196-211
15		Walter Guttmann: Fixpoints for general correctness. J. Log. Algebr. Program. 80(6): 248-265 (2011)
	2010
14		Walter Guttmann: Partial, Total and General Correctness. MPC 2010: 157-177
13		Walter Guttmann: Unifying Recursion in Partial, Total and General Correctness. UTP 2010: 207-225
12		Walter Guttmann, Bernhard Möller: Normal design algebra. J. Log. Algebr. Program. 79(2): 144-173 (2010)
11		Walter Guttmann: Imperative abstractions for functional actions. J. Log. Algebr. Program. 79(8): 768-793 (2010)
	2009
10		Jens Kohlmeyer, Walter Guttmann: Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. Ershov Memorial Conference 2009: 206-217
9		Walter Guttmann: General Correctness Algebra. RelMiCS 2009: 150-165
	2008
8		Walter Guttmann: Lazy Relations. RelMiCS 2008: 138-154
7		Walter Guttmann: Lazy UTP. UTP 2008: 82-101
	2007
6		Walter Guttmann: Algebraic foundations of the unifying theories of programming. Universität Ulm 2007: 1-95
	2006
5		Stefan Sarstedt, Walter Guttmann: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. Ershov Memorial Conference 2006: 349-362
4		Walter Guttmann, Markus Maucher: Variations on an Ordering Theme with Constraints. IFIP TCS 2006: 77-90
3		Walter Guttmann, Bernhard Möller: Modal Design Algebra. UTP 2006: 236-256
	2005
2		Walter Guttmann: Non-termination in Unifying Theories of Programming. RelMiCS 2005: 108-120
	2003
1		Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003)

Coauthor Index

1	Jens Kohlmeyer	[10]
2	Markus Maucher	[4]
3	Bernhard Möller	[3] [12]
4	Helmuth Partsch	[1]
5	Stefan Sarstedt	[5]
6	Wolfram Schulte	[1]
7	Georg Struth	[17] [18]
8	Ton Vullinghs	[1]
9	Tjark Weber	[17] [18]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page