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
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]
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