Merlin Humml

Graduiertenkolleg 2475/2 - Cyberkriminalität und Forensische Informatik Lehrstuhl für Informatik 8 (Theoretische Informatik)

DIREGA – Building Decision Support for German Register Law (2024) Adrian A, Basaran OA, Dykes N, Evert S, Gritz M, Humml M, Kohlhase M, et al. Conference contribution, Abstract of a poster Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution Argumentation Schemes for Blockchain Deanonymisation (2024) Deuber D, Gruber J, Humml M, Ronge V, Scheler N Journal article Finding Argument Fragments on Social Media with Corpus Queries and LLMs (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution Generic Model Checking for Modal Fixpoint Logics in COOL-MC (2024) Hausmann D, Humml M, Prucker S, Schröder L, Strahlberger A Conference contribution A Formal Treatment of Expressiveness and Relevance of Digital Evidence (2023) Gruber J, Humml M Journal article Common Knowledge of Abstract Groups (2023) Humml M, Schröder L Conference contribution Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction (2023) Gruber J, Humml M, Schröder L, Freiling F Conference contribution, Conference Contribution COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (2023) Görlitz O, Hausmann D, Humml M, Pattinson D, Prucker S, Schröder L Conference contribution Argumentation Schemes for Blockchain Deanonymization (2022) Deuber D, Gruber J, Humml M, Ronge V, Scheler N Conference contribution, Original article