Lutz Schröder

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 119

Top Venues

CoRR

CONCUR

Log. Methods Comput. Sci.

FoSSaCS

Publications

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. STACS (2024)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) (2024)
Simon Prucker, Lutz Schröder
Nominal Tree Automata With Name Allocation. CoRR (2024)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) (2024)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR (2024)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A point-free perspective on lax extensions and predicate liftings. Math. Struct. Comput. Sci. 34 (2) (2024)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics. CoRR (2024)
Nathan Dykes, Stephanie Evert, Philipp Heinrich, Merlin Humml, Lutz Schröder
Finding Argument Fragments on Social Media with Corpus Queries and LLMs. RATIO (2024)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS (2024)
Simon Prucker, Lutz Schröder
Nominal Tree Automata with Name Allocation. CONCUR (2024)
Daniel Hausmann, Lutz Schröder
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi. Log. Methods Comput. Sci. 20 (3) (2024)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR (2023)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS (2023)
Jonas Forster, Lutz Schröder, Paul Wild
Quantitative Graded Semantics and Spectra of Behavioural Metrics. CoRR (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CSL (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR (2023)
Merlin Humml, Lutz Schröder, Dirk Pattinson
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies. CoRR (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO (2023)
Merlin Humml, Lutz Schröder
Common Knowledge of Abstract Groups. AAAI (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR (2023)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. CoRR (2022)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. Log. Methods Comput. Sci. 18 (4) (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. CoRR (2022)
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
Graded Monads and Behavioural Equivalence Games. LICS (2022)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantalic Behavioural Distances. CoRR (2022)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log. 23 (2) (2022)
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
Uniform Interpolation in Coalgebraic Modal Logic. CoRR (2022)
Paul Wild, Lutz Schröder
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions. Log. Methods Comput. Sci. 18 (2) (2022)
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
Graded Monads and Behavioural Equivalence Games. CoRR (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. FSCD (2022)
Merlin Humml, Lutz Schröder
Common Knowledge of Abstract Groups. CoRR (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. CoRR (2022)
Daniel Hausmann, Lutz Schröder
Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. CoRR (2022)
Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder
Finitary monads on the category of posets. Math. Struct. Comput. Sci. 31 (7) (2021)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Explaining Behavioural Inequivalence Generically in Quasilinear Time. CONCUR (2021)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A metalanguage for guarded iteration. Theor. Comput. Sci. 880 (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CONCUR (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CoRR (2021)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From generic partition refinement to weighted tree automata minimization. Formal Aspects Comput. 33 (4-5) (2021)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR (2021)
Chase Ford, Stefan Milius, Lutz Schröder
Monads on Categories of Relational Structures. CALCO (2021)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Explaining Behavioural Inequivalence Generically in Quasilinear Time. CoRR (2021)
Daniel Hausmann, Lutz Schröder
Quasipolynomial Computation of Nested Fixpoints. TACAS (1) (2021)
Chase Ford, Stefan Milius, Lutz Schröder
Behavioural Preorders via Graded Monads. LICS (2021)
Daniel Hausmann, Stefan Milius, Lutz Schröder
A Linear-Time Nominal μ-Calculus with Name Allocation. MFCS (2021)
Merlin Göttlinger, Lutz Schröder, Dirk Pattinson
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. CSL (2021)
Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder
Argument parsing via corpus queries. it Inf. Technol. 63 (1) (2021)
Paul Wild, Lutz Schröder
A Quantified Coalgebraic van Benthem Theorem. FoSSaCS (2021)
Jonas Forster, Lutz Schröder
Non-Iterative Modal Logics Are Coalgebraic. AiML (2020)
Daniel Hausmann, Lutz Schröder
NP Reasoning in the Monotone μ-Calculus. IJCAR (1) (2020)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. Log. Methods Comput. Sci. 16 (1) (2020)
Chase Ford, Stefan Milius, Lutz Schröder
Behavioural Preorders via Graded Monads. CoRR (2020)
Paul Wild, Lutz Schröder
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. CONCUR (2020)
Barbara König, Christina Mika-Michalski, Lutz Schröder
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CoRR (2020)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From Generic Partition Refinement to Weighted Tree Automata Minimization. CoRR (2020)
Jonas Forster, Lutz Schröder
Non-iterative Modal Logics are Coalgebraic. CoRR (2020)
Barbara König, Christina Mika-Michalski, Lutz Schröder
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CMCS (2020)
Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder
Reconstructing Arguments from Noisy Text. Datenbank-Spektrum 20 (2) (2020)
Daniel Hausmann, Lutz Schröder
NP Reasoning in the Monotone $μ$-Calculus. CoRR (2020)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR (2020)
Henning Urbat, Lutz Schröder
Automata Learning: An Algebraic Approach. LICS (2020)
Daniel Hausmann, Stefan Milius, Lutz Schröder
Harnessing LTL With Freeze Quantification. CoRR (2020)
Paul Wild, Lutz Schröder
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. CoRR (2020)
Daniel Hausmann, Lutz Schröder
Optimal Satisfiability Checking for Arithmetic μ-Calculi. CoRR (2019)
Henning Urbat, Lutz Schröder
Automata Learning: An Algebraic Approach. CoRR (2019)
Ulrich Dorsch, Stefan Milius, Lutz Schröder
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. CONCUR (2019)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Generic Partition Refinement and Weighted Tree Automata. FM (2019)
Daniel Hausmann, Lutz Schröder
Computing Nested Fixpoints in Quasipolynomial Time. CoRR (2019)
Stefan Evert, Philipp Heinrich, Klaus Henselmann, Ulrich Rabenstein, Elisabeth Scherr, Martin Schmitt, Lutz Schröder
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures. J. Log. Lang. Inf. 28 (2) (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. IJCAI (2019)
Daniel Hausmann, Lutz Schröder
Game-Based Local Model Checking for the Coalgebraic mu-Calculus. CONCUR (2019)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Guarded and Unguarded Iteration for Generalized Processes. Log. Methods Comput. Sci. 15 (3) (2019)
Daniel Hausmann, Lutz Schröder
Optimal Satisfiability Checking for Arithmetic \mu -Calculi. FoSSaCS (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. CoRR (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Quantitative Probabilistic Modal Logic. CoRR (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CoRR (2018)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. CoRR (2018)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
CoPaR: An Efficient Generic Partition Refiner. CoRR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. CoRR (2018)
Stefan Kraus, Marc Rosenbauer, Lutz Schröder, Thomas Bürkle, Klaus-Peter Adlassnig, Dennis Toddenroth
A detailed analysis of the Arden Syntax expression grammar. J. Biomed. Informatics 83 (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. LICS (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CMCS (2018)
Sergey Goncharov, Lutz Schröder
Guarded Traced Categories. CoRR (2018)
Lutz Schröder, Yde Venema
Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. 19 (1) (2018)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A Metalanguage for Guarded Iteration. ICTAC (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder
Graded Monads for the Linear Time - Branching Time Spectrum. CoRR (2018)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Sergey Goncharov, Lutz Schröder
Guarded Traced Categories. FoSSaCS (2018)
Merlin Göttlinger, Lutz Schröder
Trichotomic Argumentation Representation. CoRR (2018)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
Unguarded Recursion on Coinductive Resumptions. Log. Methods Comput. Sci. 14 (3) (2018)
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. TACAS (2) (2018)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A Metalanguage for Guarded Iteration. CoRR (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Efficient Coalgebraic Partition Refinement. CONCUR (2017)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. 58 (2017)

Lutz Schröder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lutz Schröder