Merlin Humml

2024

• Deuber D., Gruber J., Humml M., Ronge V., Scheler N.:
  Argumentation Schemes for Blockchain Deanonymisation
  In: FinTech 3 (2024), p. 236-248
  ISSN: 2674-1032
  DOI: 10.3390/fintech3020014
• Dykes N., Evert S., Heinrich P., Humml M., Schröder L.:
  Finding Argument Fragments on Social Media with Corpus Queries and LLMs
  1st International Conference on Robust Argumentation Machines, RATIO 2024 (Bielefeld, DEU, 5. June 2024 - 7. June 2024)
  In: Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein (ed.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
  DOI: 10.1007/978-3-031-63536-6_10
• Dykes N., Evert S., Heinrich P., Humml M., Schröder L.:
  Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models
  First Workshop on Language-driven Deliberation Technology (DELITE) @ LREC-COLING 2024 (Torino, Italy, 20. May 2024 - 20. May 2024)
  In: Hautli-Janisz A, Lapesa G, Anastasiou L, Gold V, Liddo AD, Reed C (ed.): Proceedings of the First Workshop on Language-driven Deliberation Technology (DELITE) @ LREC-COLING 2024, Torino, Italy: 2024
  URL: https://aclanthology.org/2024.delite-1.7
• Hausmann D., Humml M., Prucker S., Schröder L., Strahlberger A.:
  Generic Model Checking for Modal Fixpoint Logics in COOL-MC
  25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024 (London, 15. January 2024 - 16. January 2024)
  In: Rayna Dimitrova, Ori Lahav, Sebastian Wolff (ed.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
  DOI: 10.1007/978-3-031-50524-9_8

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
• Görlitz O., Hausmann D., Humml M., Pattinson D., Prucker S., Schröder L.:
  COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
  Proceedings of the 29th International Conference on Automated Deduction, CADE-29 (Rome, 1. July 2023 - 4. July 2023)
  In: Brigitte Pientka, Cesare Tinelli (ed.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
  DOI: 10.1007/978-3-031-38499-8_14
• 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