A new class of check-digit methods for arbitrary number systems. - H. Peter Gumm (IEEE Trans. Inf. Theory, 1985)

Continuations of logic programs. - H. Peter Gumm (Algebraic Logic and Universal Algebra in Computer Science, 1988)

MUNITY. - H. Peter Gumm (FBT, 1992)

Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions. - H. Peter Gumm (Inf. Process. Lett., 1993)

Einführung in die Informatik (2. Aufl.). - Heinz-Peter Gumm; Manfred Sommer 001 (Addison-Wesley, 1995)

Equational and implicational classes of co-algebras. - H. Peter Gumm (RelMiCS, 1998)

Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. - H. Peter Gumm (INFOS, 1999)

Generating Algebraic Laws from Imperative Programs. - H. Peter Gumm (Theor. Comput. Sci., 1999)

Coalgebraic structure from weak limit preserving functors. - H. Peter Gumm; Tobias Schröder (CMCS, 2000)

Monoid-labeled transition systems. - H. Peter Gumm; Tobias Schröder (CMCS, 2001)

Equational and implicational classes of coalgebras. - H. Peter Gumm (Theor. Comput. Sci., 2001)

Covarieties and complete covarieties. - H. Peter Gumm; Tobias Schröder (Theor. Comput. Sci., 2001)

Einführung in die Informatik (5. Aufl.). - Heinz-Peter Gumm; Manfred Sommer 001 (Oldenbourg, 2002)

Coalgebras Of Bounded Type. - H. Peter Gumm; Tobias Schröder (Math. Struct. Comput. Sci., 2002)

Distributivity of categories of coalgebras. - H. Peter Gumm; Jesse Hughes; Tobias Schröder (Theor. Comput. Sci., 2003)

Einführung in die Informatik (6. Aufl.). - Heinz-Peter Gumm; Manfred Sommer 001 (Oldenbourg, 2004)

Preface. - H. Peter Gumm (Theor. Comput. Sci., 2004)

From T-Coalgebras to Filter Structures and Transition Systems. - H. Peter Gumm (CALCO, 2005)

Einführung in die Informatik (7. Aufl.). - Heinz-Peter Gumm; Manfred Sommer 001 (Oldenbourg, 2006)

On Minimal Coalgebras. - H. Peter Gumm (Appl. Categorical Struct., 2008)

Einführung in die Informatik (8. Aufl.). - Heinz-Peter Gumm; Manfred Sommer 001 (Oldenbourg, 2009)

Copower functors. - H. Peter Gumm (Theor. Comput. Sci., 2009)

Presentation of Set Functors: A Coalgebraic Perspective. - Jirí Adámek; H. Peter Gumm; Vera Trnková (J. Log. Comput., 2010)

Coalgebraic Simulations and Congruences. - H. Peter Gumm; Mehdi Zarrad (CMCS, 2014)

Transitivity and Difunctionality of Bisimulations. - Mehdi Zarrad; H. Peter Gumm (CMCS, 2016)

Connected monads weakly preserve products. - H. Peter Gumm (CoRR, 2019)

Free-Algebra Functors from a Coalgebraic Perspective. - H. Peter Gumm (CMCS, 2020)

Saturated Kripke Structures as Vietoris Coalgebras. - H. Peter Gumm; Mona Taheri (CMCS, 2022)