Merlin Göttlinger

Orcid: 0000-0002-2251-8519

According to our database¹, Merlin Göttlinger authored at least 5 papers between 2017 and 2021.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

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 Göttlinger

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...