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
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, Jul 24, 2023. [PUMA: imported] URL
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, and Iryna Yevseyeva (Eds.), Evolutionary Multi-Criterion Optimization, 291--304, Springer, Germany, 2023. [PUMA: Benchmarking Multi-objective_optimization Multimodal_optimization Numeric_optimization Problem_generator n/a_OA_procedure]
Topological and geometric methods with a view towards data analysis. xiv, 76, 2022. [PUMA: imported] URL