H. Peter Gumm

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2010
j15		Jirí Adámek, H. Peter Gumm, Vera Trnková: Presentation of Set Functors: A Coalgebraic Perspective. J. Log. Comput. 20(5): 991-1015 (2010)
	2009
j14		H. Peter Gumm: Copower functors. Theor. Comput. Sci. 410(12-13): 1129-1142 (2009)
	2008
j13		H. Peter Gumm: On Minimal Coalgebras. Applied Categorical Structures 16(3): 313-332 (2008)
	2005
c5		H. Peter Gumm: From T-Coalgebras to Filter Structures and Transition Systems. CALCO 2005: 194-212
	2004
j12		H. Peter Gumm: Preface. Theor. Comput. Sci. 327(1-2): 1-2 (2004)
	2003
j11		H. Peter Gumm: Preface. Electr. Notes Theor. Comput. Sci. 82(1): 341-342 (2003)
j10		H. Peter Gumm, Jesse Hughes, Tobias Schröder: Distributivity of categories of coalgebras. Theor. Comput. Sci. 308(1-3): 131-143 (2003)
	2002
j9		H. Peter Gumm, Tobias Schröder: Coalgebras Of Bounded Type. Mathematical Structures in Computer Science 12(5): 565-578 (2002)
	2001
j8		H. Peter Gumm, Tobias Schröder: Monoid-labeled transition systems. Electr. Notes Theor. Comput. Sci. 44(1): 185-204 (2001)
j7		H. Peter Gumm: Equational and implicational classes of coalgebras. Theor. Comput. Sci. 260(1-2): 57-69 (2001)
j6		H. Peter Gumm, Tobias Schröder: Covarieties and complete covarieties. Theor. Comput. Sci. 260(1-2): 71-86 (2001)
	2000
j5		H. Peter Gumm, Tobias Schröder: Coalgebraic structure from weak limit preserving functors. Electr. Notes Theor. Comput. Sci. 33: 111-131 (2000)
	1999
j4		H. Peter Gumm: Generating Algebraic Laws from Imperative Programs. Theor. Comput. Sci. 217(2): 385-405 (1999)
c4		H. Peter Gumm: Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. INFOS 1999: 94-107
	1998
j3		H. Peter Gumm, Tobias Schröder: Covarieties and Complete Covarieties. Electr. Notes Theor. Comput. Sci. 11: 42-55 (1998)
c3		H. Peter Gumm: Equational and implicational classes of co-algebras. RelMiCS 1998: 86-90
	1993
j2		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
c2		H. Peter Gumm: MUNITY. FBT 1992: 21-34
	1988
c1		H. Peter Gumm: Continuations of logic programs. Algebraic Logic and Universal Algebra in Computer Science 1988: 27-36
	1985
j1		H. Peter Gumm: A new class of check-digit methods for arbitrary number systems. IEEE Transactions on Information Theory 31(1): 102-105 (1985)

Coauthor Index

1	Jirí Adámek	[j15]
2	Jesse Hughes	[j10]
3	Tobias Schröder	[j10] [j9] [j8] [j6] [j5] [j3]
4	Vera Trnková	[j15]

Colors in the list of coauthors

Last update Sun May 19 14:57:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page