Merlin Humml

2023

• Gruber J., Humml M.:
  A Formal Treatment of Expressiveness and Relevance of Digital Evidence
  In: Digital Threats: Research and Practice (2023)
  ISSN: 2576-5337
  DOI: 10.1145/3608485
• Gruber J., Humml M., Schröder L., Freiling F.:
  Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction
  Digital Forensics Research Conference Europe (DFRWS EU 2023) (Bonn, 21. March 2023 - 24. March 2023)
  In: Edita Bajramovic and Ricardo J. Rodríguez (ed.): Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU) 2023
  Open Access: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
  URL: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
• Humml M., Schröder L.:
  Common Knowledge of Abstract Groups
  Thirty-Seventh AAAI Conference on Artificial Intelligence Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence Thirteenth Symposium on Educational Advances in Artificial Intelligence (Washington DC, 7. February 2023 - 14. February 2023)
  DOI: 10.1609/aaai.v37i5.25791

2022

• Deuber D., Gruber J., Humml M., Ronge V., Scheler N.:
  Argumentation Schemes for Blockchain Deanonymization
  Sixteenth International Workshop on Juris-informatics (JURISIN 2022) (Kyoto International Conference Center, Kyoto, Japan, 13. June 2022 - 14. June 2022)

2021

• Dykes N., Evert S., Göttlinger M., Heinrich P., Schröder L.:
  Argument parsing via corpus queries
  In: it - Information Technology 63 (2021), p. 31-44
  ISSN: 1611-2776
  DOI: 10.1515/itit-2020-0051
• Göttlinger M.:
  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
• Göttlinger M., Schröder L., Pattinson D.:
  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

• Dykes N., Evert S., Göttlinger M., Heinrich P., Schröder L.:
  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

• Deifel HP., Göttlinger M., Milius S., Schröder L., Dietrich C., Lohmann D.:
  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