Publications

Matti Wiegmann, Jennifer Rakete, Magdalena Wolska, Benno Stein, and Martin Potthast. If there's a Trigger Warning, then where's the Trigger? Investigating Trigger Warnings at the Passage Level. arXiv, 2024. [PUMA: sciences (cs.CY), Computation Society and Computer sciences, Language (cs.CL), information FOS: Computers] URL

Carsten Lutz, and Lukas Schulze. Description Logics with Abstraction and Refinement. arXiv, 2023. [PUMA: Artificial in Intelligence sciences, FOS: Science sciences and Computer (cs.LO), (cs.AI), information Logic] URL

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: sciences in and Computer sciences, (cs.LO), information FOS: Science Logic] URL

Kim Breitwieser, Allison Lahnala, Charles Welch, Lucie Flek, and Martin Potthast. Modeling Proficiency with Implicit User Representations. arXiv, 2021. [PUMA: sciences Computation and Computer sciences, Language (cs.CL), information FOS:] URL

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, and Michaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules. arXiv, 2021. [PUMA: sciences in and Computer sciences, (cs.LO), (cs.DB), Databases information FOS: Science Logic] URL

Marianne Maktabi, Hannes Köhler, Magarita Ivanova, Thomas Neumuth, Nada Rayes, Lena Seidemann, Robert Sucher, Boris Jansen-Winkeln, Ines Gockel, Manuel Barberio, and Claire Chalopin. Classification of hyperspectral endocrine tissue images using support vector machines. Int. J. Med. Robot., (16)5:1--10, Wiley, October 2020. [PUMA: intraoperative thyroidectomy imaged guided computer neck; surgery; and imaging; assisted head]

Katja Hoffmann, Katja Cazemier, Christoph Baldow, Silvio Schuster, Yuri Kheifetz, Sibylle Schirm, Matthias Horn, Thomas Ernst, Constanze Volgmann, Christian Thiede, Andreas Hochhaus, Martin Bornhäuser, Meinolf Suttorp, Markus Scholz, Ingmar Glauche, Markus Loeffler, and Ingo Roeder. Integration of mathematical model predictions into routine workflows to support clinical decision making in haematology. BMC Med. Inform. Decis. Mak., (20)1:28, February 2020. [PUMA: decision-making; workflow; Haematology; Support Mathematical therapy Clinical Data Routine treatment management; simulation; modelling; system optimization; Individual Computer planning; Model-based]

Suryanarayana Maddu, Bevan L. Cheeseman, Ivo F. Sbalzarini, and Christian L. Müller. Stability selection enables robust learning of partial differential equations from limited noisy data. arXiv, 2019. [PUMA: (physics.data-an), Analysis, Probability Data sciences, Numerical Statistics FOS: Machine Physical sciences Analysis (cs.LG), Learning (math.NA), Mathematics, and Computer information] URL