Merlin Humml

13 papers A* 1A 1C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
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
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 — 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
2023 J jnl
A Formal Treatment of Expressiveness and Relevance of Digital Evidence.
DTRAP
Jan Gruber, Merlin Humml
2023 J jnl
Argumentation Schemes for Blockchain Deanonymization.
CoRR
Dominic Deuber, Jan Gruber, Merlin Humml, Viktoria Ronge, Nicole Scheler
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
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
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies.
CoRR
Merlin Humml, Lutz Schröder, Dirk Pattinson
2022 J jnl
Common Knowledge of Abstract Groups.
CoRR
Merlin Humml, Lutz Schröder