Dr.-Ing. 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 Supported Sets – A New Foundation for Nominal Sets and Automata (2023) Wißmann T Conference contribution Fast Coalgebraic Bisimilarity Minimization (2023) Jacobs J, Wißmann T Journal article 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