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