H. Peter Gumm

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 4

Top Topics

Simulation Models

Helmholtz Principle

Production Line

Top Venues

Publications

H. Peter Gumm, Mona Taheri
Saturated Kripke Structures as Vietoris Coalgebras. CMCS (2022)
H. Peter Gumm
Free-Algebra Functors from a Coalgebraic Perspective. CMCS (2020)
H. Peter Gumm
Connected monads weakly preserve products. CoRR (2019)
Mehdi Zarrad, H. Peter Gumm
Transitivity and Difunctionality of Bisimulations. CMCS (2016)
H. Peter Gumm, Mehdi Zarrad
Coalgebraic Simulations and Congruences. CMCS (2014)
Jirí Adámek, H. Peter Gumm, Vera Trnková
Presentation of Set Functors: A Coalgebraic Perspective. J. Log. Comput. 20 (5) (2010)
H. Peter Gumm
Copower functors. Theor. Comput. Sci. 410 (12-13) (2009)
H. Peter Gumm
On Minimal Coalgebras. Appl. Categorical Struct. 16 (3) (2008)
H. Peter Gumm
-Coalgebras to Filter Structures and Transition Systems. CALCO (2005)
H. Peter Gumm
Preface. Theor. Comput. Sci. 327 (1-2) (2004)
H. Peter Gumm, Jesse Hughes, Tobias Schröder
Distributivity of categories of coalgebras. Theor. Comput. Sci. 308 (1-3) (2003)
H. Peter Gumm
Preface. CMCS (2003)
H. Peter Gumm, Tobias Schröder
Coalgebras Of Bounded Type. Math. Struct. Comput. Sci. 12 (5) (2002)
H. Peter Gumm, Tobias Schröder
Covarieties and complete covarieties. Theor. Comput. Sci. 260 (1-2) (2001)
H. Peter Gumm
Equational and implicational classes of coalgebras. Theor. Comput. Sci. 260 (1-2) (2001)
H. Peter Gumm, Tobias Schröder
Monoid-labeled transition systems. CMCS (2001)
H. Peter Gumm, Tobias Schröder
Coalgebraic structure from weak limit preserving functors. CMCS (2000)
H. Peter Gumm
Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. INFOS (1999)
H. Peter Gumm
Generating Algebraic Laws from Imperative Programs. Theor. Comput. Sci. 217 (2) (1999)
H. Peter Gumm
Equational and implicational classes of co-algebras. RelMiCS (1998)
H. Peter Gumm, Tobias Schröder
Covarieties and Complete Covarieties. CMCS (1998)
H. Peter Gumm
Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions. Inf. Process. Lett. 47 (6) (1993)
H. Peter Gumm
MUNITY. FBT (1992)
H. Peter Gumm
Continuations of logic programs. Algebraic Logic and Universal Algebra in Computer Science (1988)
H. Peter Gumm
A new class of check-digit methods for arbitrary number systems. IEEE Trans. Inf. Theory 31 (1) (1985)