LIPIcs : Leibniz International Proceedings in Informatics
ISSN: 1868-8969
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Publications (34)
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (2024)
Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L, Wild P
Conference contribution
Bisimilar States in Uncertain Structures (2023)
Rot J, Wißmann T
Conference contribution
On Kripke, Vietoris and Hausdorff Polynomial Functors (2023)
Adámek J, Milius S, Moss LS
Conference contribution
CRDTs, Coalgebraically (2023)
Liittschwager N, Tsampas S, Castello J, Kuper L
Conference contribution
Higher-Order Mathematical Operational Semantics (2023)
Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H
Conference contribution
Positive Data Languages (2023)
Frank F, Milius S, Urbat H
Journal article, Online publication
Action Codes (2023)
Vaandrager F, Wißmann T
Conference contribution
Nominal Topology for Data Languages (2023)
Birkmann F, Milius S, Urbat H
Conference contribution
Representing Guardedness in Call-By-Value (2023)
Goncharov S
Conference contribution
Quantitative Hennessy-Milner Theorems via Notions of Density (2023)
Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Conference contribution