Follow
Merlin Humml
Merlin Humml
FAU Erlangen-Nürnberg - Inf8
Verified email at fau.de - Homepage
Title
Cited by
Cited by
Year
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
112017
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
42023
Reconstructing Arguments from Noisy Text
N Dykes, S Evert, M Göttlinger, P Heinrich, L Schröder
Datenbank-Spektrum 20 (2), 123-129, 2020
42020
Argumentation Schemes for Blockchain Deanonymisation
D Deuber, J Gruber, M Humml, V Ronge, N Scheler
FinTech 3 (2), 236-248, 2024
22024
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
22023
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
12023
Common Knowledge of Abstract Groups
M Humml, L Schröder
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6434-6441, 2023
12023
A Formal Treatment of Expressiveness and Relevance of Digital Evidence
J Gruber, M Humml
Digital Threats: Research and Practice, 2023
12023
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
12021
Method for generating a depth map using a camera
JK Warzelhan, M Goettlinger
US Patent 10,237,535, 2019
12019
Trichotomic Argumentation Representation
M Göttlinger, L Schröder
arXiv preprint arXiv:1812.06745, 2018
12018
Method for generating a depth map using a camera
JK Warzelhan, M Goettlinger
US Patent 20170188018A1, 2016
12016
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
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
The system can't perform the operation now. Try again later.
Articles 1–15