Tobias Schröder

Products of coalgebras

H. Peter Gumm, H. Gumm, Tobias Schröder, 2001 .

Monoid-labeled transition systems

H. Peter Gumm, Tobias Schröder, H. Gumm, 2001, CMCS.

Coalgebras Of Bounded Type

H. Gumm, Tobias Schröder, 2002, Mathematical Structures in Computer Science.

Coalgebraic structure from weak limit preserving functors

H. Peter Gumm, Tobias Schröder, H. Gumm, 2000, CMCS.

Types and coalgebraic structure

H. Peter Gumm, Tobias Schröder, Tobias Schröder, 2005 .