H. Peter Gumm - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2022

Saturated Kripke Structures as Vietoris CoalgebrasH. Peter Gumm, Mona Taheri. cmcs 2022: 88-109 [doi]

2020

Free-Algebra Functors from a Coalgebraic PerspectiveH. Peter Gumm. cmcs 2020: 55-67 [doi]

2016

Transitivity and Difunctionality of BisimulationsMehdi Zarrad, H. Peter Gumm. cmcs 2016: 33-52 [doi]

2014

Coalgebraic Simulations and CongruencesH. Peter Gumm, Mehdi Zarrad. cmcs 2014: 118-134 [doi]

2010

Presentation of Set Functors: A Coalgebraic PerspectiveJirí Adámek, H. Peter Gumm, Vera Trnková. logcom, 20(5):991-1015, 2010. [doi]

2009

Copower functorsH. Peter Gumm. TCS, 410(12-13):1129-1142, 2009. [doi]

2008

On Minimal CoalgebrasH. Peter Gumm. acs, 16(3):313-332, 2008. [doi]

2005

From ::::T::::-Coalgebras to Filter Structures and Transition SystemsH. Peter Gumm. calco 2005: 194-212 [doi]

2004

PrefaceH. Peter Gumm. TCS, 327(1-2):1-2, 2004. [doi]

2003

PrefaceH. Peter Gumm. ENTCS, 82(1):341-342, 2003. [doi]

Distributivity of categories of coalgebrasH. Peter Gumm, Jesse Hughes, Tobias Schröder. TCS, 308(1-3):131-143, 2003. [doi]

2002

Coalgebras Of Bounded TypeH. Peter Gumm, Tobias Schröder. mscs, 12(5):565-578, 2002.

2001

Equational and implicational classes of coalgebrasH. Peter Gumm. TCS, 260(1-2):57-69, 2001. [doi]

Covarieties and complete covarietiesH. Peter Gumm, Tobias Schröder. TCS, 260(1-2):71-86, 2001. [doi]

Monoid-labeled transition systemsH. Peter Gumm, Tobias Schröder. ENTCS, 44(1):185-204, 2001. [doi]

2000

Coalgebraic structure from weak limit preserving functorsH. Peter Gumm, Tobias Schröder. ENTCS, 33:111-131, 2000. [doi]

1999

Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPVH. Peter Gumm. schule 1999: 94-107

Generating Algebraic Laws from Imperative ProgramsH. Peter Gumm. TCS, 217(2):385-405, 1999. [doi]

1998

Equational and implicational classes of co-algebrasH. Peter Gumm. RelMiCS 1998: 86-90

Covarieties and Complete CovarietiesH. Peter Gumm, Tobias Schröder. ENTCS, 11:42-55, 1998. [doi]

1993

Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent ExecutionsH. Peter Gumm. ipl, 47(6):291-294, 1993.

1992

MUNITYH. Peter Gumm. fbt 1993: 21-34

1988

Continuations of logic programsH. Peter Gumm. aluacs 1990: 27-36

1985

A new class of check-digit methods for arbitrary number systemsH. Peter Gumm. TIT, 31(1):102, 1985.

Sign in or sign up to see more results.

runs on WebDSL