Lehrstuhl für Informatik 8 (Theoretische Informatik)

QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE (2022) Wißmann T, Milius S, Schröder L Journal article Argumentation Schemes for Blockchain Deanonymization (2022) Deuber D, Gruber J, Humml M, Ronge V, Scheler N Conference contribution, Original article CHARACTERISTIC LOGICS FOR BEHAVIOURAL HEMIMETRICS VIA FUZZY LAX EXTENSIONS (2022) Wild P, Schröder L Journal article Distributed Coalgebraic Partition Refinement (2022) Birkmann F, Deifel HP, Milius S Conference contribution Finitary monads on the category of posets (2021) Ford M, Adámek J, Milius S, Schröder L Journal article, Original article Monads on categories of relational structures (2021) Ford M, Milius S, Schröder L Conference contribution Initial algebras without iteration (2021) Adámek J, Milius S, Moss LS Conference contribution Reiterman's Theorem on Finite Algebras for a Monad (2021) Adamek J, Chen LT, Milius S, Urbat H Journal article On the behaviour of coalgebras with side effects and algebras with effectful iteration (2021) Adamek J, Milius S, Urbat H Journal article Nominal Büchi Automata with Name Allocation (2021) Urbat H, Hausmann D, Milius S, Schröder L Conference contribution