Publications

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. 2023. [PUMA: Parikh monadic tree-interpretable Presburger second-Order structures Adding Muller Arithmetic Yaff Logic]

Bowen Song, Chengjin Xu, Kossi Amouzouvi, Maocai Wang, Jens Lehmann, and Sahar Vahdati. Distinct Geometrical Representations for Temporal and Relational Structures in Knowledge Graphs. In Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, and Francesco Bonchi (Eds.), Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III, (14171):601--616, Springer, 2023. [PUMA: Distinct Structures Temporal xack Representations Relational Geometrical] URL

Jose Antonio Corona-Gomez, Peter F. Stadler, and Selene L. Fernandez-Valverde. Evolutionary conservation of secondary structures in the lncRNAs of plants. Cold Spring Harbor Laboratory, August 2023. [PUMA: lncRNAs conservation secondary Evolutionary structures zno] URL