H. Peter Gumm

	2009
19		H. Peter Gumm: Copower functors. Theor. Comput. Sci. 410(12-13): 1129-1142 (2009)
	2008
18		H. Peter Gumm: On Minimal Coalgebras. Applied Categorical Structures 16(3): 313-332 (2008)
	2005
17		H. Peter Gumm: From T-Coalgebras to Filter Structures and Transition Systems. CALCO 2005: 194-212
	2004
16		H. Peter Gumm: Preface. Theor. Comput. Sci. 327(1-2): 1-2 (2004)
	2003
15		H. Peter Gumm: Preface. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
14		H. Peter Gumm, Jesse Hughes, Tobias Schröder: Distributivity of categories of coalgebras. Theor. Comput. Sci. 308(1-3): 131-143 (2003)
	2002
13		H. Peter Gumm, Tobias Schröder: Coalgebras Of Bounded Type. Mathematical Structures in Computer Science 12(5): 565-578 (2002)
	2001
12		H. Peter Gumm, Tobias Schröder: Monoid-labeled transition systems. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
11		H. Peter Gumm: Equational and implicational classes of coalgebras. Theor. Comput. Sci. 260(1-2): 57-69 (2001)
10		H. Peter Gumm, Tobias Schröder: Covarieties and complete covarieties. Theor. Comput. Sci. 260(1-2): 71-86 (2001)
	2000
9		H. Peter Gumm, Tobias Schröder: Coalgebraic structure from weak limit preserving functors. Electr. Notes Theor. Comput. Sci. 33: (2000)
	1999
8		H. Peter Gumm: Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. INFOS 1999: 94-107
7		H. Peter Gumm: Generating Algebraic Laws from Imperative Programs. Theor. Comput. Sci. 217(2): 385-405 (1999)
	1998
6		H. Peter Gumm: Equational and implicational classes of co-algebras. RelMiCS 1998: 86-90
5		H. Peter Gumm, Tobias Schröder: Covarieties and Complete Covarieties. Electr. Notes Theor. Comput. Sci. 11: (1998)
	1993
4		H. Peter Gumm: Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions. Inf. Process. Lett. 47(6): 291-294 (1993)
	1992
3		H. Peter Gumm: MUNITY. FBT 1992: 21-34
	1988
2		H. Peter Gumm: Continuations of logic programs. Algebraic Logic and Universal Algebra in Computer Science 1988: 27-36
	1985
1		H. Peter Gumm: A new class of check-digit methods for arbitrary number systems. IEEE Transactions on Information Theory 31(1): 102- (1985)

Coauthor Index

1	Jesse Hughes	[14]
2	Tobias Schröder	[5] [9] [10] [12] [13] [14]