Publications

Lennart Schäpermeier, Pascal Kerschke, Christian Grimme, und Heike Trautmann. Peak-A-Boo! Generating Multi-objective Multiple Peaks Benchmark Problems with Precise Pareto Sets. In Michael Emmerich, André Deutz, Hao Wang, Anna V. Kononova, Boris Naujoks, Ke Li, Kaisa Miettinen, und Iryna Yevseyeva (Hrsg.), Evolutionary Multi-Criterion Optimization, 291--304, Springer, Germany, 2023. [PUMA: Benchmarking Multi-objective_optimization Multimodal_optimization Numeric_optimization Problem_generator n/a_OA_procedure]

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

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]

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