Publications

Nicola Gigante, Luc\'ıa Gómez Álvarez, und Tim Lyon. Standpoint Linear Temporal Logic. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311--321, IJCAI Inc, 2023. [PUMA: imported]

Pascal Kerschke, und Mike Preuss. 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

Luisa Herrmann, Vincent Peth, und Sebastian Rudolph. 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

Marzieh Eidi. Topological and geometric methods with a view towards data analysis. xiv, 76, 2022. [PUMA: imported] URL

Hua-Ting Yao, Ronny Lorenz, Ivo L. Hofacker, und Peter F. Stadler. Mono-valent salt corrections for RNA secondary structures in the ViennaRNA package. Algorithms for Molecular Biology, (18)1:8, Juli 2023. [PUMA: imported] URL

Luc\'ıa Gómez Álvarez, Sebastian Rudolph, und Hannes Straß. 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]

Parvaneh Joharinad, und Jürgen Jost. Mathematical principles of topological and geometric data analysis. Mathematics of data, (2):ix, 281, Springer, Cham, 2023. [PUMA: imported]

Marzieh Eidi, und Sayan Mukherjee. Irreducibility of Markov Chains on simplicial complexes, the Spectrum of the Discrete Hodge Laplacian and Homology. 2023. [PUMA: imported] URL

Adam Nunn, Christian Otto, Mario Fasold, Peter F. Stadler, und David Langenberger. 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

Carsten Lutz, Quentin Manière, und Robin Nolte. 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