Publications

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, und Christoph Weidenbach. A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. arXiv, 2022. [PUMA: sciences in and Computer sciences, (cs.LO), information FOS: Science Logic] URL

Elena Williams, Manuel Kienast, Evelyn Medawar, Janis Reinelt, Alberto Merola, Sophie Anne Ines Klopfenstein, Anne Rike Flint, Patrick Heeren, Akira-Sebastian Poncette, Felix Balzer, Julian Beimes, Paul von Bünau, Jonas Chromik, Bert Arnrich, Nico Scherf, und Sebastian Niehaus. A standardized clinical data harmonization pipeline for scalable AI application deployment (FHIR-DHP): Validation and usability study. JMIR Med. Inform., (11):e43847, JMIR Publications Inc., März 2023. [PUMA: intelligence; mart AI care; deployment; IV; artificial fast application; information resources; care data; medical cooperation; data standardization for healthcare interoperability; AI; unit; FHIR; usability MIMIC diagnosis; interoperability patient pipeline; research; intensive]

Ines Zelch, Matthias Hagen, und Martin Potthast. A User Study on the Acceptance of Native Advertising in Generative IR. Proceedings of the 2024 Conference on Human Information Interaction and Retrieval, 142–152, Association for Computing Machinery, New York, NY, USA, 2024. [PUMA: retrieval, LLMs, Search Advertising Generative information] URL