Merlin Humml

2025

• Adrian A., Evert S., Gritz M., Stürmer V., Lindner J., Blöcher M., Kohlhase M., Maier A., Schröder L., Basaran A., Bothe S., Humml M., Prettner S., Rapp M.:
  Maschinelles Schliessen mit s(CASP) - Anmeldung eines neuen Geschäftsführers einer GmbH zum Handelsregister
  In: Jusletter IT (2025), S. 433-442
  ISSN: 1664-848X
  DOI: 10.38023/74311d25-cd34-4fd2-9add-3b19549c3edc

2024

• Adrian A., Basaran A., Dykes N., Evert S., Gritz M., Humml M., Kohlhase M., Lindner J., Maier A., Prettner S., Rapp M., Schröder L., Stürmer V.:
  DIREGA – Building Decision Support for German Register Law
  JURIX 2024 (Brno, 11. Dezember 2024 - 13. Dezember 2024)
  In: Jaromir Savelka, Jakub Harasta, Tereza Novotna, Jakub Misek (Hrsg.): Frontiers in Artificial Intelligence and Applications 2024
  DOI: 10.3233/FAIA241269
  URL: https://ebooks.iospress.nl/volumearticle/71034
• Deuber D., Gruber J., Humml M., Ronge V., Scheler N.:
  Argumentation Schemes for Blockchain Deanonymisation
  In: FinTech 3 (2024), S. 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. Juni 2024 - 7. Juni 2024)
  In: Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein (Hrsg.): Robust Argumentation Machines, Cham: 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. Mai 2024 - 20. Mai 2024)
  In: Hautli-Janisz A, Lapesa G, Anastasiou L, Gold V, Liddo AD, Reed C (Hrsg.): 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. Januar 2024 - 16. Januar 2024)
  In: Rayna Dimitrova, Ori Lahav, Sebastian Wolff (Hrsg.): 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. März 2023 - 24. März 2023)
  In: Edita Bajramovic and Ricardo J. Rodríguez (Hrsg.): 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. Juli 2023 - 4. Juli 2023)
  In: Brigitte Pientka, Cesare Tinelli (Hrsg.): 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. Februar 2023 - 14. Februar 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. Juni 2022 - 14. Juni 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), S. 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. Mai 2021 - 1. Juni 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. Januar 2021 - 28. Januar 2021)
  In: Christel Baier and Jean Goubault-Larrecq (Hrsg.): 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), S. 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