| Automatic verification of application-tailored OSEK kernels HP Deifel, M Göttlinger, S Milius, L Schröder, C Dietrich, D Lohmann Proceedings of the 17th Conference on Formal Methods in Computer-Aided …, 2017 | 11 | 2017 |
| Formal Verification of Necessary and Suficient Evidence in Forensic Event Reconstruction J Gruber, M Humml, L Schröder, FC Freiling Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU …, 2023 | 6 | 2023 |
| Reconstructing Arguments from Noisy Text N Dykes, S Evert, M Göttlinger, P Heinrich, L Schröder Datenbank-Spektrum 20 (2), 123-129, 2020 | 5 | 2020 |
| Argumentation Schemes for Blockchain Deanonymisation D Deuber, J Gruber, M Humml, V Ronge, N Scheler FinTech 3 (2), 236-248, 2024 | 3 | 2024 |
| COOL 2–A Generic Reasoner for Modal Fixpoint Logics (System Description) O Görlitz, D Hausmann, M Humml, D Pattinson, S Prucker, L Schröder International Conference on Automated Deduction, 234-247, 2023 | 3 | 2023 |
| A Formal Treatment of Expressiveness and Relevance of Digital Evidence J Gruber, M Humml Digital Threats: Research and Practice, 2023 | 3 | 2023 |
| Common Knowledge of Abstract Groups M Humml, L Schröder Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6434-6441, 2023 | 2 | 2023 |
| Argument parsing via corpus queries N Dykes, S Evert, M Göttlinger, P Heinrich, L Schröder it-Information Technology 63 (1), 31-44, 2021 | 2 | 2021 |
| The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies M Göttlinger, L Schröder, D Pattinson 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 2* | 2021 |
| Generic Model Checking for Modal Fixpoint Logics in COOL-MC D Hausmann, M Humml, S Prucker, L Schröder, A Strahlberger International Conference on Verification, Model Checking, and Abstract …, 2023 | 1 | 2023 |
| Method for generating a depth map using a camera JK Warzelhan, M Goettlinger US Patent 10,237,535, 2019 | 1 | 2019 |
| Trichotomic Argumentation Representation M Göttlinger, L Schröder arXiv preprint arXiv:1812.06745, 2018 | 1 | 2018 |
| Method for generating a depth map using a camera JK Warzelhan, M Goettlinger US Patent 20170188018A1, 2016 | 1 | 2016 |
| Finding Argument Fragments on Social Media with Corpus Queries and LLMs N Dykes, S Evert, P Heinrich, M Humml, L Schröder Conference on Advances in Robust Argumentation Machines, 163-181, 2024 | | 2024 |
| Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models N Dykes, S Evert, P Heinrich, M Humml, L Schröder Proceedings of the First Workshop on Language-driven Deliberation Technology …, 2024 | | 2024 |
| DIREGA – Building Decision Support for German Register Law 1 A Adrian, OA Basaran, N Dykes, S Evert, M Gritz, M Humml, M Kohlhase, ... Legal Knowledge and Information Systems, 360-362, 2024 | | 2024 |
| COOL 2--A Generic Reasoner for Modal Fixpoint Logics O Görlitz, D Hausmann, M Humml, D Pattinson, S Prucker, L Schröder arXiv preprint arXiv:2305.11015, 2023 | | 2023 |
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de