Publications

Nicola Gigante, Luc\'ıa Gómez Álvarez, and 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, and 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, Jul 24, 2023. [PUMA: imported] URL

Luisa Herrmann, Vincent Peth, and Sebastian Rudolph. Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. In Aniello Murano, and Alexandra Silva (Eds.), 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, and Peter F. Stadler. Mono-valent salt corrections for RNA secondary structures in the ViennaRNA package. Algorithms for Molecular Biology, (18)1:8, July 2023. [PUMA: imported] URL