Merlin Humml

Orcid ID:

0000-0002-2251-8519

List of publications:

BibTeX-Download


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

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Informal Conversations in Formal Logic (2021) Göttlinger M Conference contribution, Abstract of lecture Argument parsing via corpus queries (2021) Dykes N, Evert S, Göttlinger M, Heinrich P, Schröder L Journal article The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies (2021) Göttlinger M, Schröder L, Pattinson D Conference contribution, Original article Reconstructing Arguments from Noisy Text (2020) Dykes N, Evert S, Göttlinger M, Heinrich P, Schröder L Journal article, Original article Automatic verification of application-tailored OSEK kernels (2017) Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D Conference contribution, Original article
‹ 1 2 ›