Automatic verification of application-tailored OSEK kernels. - Hans-Peter Deifel; Merlin Göttlinger; Stefan Milius; Lutz Schröder; Christian Dietrich 001; Daniel Lohmann (FMCAD, 2017)

Trichotomic Argumentation Representation. - Merlin Göttlinger; Lutz Schröder (CoRR, 2018)

Reconstructing Arguments from Noisy Text. - Natalie Dykes; Stefan Evert; Merlin Göttlinger; Philipp Heinrich; Lutz Schröder (Datenbank-Spektrum, 2020)

The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. - Merlin Göttlinger; Lutz Schröder; Dirk Pattinson (CSL, 2021)

Argument parsing via corpus queries. - Natalie Dykes; Stefan Evert; Merlin Göttlinger; Philipp Heinrich; Lutz Schröder (it Inf. Technol., 2021)

Benchmark data for COOL 2.2. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2022)

Common Knowledge of Abstract Groups. - Merlin Humml; Lutz Schröder (AAAI, 2023)

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (CADE, 2023)

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (CoRR, 2023)

Argumentation Schemes for Blockchain Deanonymization. - Dominic Deuber; Jan Gruber; Merlin Humml; Viktoria Ronge; Nicole Scheler (CoRR, 2023)

A Formal Treatment of Expressiveness and Relevanceof Digital Evidence. - Jan Gruber; Merlin Humml (DTRAP, 2023)

Benchmarking scripts for COOL 2.3. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2023)

Benchmarking scripts for COOL 2.3. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2023)

Benchmarking scripts for COOL 2.4. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

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 001; Stephan Prettner; Max Rapp; Lutz Schröder; et al. (JURIX, 2024)

Finding Argument Fragments on Social Media with Corpus Queries and LLMs. - Nathan Dykes; Stephanie Evert; Philipp Heinrich; Merlin Humml; Lutz Schröder (RATIO, 2024)

Generic Model Checking for Modal Fixpoint Logics in COOL-MC. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (VMCAI (1), 2024)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Efficient Model Checking for the Alternating-Time µ-Calculus via Effectivity Frames - Artifact. - Merlin Humml; Daniel Hausmann 001; Lutz Schröder; Simon Prucker (Zenodo, 2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder (CoRR, 2025)