FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Ulrich Dorsch
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Project Memberships
(1)
Publications
(4)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
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