Standpoint Linear Temporal Logic. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311--321, IJCAI Inc, 2023. [PUMA: imported]
Exploratory Landscape Analysis. Proceedings of the Companion Conference on Genetic and Evolutionary Computation, 990–1007, Association for Computing Machinery, New York, NY, USA, 24.07.2023. [PUMA: imported] URL
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. In Aniello Murano, und Alexandra Silva (Hrsg.), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), (288):33:1--33:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024. [PUMA: imported] URL
Topological and geometric methods with a view towards data analysis. xiv, 76, 2022. [PUMA: imported] URL
Mono-valent salt corrections for RNA secondary structures in the ViennaRNA package. Algorithms for Molecular Biology, (18)1:8, Juli 2023. [PUMA: imported] URL
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. In Pierre Marquis, Tran Cao Son, und Gabriele Kern-Isberner (Hrsg.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333--343, IJCAI Inc, 2023. [PUMA: imported]
Mathematical principles of topological and geometric data analysis. Mathematics of data, (2):ix, 281, Springer, Cham, 2023. [PUMA: imported]
Irreducibility of Markov Chains on simplicial complexes, the Spectrum of the Discrete Hodge Laplacian and Homology. 2023. [PUMA: imported] URL
Manipulating base quality scores enables variant calling from bisulfite sequencing alignments using conventional bayesian approaches. BMC Genomics, (23)1:477, Juni 2022. [PUMA: imported] URL
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). In Oliver Kutz, Carsten Lutz, und Ana Ozaki (Hrsg.), Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, (3515)CEUR-WS.org, 2023. [PUMA: imported] URL