Dr. Thorsten Wißmann

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024) Wißmann T, Milius S Conference contribution Bisimilar States in Uncertain Structures (2023) Rot J, Wißmann T Conference contribution Action Codes (2023) Vaandrager F, Wißmann T Conference contribution Weighted and Branching Bisimilarities from Generalized Open Maps (2023) Dubut J, Wißmann T Conference contribution QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE (2022) Wißmann T, Milius S, Schröder L Journal article Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021) Wißmann T, Milius S, Schröder L Conference contribution Coalgebra encoding for efficient minimization (2021) Deifel HP, Milius S, Wißmann T Conference contribution From generic partition refinement to weighted tree automata minimization (2021) Wißmann T, Deifel HP, Milius S, Schröder L Journal article Efficient and Modular Coalgebraic Partition Refinement (2020) Wißmann T, Dorsch U, Milius S, Schröder L Journal article, Original article On Finitary Functors (2019) Adámek J, Milius S, Sousa L, Wißmann T Journal article