Ulrich Dorsch

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 8

Top Topics

Description Languages

Expressive Power

Multimedia Presentations

Top Venues

Log. Methods Comput. Sci.

Publications

Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. Log. Methods Comput. Sci. 16 (1) (2020)
Ulrich Dorsch, Stefan Milius, Lutz Schröder
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. CONCUR (2019)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CoRR (2018)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. CoRR (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CMCS (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder
Graded Monads for the Linear Time - Branching Time Spectrum. CoRR (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Efficient Coalgebraic Partition Refinement. CONCUR (2017)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
A Coalgebraic Paige-Tarjan Algorithm. CoRR (2017)