LIPIcs : Leibniz International Proceedings in Informatics
ISSN: 1868-8969
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Publications (34)
Making Isabelle Content Accessible in Knowledge Representation Formats (2020)
Kohlhase M, Rabe F, Wenzel M
Conference contribution
Characteristic logics for behavioural metrics via fuzzy lax extensions (2020)
Wild P, Schröder L
Conference contribution, Original article
Existence and complexity of approximate equilibria in weighted congestion games (2020)
Christodoulou G, Gairing M, Giannakopoulos Y, Poças D, Waldmann C
Conference contribution, Original article
Towards constructive hybrid semantics (2020)
Diezel TL, Goncharov S
Conference contribution, Original article
Coinductive resumption monads: Guarded iterative and guarded Elgot (2019)
Levy PB, Goncharov S
Conference contribution
From equational specifications of algebras with structure to varieties of data languages (2019)
Milius S
Conference contribution
Game-based local model checking for the coalgebraic µ-calculus (2019)
Hausmann D, Schröder L
Conference contribution
Graded monads and graded logics for the linear time – Branching time spectrum (2019)
Dorsch U, Milius S, Schröder L
Conference contribution
Varieties of data languages (2019)
Urbat H, Milius S
Conference contribution
Hybrid fault-tolerant consensus in asynchronous and wireless embedded systems (2019)
Xu W, Schwarz-Rüsch S, Li B, Kapitza R
Conference contribution