LIPIcs : Leibniz International Proceedings in Informatics
ISSN: 1868-8969
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Publications (34)
Stateful Structural Operational Semantics (2022)
Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H
Conference contribution
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
Network planning and routing problems over time: Models, complexity and algorithms (2021)
Glomb L, Hoch B, Liers F, Rösel F
Conference contribution
Nominal Büchi Automata with Name Allocation (2021)
Urbat H, Hausmann D, Milius S, Schröder L
Conference contribution
Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021)
Wißmann T, Milius S, Schröder L
Conference contribution
Syntactic Minimization of Nondeterministic Finite Automata (2021)
Myers RS, Urbat H
Conference contribution
A Linear-Time Nominal μ-Calculus with Name Allocation (2021)
Hausmann D, Milius S, Schröder L
Conference contribution
Coalgebra encoding for efficient minimization (2021)
Deifel HP, Milius S, Wißmann T
Conference contribution
Uniform elgot iteration in foundations (2021)
Goncharov S
Conference contribution