Merlin Humml
Adresse:
FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: merlin.humml[at]fau.de
Telefon: 09131/85-64057
ORCiD: 0000-0002-2251-8519
keybase: mgttlinger
matrix: mgttlinger
Research
Working on the RANT/RAND DFG-Project from the RATIO SPP(RANT) RATIO SPP(RAND)
Publications
- Bachelor thesis: Sadly my bachelor thesis has to be kept a secret due to non-disclosure agreements but the topic was “Scene Reconstruction by Means of a PTZ-Camera” and the patent below was a result of it.
- Master thesis including sources and presentation: Göttlinger, M. (2018). Formalising Algorithmic Correspondence for Modal Languages
2021
- , , , , :
Argument parsing via corpus queries
In: it - Information Technology 63 (2021), p. 31-44
ISSN: 1611-2776
DOI: 10.1515/itit-2020-0051 - :
Informal Conversations in Formal Logic
Joint Workshop of the German Research Training Groups in Computer Science (, 31. May 2021 - 1. June 2021)
DOI: 10.25593/opus4-fau-16426
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/16426 - , , :
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (University of Ljubljana, 25. January 2021 - 28. January 2021)
In: Christel Baier and Jean Goubault-Larrecq (ed.): Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany: 2021
DOI: 10.4230/LIPIcs.CSL.2021.26
2020
- , , , , :
Reconstructing Arguments from Noisy Text
In: Datenbank-Spektrum 20 (2020), p. 123-129
ISSN: 1618-2162
DOI: 10.1007/s13222-020-00342-y
URL: https://link.springer.com/article/10.1007/s13222-020-00342-y
2017
- , , , , , :
Automatic verification of application-tailored OSEK kernels
In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 2017
DOI: 10.23919/FMCAD.2017.8102260
Activities
- Representation of Social Argumentation
(Speech / Talk)
1. April 2020, Event: The Wisdom and Madness of Crowds: Argumentation, Information Exchange and Social Interaction, ArgInfoexchange 2020, University of Amsterdam, URL: https://vimeo.com/448066227
Other