Merlin Humml

Orcid: 0000-0002-2251-8519

Affiliations:

University of Erlangen-Nuremberg, Erlangen, Germany

According to our database¹, Merlin Humml authored at least 20 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Generic Model Checking for Modal Fixpoint Logics in COOL-MC.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Finding Argument Fragments on Social Media with Corpus Queries and LLMs.

[BibT_eX]

[DOI]

Proceedings of the Robust Argumentation Machines - First International Conference, 2024

2023

Benchmarking for COOL Model Checking.

[BibT_eX]

[DOI]

Dataset, October, 2023

Benchmarking for COOL Model Checking.

[BibT_eX]

[DOI]

Dataset, September, 2023

Benchmarking for COOL Model Checking.

[BibT_eX]

[DOI]

Dataset, September, 2023

Benchmarking for COOL Model Checking.

[BibT_eX]

[DOI]

Dataset, September, 2023

Benchmarking scripts for COOL 2.4.

[BibT_eX]

[DOI]

Dataset, June, 2023

Benchmarking scripts for COOL 2.3.

[BibT_eX]

[DOI]

Dataset, May, 2023

Benchmarking scripts for COOL 2.3.

[BibT_eX]

[DOI]

Dataset, March, 2023

A Formal Treatment of Expressiveness and Relevanceof Digital Evidence.

[BibT_eX]

[DOI]

Jan Gruber

Merlin Humml

DTRAP, 2023

Argumentation Schemes for Blockchain Deanonymization.

[BibT_eX]

[DOI]

CoRR, 2023

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics.

[BibT_eX]

[DOI]

CoRR, 2023

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 29, 2023

Common Knowledge of Abstract Groups.

[BibT_eX]

[DOI]

Merlin Humml

Lutz Schröder

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Benchmark data for COOL 2.2.

[BibT_eX]

[DOI]

Dataset, October, 2022

2021

Argument parsing via corpus queries.

[BibT_eX]

[DOI]

it Inf. Technol., 2021

The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies.

[BibT_eX]

[DOI]

Merlin Göttlinger

Lutz Schröder

Dirk Pattinson

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Reconstructing Arguments from Noisy Text.

[BibT_eX]

[DOI]

Datenbank-Spektrum, 2020

2018

Trichotomic Argumentation Representation.

[BibT_eX]

[DOI]

Merlin Göttlinger

Lutz Schröder

CoRR, 2018

2017

Automatic verification of application-tailored OSEK kernels.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Merlin Humml

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...