Hardness of Network Satisfaction for Relation Algebras with Normal Representations. - Manuel Bodirsky; Simon Knäuer (RAMiCS, 2020)

ASNP: A Tame Fragment of Existential Second-Order Logic. - Manuel Bodirsky; Simon Knäuer; Florian Starke (CiE, 2020)

Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom. - Manuel Bodirsky; Simon Knäuer (AAAI, 2021)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic. - Manuel Bodirsky; Simon Knäuer; Sebastian Rudolph (ICALP, 2021)

On Logics and Homomorphism Closure. - Manuel Bodirsky; Thomas Feller 001; Simon Knäuer; Sebastian Rudolph (LICS, 2021)

Amalgamation is Undecidable. - Manuel Bodirsky; Simon Knäuer; Jakub Rydval (CoRR, 2021)

The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom. - Manuel Bodirsky; Simon Knäuer (J. Artif. Intell. Res., 2022)

Network Satisfaction Problems Solved by k-Consistency. - Manuel Bodirsky; Simon Knäuer (ICALP, 2023)

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms. - Manuel Bodirsky; Moritz Jahn; Matej Konecný; Simon Knäuer; Paul Winkler (CoRR, 2025)