| 2026 | CONCUR | Threshold-Based Behavioural Distances. | Jonas Forster, Lutz Schrder, Paul Wild, Barbara Knig, Pedro Nora |
| 2026 | CONCUR | Graded Semantics of Nominal Systems. | Hannes Schulze, Lutz Schrder, same Cengiz |
| 2026 | FOSSACS | Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. | Paul Wild, Lutz Schrder, Karla Messing, Barbara Knig, Jonas Forster |
| 2025 | CSL | Quantitative Graded Semantics and Spectra of Behavioural Metrics. | Jonas Forster, Lutz Schrder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing |
| 2025 | FOSSACS | Relational Connectors and Heterogeneous Simulations. | Pedro Nora, Jurriaan Rot, Lutz Schrder, Paul Wild |
| 2025 | IJCAI | Non-expansive Fuzzy ALC. | Stefan Gebhart, Lutz Schrder, Paul Wild |
| 2025 | LICS | Conformance Games for Graded Semantics. | Jonas Forster, Lutz Schrder, Paul Wild |
| 2025 | LICS | Alternating Nominal Automata with Name Allocation. | Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schrder, Henning Urbat |
| 2025 | LICS | Relators and Notions of Simulation Revisited. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2025 | LICS | Behavioural Conformances based on Lax Couplings. | Paul Wild, Lutz Schrder |
| 2025 | STACS | Identity-Preserving Lax Extensions and Where to Find Them. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2024 | CONCUR | Nominal Tree Automata with Name Allocation. | Simon Prucker, Lutz Schrder |
| 2024 | FOSSACS | Logical Predicates in Higher-Order Mathematical Operational Semantics. | Sergey Goncharov, Alessio Santamaria, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2024 | JURIX | DIREGA - Building Decision Support for German Register Law. | Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schrder, Verena Strmer |
| 2024 | STACS | Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. | Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing, Jonas Forster, Lutz Schrder, Paul Wild |
| 2024 | VMCAI | Generic Model Checking for Modal Fixpoint Logics in COOL-MC. | Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schrder, Aaron Strahlberger |
| 2023 | AAAI | Common Knowledge of Abstract Groups. | Merlin Humml, Lutz Schrder |
| 2023 | CADE | COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). | Oliver Grlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schrder |
| 2023 | CALCO | Higher-Order Mathematical Operational Semantics (Early Ideas). | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2023 | CSL | Quantitative Hennessy-Milner Theorems via Notions of Density. | Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | FOSSACS | Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | LICS | Weak Similarity in Higher-Order Mathematical Operational Semantics. | Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schrder |
| 2022 | FSCD | Stateful Structural Operational Semantics. | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2022 | LICS | Graded Monads and Behavioural Equivalence Games. | Chase Ford, Stefan Milius, Lutz Schrder, Harsh Beohar, Barbara Knig |
| 2021 | CALCO | Monads on Categories of Relational Structures. | Chase Ford, Stefan Milius, Lutz Schrder |
| 2021 | CONCUR | Nominal Bchi Automata with Name Allocation. | Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schrder |
| 2021 | CONCUR | Explaining Behavioural Inequivalence Generically in Quasilinear Time. | Thorsten Wimann, Stefan Milius, Lutz Schrder |
| 2021 | CSL | The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. | Merlin Gttlinger, Lutz Schrder, Dirk Pattinson |
| 2021 | FOSSACS | A Quantified Coalgebraic van Benthem Theorem. | Paul Wild, Lutz Schrder |
| 2021 | LICS | Behavioural Preorders via Graded Monads. | Chase Ford, Stefan Milius, Lutz Schrder |
| 2021 | MFCS | A Linear-Time Nominal μ-Calculus with Name Allocation. | Daniel Hausmann, Stefan Milius, Lutz Schrder |
| 2021 | TACAS | Quasipolynomial Computation of Nested Fixpoints. | Daniel Hausmann, Lutz Schrder |
| 2020 | AiML | Non-Iterative Modal Logics Are Coalgebraic. | Jonas Forster, Lutz Schrder |
| 2020 | CADE | NP Reasoning in the Monotone μ-Calculus. | Daniel Hausmann, Lutz Schrder |
| 2020 | CONCUR | Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. | Paul Wild, Lutz Schrder |
| 2020 | LICS | Automata Learning: An Algebraic Approach. | Henning Urbat, Lutz Schrder |
| 2019 | CONCUR | Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. | Ulrich Dorsch, Stefan Milius, Lutz Schrder |
| 2019 | CONCUR | Game-Based Local Model Checking for the Coalgebraic mu-Calculus. | Daniel Hausmann, Lutz Schrder |
| 2019 | FM | Generic Partition Refinement and Weighted Tree Automata. | Hans-Peter Deifel, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2019 | FOSSACS | Optimal Satisfiability Checking for Arithmetic \mu -Calculi. | Daniel Hausmann, Lutz Schrder |
| 2019 | IJCAI | A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2018 | FOSSACS | Guarded Traced Categories. | Sergey Goncharov, Lutz Schrder |
| 2018 | ICTAC | A Metalanguage for Guarded Iteration. | Sergey Goncharov, Christoph Rauch, Lutz Schrder |
| 2018 | LICS | A van Benthem Theorem for Fuzzy Modal Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2018 | TACAS | Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. | Daniel Hausmann, Lutz Schrder, Hans-Peter Deifel |
| 2017 | CALCO | Uniform Interpolation in Coalgebraic Modal Logic. | Fatemeh Seifan, Lutz Schrder, Dirk Pattinson |
| 2017 | CONCUR | Efficient Coalgebraic Partition Refinement. | Ulrich Dorsch, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2017 | FMCAD | Automatic verification of application-tailored OSEK kernels. | Hans-Peter Deifel, Merlin Gttlinger, Stefan Milius, Lutz Schrder, Christian Dietrich, Daniel Lohmann |
| 2017 | FOSSACS | Unifying Guarded and Unguarded Iteration. | Sergey Goncharov, Lutz Schrder, Christoph Rauch, Maciej Pirg |
| 2017 | FOSSACS | Nominal Automata with Name Binding. | Lutz Schrder, Dexter Kozen, Stefan Milius, Thorsten Wimann |
| 2017 | IJCAI | A Characterization Theorem for a Modal Description Logic. | Paul Wild, Lutz Schrder |
| 2017 | KI | Ontological Modelling of a Psychiatric Clinical Practice Guideline. | Daniel Gorn, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schrder |
| 2016 | CONCUR | Global Caching for the Alternation-free μ-Calculus. | Daniel Hausmann, Lutz Schrder, Christoph Egger |
| 2016 | LICS | Program Equivalence is Coinductive. | Dirk Pattinson, Lutz Schrder |
| 2015 | CALCO | Generic Trace Semantics and Graded Monads. | Stefan Milius, Dirk Pattinson, Lutz Schrder |
| 2015 | FCT | Reasoning with Global Assumptions in Arithmetic Modal Logics. | Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2015 | TIME | Global Caching for the Flat Coalgebraic -Calculus. | Daniel Hausmann, Lutz Schrder |
| 2014 | AiML | Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. | Daniel Gorn, Lutz Schrder |
| 2014 | CADE | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). | Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann |
| 2014 | FOIS | Towards Ontological Support for Principle Solutions in Mechanical Engineering. | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack |
| 2014 | FOIS | Towards Ontological Support for Principle Solutions in Mechanical Engineering. | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack |
| 2014 | ICALP | Monodic Fragments of Probabilistic First-Order Logic. | Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schrder |
| 2013 | CALCO | Simulations and Bisimulations for Coalgebraic Modal Logics. | Daniel Gorn, Lutz Schrder |
| 2013 | CALCO | Preface to CALCO-Tools. | Lutz Schrder |
| 2013 | ICALP | Coalgebraic Announcement Logics. | Facundo Carreiro, Daniel Gorn, Lutz Schrder |
| 2013 | IJCAI | Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. | Agnieszka Kulacka, Dirk Pattinson, Lutz Schrder |
| 2013 | LICS | A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. | Sergey Goncharov, Lutz Schrder |
| 2012 | AiML | Extending ALCQ with Bounded Self-Reference. | Daniel Gorn, Lutz Schrder |
| 2012 | FOSSACS | Narcissists Are Easy, Stepmothers Are Hard. | Daniel Gorn, Lutz Schrder |
| 2012 | ICALP | Coalgebraic Predicate Logic. | Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schrder |
| 2011 | AAAI | A Closer Look at the Probabilistic Description Logic Prob-EL. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schrder |
| 2011 | CALCO | A Counterexample to Tensorability of Effects. | Sergey Goncharov, Lutz Schrder |
| 2011 | FASE | Formalizing and Operationalizing Industrial Standards. | Dominik Dietrich, Lutz Schrder, Ewaryst Schulz |
| 2011 | FCT | A Coinductive Calculus for Asynchronous Side-Effecting Processes. | Sergey Goncharov, Lutz Schrder |
| 2011 | IJCAI | Description Logics and Fuzzy Probability. | Lutz Schrder, Dirk Pattinson |
| 2011 | LICS | Powermonads and Tensors of Unranked Effects. | Sergey Goncharov, Lutz Schrder |
| 2010 | CADE | Global Caching for Coalgebraic Description Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2010 | CONCUR | Flat Coalgebraic Fixed Point Logics. | Lutz Schrder, Yde Venema |
| 2010 | ECAI | Optimal Tableaux for Conditional Logics with Cautious Monotonicity. | Lutz Schrder, Dirk Pattinson, Daniel Hausmann |
| 2010 | FOSSACS | Coalgebraic Correspondence Theory. | Lutz Schrder, Dirk Pattinson |
| 2010 | KR | Probabilistic Description Logics for Subjective Uncertainty. | Carsten Lutz, Lutz Schrder |
| 2010 | STACS | Named Models in Coalgebraic Hybrid Logic. | Lutz Schrder, Dirk Pattinson |
| 2009 | CALCO | Kleene Monads: Handling Iteration in a Framework of Generic Effects. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |
| 2009 | FM | Formal Management of CAD/CAM Processes. | Michael Kohlhase, Johannes Lemburg, Lutz Schrder, Ewaryst Schulz |
| 2009 | FOSSACS | Coalgebraic Hybrid Logic. | Robert S. R. Myers, Dirk Pattinson, Lutz Schrder |
| 2009 | IJCAI | Nominals for Everyone. | Lutz Schrder, Dirk Pattinson, Clemens Kupke |
| 2009 | STACS | Strong Completeness of Coalgebraic Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2009 | TABLEAUX | Generic Modal Cut Elimination Applied to Conditional Logics. | Dirk Pattinson, Lutz Schrder |
| 2008 | FASE | A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. | Till Mossakowski, Lutz Schrder, Sergey Goncharov |
| 2008 | FOSSACS | Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. | Dirk Pattinson, Lutz Schrder |
| 2008 | KI | Shallow Models for Non-iterative Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2008 | KR | How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. | Lutz Schrder, Dirk Pattinson |
| 2007 | CALCO | Bootstrapping Types and Cotypes in HasCASL. | Lutz Schrder |
| 2007 | FlAIRS | Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. | Stefan Wlfl, Till Mossakowski, Lutz Schrder |
| 2007 | ICALP | Modular Algorithms for Heterogeneous Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2007 | STACS | Rank-1 Modal Logics Are Coalgebraic. | Lutz Schrder, Dirk Pattinson |
| 2006 | FOSSACS | A Finite Model Construction for Coalgebraic Modal Logic. | Lutz Schrder |
| 2006 | IROS | Closing a Million-Landmarks Loop. | Udo Frese, Lutz Schrder |
| 2006 | LICS | PSPACE Bounds for Rank-1 Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2006 | MFCS | Completeness of Global Evaluation Logic. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |
| 2005 | CALCO | Towards a Coalgebraic Semantics of the Ambient Calculus. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |
| 2005 | CALCO | Parametrized Exceptions. | Dennis Walter, Lutz Schrder, Till Mossakowski |
| 2005 | FASE | Iterative Circular Coinduction for CoCasl in Isabelle/HOL. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |
| 2005 | FOSSACS | Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. | Lutz Schrder |
| 2004 | CSL | The Logic of the Partial lambda-Calculus with Equality. | Lutz Schrder |
| 2003 | CSL | Henkin Models of the Partial sigma-Calculus. | Lutz Schrder |
| 2003 | FASE | Monad-Independent Hoare Logic in HASCASL. | Lutz Schrder, Till Mossakowski |
| 2001 | CSL | Life without the Terminal Type. | Lutz Schrder |
| 2001 | FASE | Semantics of Architectural Specifications in CASL. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 2001 | ICALP | Amalgamation in CASL via Enriched Signatures. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki |
| 2001 | MFCS | Checking Amalgamability Conditions for C ASL Architectural Specifications. | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski |