Publications

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

Ines Zelch, Matthias Hagen, and 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: Advertising Generative LLMs, Search information retrieval,] 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, and 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., March 2023. [PUMA: AI AI; FHIR; IV; MIMIC application; artificial care care; cooperation; data data; deployment; diagnosis; fast for healthcare information intelligence; intensive interoperability interoperability; mart medical patient pipeline; research; resources; standardization unit; usability]