Ulrich Dorsch

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 8 (Theoretische Informatik)
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Efficient and Modular Coalgebraic Partition Refinement (2020) Wißmann T, Dorsch U, Milius S, Schröder L Journal article, Original article Graded monads and graded logics for the linear time – Branching time spectrum (2019) Dorsch U, Milius S, Schröder L Conference contribution Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (2018) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution Efficient Coalgebraic Partition Refinement (2017) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution