H. Peter Gumm

2009
19	EE	H. Peter Gumm: Copower functors. Theor. Comput. Sci. 410(12-13): 1129-1142 (2009)
2008
18	EE	H. Peter Gumm: On Minimal Coalgebras. Applied Categorical Structures 16(3): 313-332 (2008)
2005
17	EE	H. Peter Gumm: From T-Coalgebras to Filter Structures and Transition Systems. CALCO 2005: 194-212
2004
16	EE	H. Peter Gumm: Preface. Theor. Comput. Sci. 327(1-2): 1-2 (2004)
2003
15	EE	H. Peter Gumm: Preface. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
14	EE	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	EE	H. Peter Gumm, Tobias Schröder: Monoid-labeled transition systems. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
11	EE	H. Peter Gumm: Equational and implicational classes of coalgebras. Theor. Comput. Sci. 260(1-2): 57-69 (2001)
10	EE	H. Peter Gumm, Tobias Schröder: Covarieties and complete covarieties. Theor. Comput. Sci. 260(1-2): 71-86 (2001)
2000
9	EE	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	EE	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	EE	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]