Lutz Schröder
Friedrich-Alexander-Universität Erlangen-Nürnberg
H-index: 29
Europe-Germany
Top articles of Lutz Schröder
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Point-free Perspective on Lax extensions and Predicate liftings | Mathematical Structures in Computer Science | Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild | 2024/2 |
Logical Predicates in Higher-Order Mathematical Operational Semantics | Sergey Goncharov Alessio Santamaria Lutz Schröder Stelios Tsampas Henning Urbat | 2024/4/6 | |
Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild | 2023/4/21 | |
Weak similarity in higher-order mathematical operational semantics | Henning Urbat Stelios Tsampas Sergey Goncharov Stefan Milius Lutz Schröder | 2023/6/26 | |
Towards a higher-order mathematical operational semantics | Proceedings of the ACM on Programming Languages | Sergey Goncharov Stefan Milius Lutz Schröder Stelios Tsampas Henning Urbat | 2023/1/9 |
Common knowledge of abstract groups | Proceedings of the AAAI Conference on Artificial Intelligence | Merlin Humml Lutz Schröder | 2023/6/26 |
Generic Model Checking for Modal Fixpoint Logics in COOL-MC | Daniel Hausmann Merlin Humml Simon Prucker Lutz Schröder Aaron Strahlberger | 2023/12/30 | |
Higher-Order Mathematical Operational Semantics (Early Ideas) | Sergey Goncharov Stefan Milius Lutz Schröder Stelios Tsampas Henning Urbat | 2023 | |
Quantitative Graded Semantics and Spectra of Behavioural Metrics | arXiv preprint arXiv:2306.01487 | Jonas Forster Lutz Schröder Paul Wild | 2023/6/2 |
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach | arXiv preprint arXiv:2310.05711 | Harsh Beohar Sebastian Gurke Barbara König Karla Messing Jonas Forster | 2023/10/9 |
Formal verification of necessary and sufficient evidence in forensic event reconstruction | Proceedings of Digital Forensics Research Conference Europe (DFRWS EU) | Jan Gruber Merlin Humml Lutz Schröder Felix C Freiling | 2023 |
The Alternating-Time\mu-Calculus With Disjunctive Explicit Strategies | arXiv preprint arXiv:2305.18795 | Merlin Humml Lutz Schröder Dirk Pattinson | 2023/5/30 |
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras | arXiv preprint arXiv:2307.14826 | Jonas Forster Lutz Schröder Paul Wild Harsh Beohar Sebastian Gurke | 2023/7/27 |
Quantitative Hennessy-Milner theorems via notions of density | arXiv preprint arXiv:2207.09187 | Jonas Forster Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder | 2022/7/19 |
COOL 2--A Generic Reasoner for Modal Fixpoint Logics | arXiv preprint arXiv:2305.11015 | Oliver Görlitz Daniel Hausmann Merlin Humml Dirk Pattinson Simon Prucker | 2023/5/18 |
COOL 2–A Generic Reasoner for Modal Fixpoint Logics (System Description) | Oliver Görlitz Daniel Hausmann Merlin Humml Dirk Pattinson Simon Prucker | 2023/7/1 | |
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice … | Mogens Nielsen Uffe Engberg | 2002/3/22 | |
Quasilinear-time computation of generic modal witnesses for behavioural inequivalence | Logical Methods in Computer Science | Thorsten Wißmann Stefan Milius Lutz Schröder | 2022/11/17 |
Graded monads and behavioural equivalence games | Chase Ford Stefan Milius Lutz Schröder Harsh Beohar Barbara König | 2022/8/2 | |
Characteristic logics for behavioural hemimetrics via fuzzy lax extensions | Logical Methods in Computer Science | Paul Wild Lutz Schröder | 2022/6/15 |