Publications

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

Nicolas Fraiman, Sayan Mukherjee, und Gugan Thoppe. The Shadow knows: Empirical Distributions of Minimum Spanning Acycles and Persistence Diagrams of Random Complexes. arXiv, 2020. [PUMA: (math.PR), 05E45 60C05, 60G57, FOS: Mathematics, Probability] URL

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

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

Justin Curry, Sayan Mukherjee, und Katharine Turner. How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms. arXiv, 2018. [PUMA: (math.AT), (math.ST), Algebraic FOS: Mathematics Mathematics, Statistics Theory Topology] URL

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

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

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