Ulrich Dorsch

Orcid: 0000-0001-8678-7876

According to our database¹, Ulrich Dorsch authored at least 6 papers between 2017 and 2020.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Efficient and Modular Coalgebraic Partition Refinement.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

2019

Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum.

[BibT_eX]

[DOI]

Ulrich Dorsch

Stefan Milius

Lutz Schröder

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Graded Monads for the Linear Time - Branching Time Spectrum.

[BibT_eX]

[DOI]

Ulrich Dorsch

Stefan Milius

Lutz Schröder

CoRR, 2018

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

A Coalgebraic Paige-Tarjan Algorithm.

[BibT_eX]

[DOI]

CoRR, 2017

Efficient Coalgebraic Partition Refinement.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Ulrich Dorsch

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...