Lehrstuhl für Informatik 8 (Theoretische Informatik)

Abstract Operational Methods for Call-by-Push-Value (2025) Goncharov S, Tsampas S, Urbat H Journal article DIREGA – Building Decision Support for German Register Law (2024) Adrian A, Basaran OA, Dykes N, Evert S, Gritz M, Humml M, Kohlhase M, et al. Conference contribution, Abstract of a poster A Unifying Categorical View of Nondeterministic Iteration and Tests (2024) Goncharov S, Uustalu T Conference contribution Nominal Tree Automata with Name Allocation (2024) Prucker S, Schröder L Conference contribution Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques (2024) D’Angelo K, Gurke S, Kirss JM, König B, Najafi M, Różowski W, Wild P Conference contribution Bialgebraic Reasoning on Higher-order Program Equivalence (2024) Goncharov S, Milius S, Tsampas S, Urbat H Conference contribution Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024) Wißmann T, Milius S Conference contribution Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution 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 COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC µ-CALCULI (2024) Hausmann D, Schröder L Journal article