A metalanguage for guarded iteration
Goncharov, Sergey, Rauch, Christoph, Schröder, Lutz
Published in Theoretical computer science (03.08.2021)
Published in Theoretical computer science (03.08.2021)
Get full text
Journal Article
Expressivity of coalgebraic modal logic: The limits and beyond
Get full text
Journal Article
Conference Proceeding
Behavioural Preorders via Graded Monads
Ford, Chase, Milius, Stefan, Schroder, Lutz
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Wißmann, Thorsten, Milius, Stefan, Schröder, Lutz
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Finitary monads on the category of posets
Adámek, Jiří, Ford, Chase, Milius, Stefan, Schröder, Lutz
Published in Mathematical structures in computer science (01.08.2021)
Published in Mathematical structures in computer science (01.08.2021)
Get full text
Journal Article
From generic partition refinement to weighted tree automata minimization
Wißmann, Thorsten, Deifel, Hans-Peter, Milius, Stefan, Schröder, Lutz
Published in Formal aspects of computing (01.08.2021)
Published in Formal aspects of computing (01.08.2021)
Get full text
Journal Article
Efficient and Modular Coalgebraic Partition Refinement
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Published in Logical methods in computer science (2018)
Published in Logical methods in computer science (2018)
Get full text
Journal Article
Unguarded Recursion on Coinductive Resumptions
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
Published in Logical methods in computer science (27.08.2018)
Published in Logical methods in computer science (27.08.2018)
Get full text
Journal Article
Guarded and Unguarded Iteration for Generalized Processes
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Global Caching for the Flat Coalgebraic µ-Calculus
Hausmann, Daniel, Schroder, Lutz
Published in 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (04.01.2016)
Published in 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (04.01.2016)
Get full text
Conference Proceeding
Program Equivalence is Coinductive
Pattinson, Dirk, Schroder, Lutz
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Get full text
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Conference Proceeding
Weak Similarity in Higher-Order Mathematical Operational Semantics
Urbat, Henning, Tsampas, Stelios, Goncharov, Sergey, Milius, Stefan, Schroder, Lutz
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Coalgebraic Predicate Logic
Litak, Tadeusz, Pattinson, Dirk, Sano, Katsuhiko, Schröder, Lutz
Published in Automata, Languages, and Programming
Published in Automata, Languages, and Programming
Get full text
Book Chapter
Exploring the Boundaries of Monad Tensorability on Set
Bowler, Nathan, Goncharov, Sergey, Levy, Paul Blain, Schröder, Lutz
Published in Logical methods in computer science (18.09.2013)
Published in Logical methods in computer science (18.09.2013)
Get full text
Journal Article