Lutz Schröder

268 papers A* 25A 11B 61C 4Misc 3Journal 129Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computing Distinguishing Formulae for Threshold-Based Behavioural Distances. CoRR Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora
2026	B	`conf`	Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. FoSSaCS Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster
2026	J	`jnl`	Nominal Automata with Name Deallocation. CoRR Simon Prucker, Stefan Milius, Lutz Schröder
2026	J	`jnl`	The Only Distributive Law Over the Powerset Monad Is the One You Know. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025	A*	`conf`	Alternating Nominal Automata with Name Allocation. LICS Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2025	A	`conf`	Automated Analysis and Synthesis of Message Authentication Codes. CSF Stefan Milius, Dominik Paulus, Dominique Schröder, Lutz Schröder, Julian Thomas
2025	J	`jnl`	Automated Analysis and Synthesis of Message Authentication Codes. IACR Cryptol. ePrint Arch. Stefan Milius, Dominik Paulus, Dominique Schröder, Lutz Schröder, Julian Thomas
2025	A*	`conf`	Behavioural Conformances based on Lax Couplings. LICS Paul Wild, Lutz Schröder
2025	J	`jnl`	Behavioural Conformances based on Lax Couplings. CoRR Paul Wild, Lutz Schröder
2025	J	`jnl`	Bialgebraic Reasoning on Stateful Languages. CoRR Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025	J	`jnl`	Bialgebraic Reasoning on Stateful Languages. Proc. ACM Program. Lang. Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025	A*	`conf`	Conformance Games for Graded Semantics. LICS Jonas Forster, Lutz Schröder, Paul Wild
2025	—	`conf`	Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. SPIN Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder
2025	J	`jnl`	Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. CoRR Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder
2025	J	`jnl`	Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. CoRR Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster
2025	J	`jnl`	Graded Monads in the Semantics of Nominal Automata. CoRR Hannes Schulze, Lutz Schröder, Üsame Cengiz
2025	A	`conf`	Identity-Preserving Lax Extensions and Where to Find Them. STACS Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025	J	`jnl`	Non-Expansive Fuzzy Coalgebraic Logic. CoRR Stefan Gebhart, Lutz Schröder, Paul Wild
2025	A*	`conf`	Non-expansive Fuzzy ALC. IJCAI Stefan Gebhart, Lutz Schröder, Paul Wild
2025	J	`jnl`	Non-expansive Fuzzy ALC. CoRR Stefan Gebhart, Lutz Schröder, Paul Wild
2025	B	`conf`	Quantitative Graded Semantics and Spectra of Behavioural Metrics. CSL Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2025	B	`conf`	Relational Connectors and Heterogeneous Simulations. FoSSaCS Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2025	A*	`conf`	Relators and Notions of Simulation Revisited. LICS Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025	J	`jnl`	Relators and Notions of Simulation Revisited. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024	J	`jnl`	A point-free perspective on lax extensions and predicate liftings. Math. Struct. Comput. Sci. Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024	J	`jnl`	Alternating Nominal Automata with Name Allocation. CoRR Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2024	J	`jnl`	Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. Log. Methods Comput. Sci. Daniel Hausmann, Lutz Schröder
2024	J	`jnl`	Conformance Games for Graded Semantics. CoRR Jonas Forster, Lutz Schröder, Paul Wild
2024	C	`conf`	DIREGA - Building Decision Support for German Register Law. JURIX Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schröder, Verena Stürmer
2024	A	`conf`	Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. STACS Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2024	—	`conf`	Finding Argument Fragments on Social Media with Corpus Queries and LLMs. RATIO Nathan Dykes, Stephanie Evert, Philipp Heinrich, Merlin Humml, Lutz Schröder
2024	—	`conf`	Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
2024	—	`conf`	Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
2024	J	`jnl`	Higher-Order Mathematical Operational Semantics. CoRR Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024	J	`jnl`	Identity-Preserving Lax Extensions and Where to Find Them. CoRR Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild
2024	—	`conf`	Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024	J	`jnl`	Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024	J	`jnl`	Nominal Tree Automata With Name Allocation. CoRR Simon Prucker, Lutz Schröder
2024	B	`conf`	Nominal Tree Automata with Name Allocation. CONCUR Simon Prucker, Lutz Schröder
2024	J	`jnl`	Relational Connectors and Heterogeneous Bisimulations. CoRR Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2023	A	`conf`	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
2023	J	`jnl`	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
2023	A*	`conf`	Common Knowledge of Abstract Groups. AAAI Merlin Humml, Lutz Schröder
2023	J	`jnl`	Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2023	J	`jnl`	Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
2023	J	`jnl`	Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2023	B	`conf`	Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023	B	`conf`	Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2023	J	`jnl`	Quantitative Graded Semantics and Spectra of Behavioural Metrics. CoRR Jonas Forster, Lutz Schröder, Paul Wild
2023	B	`conf`	Quantitative Hennessy-Milner Theorems via Notions of Density. CSL Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2023	J	`jnl`	The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies. CoRR Merlin Humml, Lutz Schröder, Dirk Pattinson
2023	J	`jnl`	Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023	A*	`conf`	Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2023	J	`jnl`	Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2022	J	`jnl`	Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions. Log. Methods Comput. Sci. Paul Wild, Lutz Schröder
2022	J	`jnl`	Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log. Clemens Kupke, Dirk Pattinson, Lutz Schröder
2022	J	`jnl`	Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. CoRR Daniel Hausmann, Lutz Schröder
2022	J	`jnl`	Common Knowledge of Abstract Groups. CoRR Merlin Humml, Lutz Schröder
2022	B	`ed.`	Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings FoSSaCS Patricia Bouyer, Lutz Schröder
2022	A*	`conf`	Graded Monads and Behavioural Equivalence Games. LICS Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
2022	J	`jnl`	Graded Monads and Behavioural Equivalence Games. CoRR Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
2022	J	`jnl`	Quantalic Behavioural Distances. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022	J	`jnl`	Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022	J	`jnl`	Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. CoRR Thorsten Wißmann, Stefan Milius, Lutz Schröder
2022	J	`jnl`	Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. Log. Methods Comput. Sci. Thorsten Wißmann, Stefan Milius, Lutz Schröder
2022	B	`conf`	Stateful Structural Operational Semantics. FSCD Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2022	J	`jnl`	Stateful Structural Operational Semantics. CoRR Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2022	J	`jnl`	Uniform Interpolation in Coalgebraic Modal Logic. CoRR Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
2021	B	`conf`	A Linear-Time Nominal μ-Calculus with Name Allocation. MFCS Daniel Hausmann, Stefan Milius, Lutz Schröder
2021	J	`jnl`	A Point-free Perspective on Lax extensions and Predicate liftings. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2021	B	`conf`	A Quantified Coalgebraic van Benthem Theorem. FoSSaCS Paul Wild, Lutz Schröder
2021	J	`jnl`	A metalanguage for guarded iteration. Theor. Comput. Sci. Sergey Goncharov, Christoph Rauch, Lutz Schröder
2021	J	`jnl`	Argument parsing via corpus queries. it Inf. Technol. Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder
2021	A*	`conf`	Behavioural Preorders via Graded Monads. LICS Chase Ford, Stefan Milius, Lutz Schröder
2021	B	`conf`	Explaining Behavioural Inequivalence Generically in Quasilinear Time. CONCUR Thorsten Wißmann, Stefan Milius, Lutz Schröder
2021	J	`jnl`	Explaining Behavioural Inequivalence Generically in Quasilinear Time. CoRR Thorsten Wißmann, Stefan Milius, Lutz Schröder
2021	J	`jnl`	Finitary monads on the category of posets. Math. Struct. Comput. Sci. Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder
2021	J	`jnl`	From generic partition refinement to weighted tree automata minimization. Formal Aspects Comput. Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
2021	B	`conf`	Monads on Categories of Relational Structures. CALCO Chase Ford, Stefan Milius, Lutz Schröder
2021	B	`conf`	Nominal Büchi Automata with Name Allocation. CONCUR Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021	J	`jnl`	Nominal Büchi Automata with Name Allocation. CoRR Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021	—	`conf`	Quasipolynomial Computation of Nested Fixpoints. TACAS (1) Daniel Hausmann, Lutz Schröder
2021	B	`conf`	The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. CSL Merlin Göttlinger, Lutz Schröder, Dirk Pattinson
2020	A*	`conf`	Automata Learning: An Algebraic Approach. LICS Henning Urbat, Lutz Schröder
2020	J	`jnl`	Behavioural Preorders via Graded Monads. CoRR Chase Ford, Stefan Milius, Lutz Schröder
2020	B	`conf`	Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. CONCUR Paul Wild, Lutz Schröder
2020	J	`jnl`	Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. CoRR Paul Wild, Lutz Schröder
2020	J	`jnl`	Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR Clemens Kupke, Dirk Pattinson, Lutz Schröder
2020	J	`jnl`	Efficient and Modular Coalgebraic Partition Refinement. Log. Methods Comput. Sci. Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
2020	J	`jnl`	Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CoRR Barbara König, Christina Mika-Michalski, Lutz Schröder
2020	—	`conf`	Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CMCS Barbara König, Christina Mika-Michalski, Lutz Schröder
2020	J	`jnl`	From Generic Partition Refinement to Weighted Tree Automata Minimization. CoRR Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
2020	J	`jnl`	Harnessing LTL With Freeze Quantification. CoRR Daniel Hausmann, Stefan Milius, Lutz Schröder
2020	J	`jnl`	NP Reasoning in the Monotone $μ$-Calculus. CoRR Daniel Hausmann, Lutz Schröder
2020	—	`conf`	NP Reasoning in the Monotone μ-Calculus. IJCAR (1) Daniel Hausmann, Lutz Schröder
2020	B	`conf`	Non-Iterative Modal Logics Are Coalgebraic. AiML Jonas Forster, Lutz Schröder
2020	J	`jnl`	Non-iterative Modal Logics are Coalgebraic. CoRR Jonas Forster, Lutz Schröder
2020	J	`jnl`	Reconstructing Arguments from Noisy Text. Datenbank-Spektrum Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder
2019	A*	`conf`	A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. IJCAI Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019	J	`jnl`	A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. CoRR Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019	J	`jnl`	Automata Learning: An Algebraic Approach. CoRR Henning Urbat, Lutz Schröder
2019	J	`jnl`	Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures. J. Log. Lang. Inf. Stefan Evert, Philipp Heinrich, Klaus Henselmann, Ulrich Rabenstein, Elisabeth Scherr, Martin Schmitt, Lutz Schröder
2019	J	`jnl`	Computing Nested Fixpoints in Quasipolynomial Time. CoRR Daniel Hausmann, Lutz Schröder
2019	B	`conf`	Game-Based Local Model Checking for the Coalgebraic mu-Calculus. CONCUR Daniel Hausmann, Lutz Schröder
2019	B	`conf`	Generic Partition Refinement and Weighted Tree Automata. FM Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2019	B	`conf`	Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. CONCUR Ulrich Dorsch, Stefan Milius, Lutz Schröder
2019	J	`jnl`	Guarded and Unguarded Iteration for Generalized Processes. Log. Methods Comput. Sci. Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2019	B	`conf`	Optimal Satisfiability Checking for Arithmetic \mu -Calculi. FoSSaCS Daniel Hausmann, Lutz Schröder
2019	J	`jnl`	Optimal Satisfiability Checking for Arithmetic μ-Calculi. CoRR Daniel Hausmann, Lutz Schröder
2018	C	`conf`	A Metalanguage for Guarded Iteration. ICTAC Sergey Goncharov, Christoph Rauch, Lutz Schröder
2018	J	`jnl`	A Metalanguage for Guarded Iteration. CoRR Sergey Goncharov, Christoph Rauch, Lutz Schröder
2018	J	`jnl`	A detailed analysis of the Arden Syntax expression grammar. J. Biomed. Informatics Stefan Kraus, Marc Rosenbauer, Lutz Schröder, Thomas Bürkle, Klaus-Peter Adlassnig, Dennis Toddenroth
2018	A*	`conf`	A van Benthem Theorem for Fuzzy Modal Logic. LICS Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018	J	`jnl`	A van Benthem Theorem for Fuzzy Modal Logic. CoRR Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018	J	`jnl`	A van Benthem Theorem for Quantitative Probabilistic Modal Logic. CoRR Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018	J	`jnl`	CoPaR: An Efficient Generic Partition Refiner. CoRR Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018	J	`jnl`	Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. Lutz Schröder, Yde Venema
2018	J	`jnl`	Efficient and Modular Coalgebraic Partition Refinement. CoRR Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
2018	J	`jnl`	Graded Monads for the Linear Time - Branching Time Spectrum. CoRR Ulrich Dorsch, Stefan Milius, Lutz Schröder
2018	B	`conf`	Guarded Traced Categories. FoSSaCS Sergey Goncharov, Lutz Schröder
2018	J	`jnl`	Guarded Traced Categories. CoRR Sergey Goncharov, Lutz Schröder
2018	J	`jnl`	Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2018	—	`conf`	Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. TACAS (2) Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
2018	—	`conf`	Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CMCS Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018	J	`jnl`	Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CoRR Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018	J	`jnl`	Trichotomic Argumentation Representation. CoRR Merlin Göttlinger, Lutz Schröder
2018	J	`jnl`	Unguarded Recursion on Coinductive Resumptions. Log. Methods Comput. Sci. Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
2017	A*	`conf`	A Characterization Theorem for a Modal Description Logic. IJCAI Paul Wild, Lutz Schröder
2017	J	`jnl`	A Characterization Theorem for a Modal Description Logic. CoRR Paul Wild, Lutz Schröder
2017	J	`jnl`	A Coalgebraic Paige-Tarjan Algorithm. CoRR Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2017	J	`jnl`	A Van Benthem/Rosen theorem for coalgebraic predicate logic. J. Log. Comput. Lutz Schröder, Dirk Pattinson, Tadeusz Litak
2017	B	`conf`	Automatic verification of application-tailored OSEK kernels. FMCAD Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
2017	B	`conf`	Efficient Coalgebraic Partition Refinement. CONCUR Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2017	J	`jnl`	Guarded and Unguarded Iteration for Generalized Processes. CoRR Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2017	J	`jnl`	Model Theory and Proof Theory of CPL. CoRR Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2017	B	`conf`	Nominal Automata with Name Binding. FoSSaCS Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
2017	Misc	`conf`	Ontological Modelling of a Psychiatric Clinical Practice Guideline. KI Daniel Gorín, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schröder
2017	J	`jnl`	Permutation Games for the Weakly Aconjunctive mu-Calculus. CoRR Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
2017	J	`jnl`	Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2017	B	`conf`	Uniform Interpolation in Coalgebraic Modal Logic. CALCO Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
2017	B	`conf`	Unifying Guarded and Unguarded Iteration. FoSSaCS Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2016	—	`conf`	Generic Hoare Logic for Order-Enriched Effects with Exceptions. WADT Christoph Rauch, Sergey Goncharov, Lutz Schröder
2016	B	`conf`	Global Caching for the Alternation-free μ-Calculus. CONCUR Daniel Hausmann, Lutz Schröder, Christoph Egger
2016	J	`jnl`	Global Caching for the Alternation-free μ-Calculus. CoRR Daniel Hausmann, Lutz Schröder, Christoph Egger
2016	J	`jnl`	Nominal Automata with Name Binding. CoRR Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
2016	A*	`conf`	Program Equivalence is Coinductive. LICS Dirk Pattinson, Lutz Schröder
2016	J	`jnl`	Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets. Appl. Categorical Struct. Stefan Milius, Lutz Schröder, Thorsten Wißmann
2016	J	`jnl`	Regular Behaviours with Names. CoRR Stefan Milius, Lutz Schröder, Thorsten Wißmann
2015	J	`jnl`	From the Editors. J. Comput. Syst. Sci. Dirk Pattinson, Lutz Schröder
2015	B	`conf`	Generic Trace Semantics and Graded Monads. CALCO Stefan Milius, Dirk Pattinson, Lutz Schröder
2015	C	`conf`	Global Caching for the Flat Coalgebraic µ-Calculus. TIME Daniel Hausmann, Lutz Schröder
2015	J	`jnl`	On Inconsistency and Unsatisfiability. Int. J. Softw. Informatics Till Mossakowski, Lutz Schröder
2015	B	`conf`	Reasoning with Global Assumptions in Arithmetic Modal Logics. FCT Clemens Kupke, Dirk Pattinson, Lutz Schröder
2015	—	`conf`	Simplified Coalgebraic Trace Equivalence. Software, Services, and Systems Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2015	B	`conf`	Sound and Complete Equational Reasoning over Comodels. MFPS Dirk Pattinson, Lutz Schröder
2015	B	`conf`	Unguarded Recursion on Coinductive Resumptions. MFPS Sergey Goncharov, Christoph Rauch, Lutz Schröder
2014	J	`jnl`	(Co-)Algebraic Foundations for Effect Handling and Iteration. CoRR Sergey Goncharov, Lutz Schröder, Christoph Rauch
2014	A	`conf`	Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). IJCAR Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
2014	—	`conf`	Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder
2014	J	`jnl`	Simplified Coalgebraic Trace Equivalence. CoRR Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2014	B	`conf`	Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. Advances in Modal Logic Daniel Gorín, Lutz Schröder
2014	J	`jnl`	Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. CoRR Daniel Gorín, Lutz Schröder
2014	—	`conf`	Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOMI@FOIS Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2014	C	`conf`	Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2013	A*	`conf`	A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. LICS Sergey Goncharov, Lutz Schröder
2013	J	`jnl`	A coinductive calculus for asynchronous side-effecting processes. Inf. Comput. Sergey Goncharov, Lutz Schröder
2013	—	`conf`	Coalgebraic Announcement Logics. ICALP (2) Facundo Carreiro, Daniel Gorín, Lutz Schröder
2013	J	`jnl`	Exploring the Boundaries of Monad Tensorability on Set. Log. Methods Comput. Sci. Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder
2013	J	`jnl`	Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds. Inf. Fusion Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder
2013	B	`conf`	Preface to CALCO-Tools. CALCO Lutz Schröder
2013	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Till Mossakowski, Markus Roggenbach, Lutz Schröder
2013	—	`conf`	Reasoning with Bounded Self-reference Using Logical Interpreters. Description Logics Daniel Gorín, Lutz Schröder, Thorsten Wißmann
2013	J	`jnl`	Simulations and Bisimulations For Coalgebraic Modal Logics CoRR Daniel Gorín, Lutz Schröder
2013	B	`conf`	Simulations and Bisimulations for Coalgebraic Modal Logics. CALCO Daniel Gorín, Lutz Schröder
2013	A*	`conf`	Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. IJCAI Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder
2013	J	`jnl`	Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2012	—	`ed.`	Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers CMCS Dirk Pattinson, Lutz Schröder
2012	—	`conf`	Coalgebraic Predicate Logic. ICALP (2) Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2012	B	`conf`	Extending ALCQ with Bounded Self-Reference. Advances in Modal Logic Daniel Gorín, Lutz Schröder
2012	B	`conf`	Narcissists Are Easy, Stepmothers Are Hard. FoSSaCS Daniel Gorín, Lutz Schröder
2011	A*	`conf`	A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2011	B	`conf`	A Coinductive Calculus for Asynchronous Side-Effecting Processes. FCT Sergey Goncharov, Lutz Schröder
2011	J	`jnl`	A Coinductive Calculus for Asynchronous Side-effecting Processes CoRR Sergey Goncharov, Lutz Schröder
2011	B	`conf`	A Counterexample to Tensorability of Effects. CALCO Sergey Goncharov, Lutz Schröder
2011	A*	`conf`	Description Logics and Fuzzy Probability. IJCAI Lutz Schröder, Dirk Pattinson
2011	B	`conf`	Formalizing and Operationalizing Industrial Standards. FASE Dominik Dietrich, Lutz Schröder, Ewaryst Schulz
2011	J	`jnl`	Generic Modal Cut Elimination Applied to Conditional Logics Log. Methods Comput. Sci. Dirk Pattinson, Lutz Schröder
2011	J	`jnl`	Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds CoRR Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder
2011	J	`jnl`	Modal Logics are Coalgebraic. Comput. J. Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2011	J	`jnl`	Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Math. Struct. Comput. Sci. Lutz Schröder, Dirk Pattinson
2011	J	`jnl`	Powermonads and Tensors of Unranked Effects CoRR Sergey Goncharov, Lutz Schröder
2011	A*	`conf`	Powermonads and Tensors of Unranked Effects. LICS Sergey Goncharov, Lutz Schröder
2011	—	`conf`	The Complexity of Probabilistic EL. Description Logics Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder
2010	J	`jnl`	A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. Till Mossakowski, Lutz Schröder, Sergey Goncharov
2010	B	`conf`	Coalgebraic Correspondence Theory. FoSSaCS Lutz Schröder, Dirk Pattinson
2010	J	`jnl`	Cut elimination in coalgebraic logics. Inf. Comput. Dirk Pattinson, Lutz Schröder
2010	B	`conf`	Flat Coalgebraic Fixed Point Logics. CONCUR Lutz Schröder, Yde Venema
2010	J	`jnl`	Flat coalgebraic fixed point logics CoRR Lutz Schröder, Yde Venema
2010	A	`conf`	Global Caching for Coalgebraic Description Logics. IJCAR Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
2010	J	`jnl`	Named Models in Coalgebraic Hybrid Logic CoRR Lutz Schröder, Dirk Pattinson
2010	A	`conf`	Named Models in Coalgebraic Hybrid Logic. STACS Lutz Schröder, Dirk Pattinson
2010	A	`conf`	Optimal Tableaux for Conditional Logics with Cautious Monotonicity. ECAI Lutz Schröder, Dirk Pattinson, Daniel Hausmann
2010	A*	`conf`	Probabilistic Description Logics for Subjective Uncertainty. KR Carsten Lutz, Lutz Schröder
2010	J	`jnl`	Rank-1 Modal Logics are Coalgebraic. J. Log. Comput. Lutz Schröder, Dirk Pattinson
2009	B	`conf`	Coalgebraic Hybrid Logic. FoSSaCS Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
2009	B	`conf`	Formal Management of CAD/CAM Processes. FM Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz
2009	B	`conf`	Generic Modal Cut Elimination Applied to Conditional Logics. TABLEAUX Dirk Pattinson, Lutz Schröder
2009	J	`jnl`	HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. Lutz Schröder, Till Mossakowski
2009	B	`conf`	Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO Sergey Goncharov, Lutz Schröder, Till Mossakowski
2009	A*	`conf`	Nominals for Everyone. IJCAI Lutz Schröder, Dirk Pattinson, Clemens Kupke
2009	—	`conf`	Optimizing Conditional Logic Reasoning within CoLoSS. M4M Daniel Hausmann, Lutz Schröder
2009	J	`jnl`	PSPACE bounds for rank-1 modal logics. ACM Trans. Comput. Log. Lutz Schröder, Dirk Pattinson
2009	J	`jnl`	Strong Completeness of Coalgebraic Modal Logics CoRR Lutz Schröder, Dirk Pattinson
2009	A	`conf`	Strong Completeness of Coalgebraic Modal Logics. STACS Lutz Schröder, Dirk Pattinson
2008	B	`conf`	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE Till Mossakowski, Lutz Schröder, Sergey Goncharov
2008	—	`conf`	Admissibility of Cut in Coalgebraic Logics. CMCS Dirk Pattinson, Lutz Schröder
2008	B	`conf`	Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. FoSSaCS Dirk Pattinson, Lutz Schröder
2008	J	`jnl`	Bootstrapping Inductive and Coinductive Types in HasCASL CoRR Lutz Schröder
2008	J	`jnl`	Bootstrapping Inductive and Coinductive Types in HasCASL. Log. Methods Comput. Sci. Lutz Schröder
2008	J	`jnl`	Expressivity of coalgebraic modal logic: The limits and beyond. Theor. Comput. Sci. Lutz Schröder
2008	A*	`conf`	How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. KR Lutz Schröder, Dirk Pattinson
2008	—	`conf`	Modal Logics are Coalgebraic. BCS Int. Acad. Conf. Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2008	Misc	`conf`	Shallow Models for Non-iterative Modal Logics. KI Lutz Schröder, Dirk Pattinson
2008	J	`jnl`	The craft of model making: PSPACE bounds for non-iterative modal logics CoRR Lutz Schröder, Dirk Pattinson
2007	J	`jnl`	A finite model construction for coalgebraic modal logic. J. Log. Algebraic Methods Program. Lutz Schröder
2007	J	`jnl`	An Institutional View on Categorical Logic. Int. J. Softw. Informatics Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder
2007	B	`conf`	Bootstrapping Types and Cotypes in HasCASL. CALCO Lutz Schröder
2007	—	`conf`	CoLoSS: The Coalgebraic Logic Satisfiability Solver. M4M Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
2007	A*	`conf`	Modular Algorithms for Heterogeneous Modal Logics. ICALP Lutz Schröder, Dirk Pattinson
2007	J	`jnl`	PSPACE Bounds for Rank-1 Modal Logics CoRR Lutz Schröder, Dirk Pattinson
2007	Misc	`conf`	Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS Stefan Wölfl, Till Mossakowski, Lutz Schröder
2007	A	`conf`	Rank-1 Modal Logics Are Coalgebraic. STACS Lutz Schröder, Dirk Pattinson
2006	B	`conf`	A Finite Model Construction for Coalgebraic Modal Logic. FoSSaCS Lutz Schröder
2006	J	`jnl`	A coalgebraic approach to the semantics of the ambient calculus. Theor. Comput. Sci. Daniel Hausmann, Till Mossakowski, Lutz Schröder
2006	J	`jnl`	Algebraic-coalgebraic specification in CoCasl. J. Log. Algebraic Methods Program. Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
2006	A	`conf`	Closing a Million-Landmarks Loop. IROS Udo Frese, Lutz Schröder
2006	—	`conf`	Coalgebraic Modal Logic in CoCasl. WADT Lutz Schröder, Till Mossakowski
2006	B	`conf`	Completeness of Global Evaluation Logic. MFCS Sergey Goncharov, Lutz Schröder, Till Mossakowski
2006	A*	`conf`	PSPACE Bounds for Rank-1 Modal Logics. LICS Lutz Schröder, Dirk Pattinson
2006	J	`jnl`	The HASCASL prologue: Categorical syntax and semantics of the partial Theor. Comput. Sci. Lutz Schröder
2005	J	`jnl`	Amalgamation in the semantics of CASL. Theor. Comput. Sci. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2005	B	`conf`	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. FoSSaCS Lutz Schröder
2005	B	`conf`	Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE Daniel Hausmann, Till Mossakowski, Lutz Schröder
2005	B	`conf`	Parametrized Exceptions. CALCO Dennis Walter, Lutz Schröder, Till Mossakowski
2005	—	`conf`	Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration Stefan Wölfl, Till Mossakowski, Lutz Schröder
2005	B	`conf`	Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO Daniel Hausmann, Till Mossakowski, Lutz Schröder
2004	—	`conf`	CCC - The Casl Consistency Checker. WADT Christoph Lüth, Markus Roggenbach, Lutz Schröder
2004	—	`conf`	Generic Exception Handling and the Java Monad. AMAST Lutz Schröder, Till Mossakowski
2004	J	`jnl`	Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. Lutz Schröder, Till Mossakowski
2004	B	`conf`	The Logic of the Partial lambda-Calculus with Equality. CSL Lutz Schröder
2004	—	`conf`	Type Class Polymorphism in an Institutional Framework. WADT Lutz Schröder, Till Mossakowski, Christoph Lüth
2003	—	`conf`	CoCASL at Work -- Modelling Process Algebra. CMCS Till Mossakowski, Markus Roggenbach, Lutz Schröder
2003	B	`conf`	Henkin Models of the Partial sigma-Calculus. CSL Lutz Schröder
2003	B	`conf`	Monad-Independent Hoare Logic in HASCASL. FASE Lutz Schröder, Till Mossakowski
2002	—	`conf`	Algebraic-Coalgebraic Specification in Co Casl. WADT Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
2002	—	`conf`	Classifying categories for partial equational logic. CTCS Lutz Schröder
2002	—	`conf`	HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST Lutz Schröder, Till Mossakowski
2002	—	`conf`	Monad-Independent Dynamic Logic in Has Casl. WADT Lutz Schröder, Till Mossakowski
2002	J	`jnl`	Monads on Composition Graphs. Appl. Categorical Struct. Lutz Schröder
2002	J	`jnl`	Universal Aspects of Probabilistic Automata. Math. Struct. Comput. Sci. Lutz Schröder, Paulo Mateus
2001	A*	`conf`	Amalgamation in CASL via Enriched Signatures. ICALP Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
2001	B	`conf`	Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
2001	J	`jnl`	Free Factorizations. Appl. Categorical Struct. Lutz Schröder, Horst Herrlich
2001	B	`conf`	Life without the Terminal Type. CSL Lutz Schröder
2001	B	`conf`	Semantics of Architectural Specifications in CASL. FASE Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2001	—	`conf`	Towards Trustworthy Specifications I: Consistency Checks. WADT Markus Roggenbach, Lutz Schröder
2000	J	`jnl`	Free Adjunction of Morphisms. Appl. Categorical Struct. Lutz Schröder, Horst Herrlich
1999	—	`conf`	Specifying Real Numbers in CASL. WADT Markus Roggenbach, Lutz Schröder, Till Mossakowski