Simon Knuer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | The Network Satisfaction Problem for Relation Algebras with at Most 4 Atoms. | Manuel Bodirsky, Moritz Jahn, Simon Knuer, Matej Konecn, Paul Winkler |
| 2023 | ICALP | Network Satisfaction Problems Solved by k-Consistency. | Manuel Bodirsky, Simon Knuer |
| 2021 | AAAI | Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom. | Manuel Bodirsky, Simon Knuer |
| 2021 | ICALP | Datalog-Expressibility for Monadic and Guarded Second-Order Logic. | Manuel Bodirsky, Simon Knuer, Sebastian Rudolph |
| 2021 | LICS | On Logics and Homomorphism Closure. | Manuel Bodirsky, Thomas Feller, Simon Knuer, Sebastian Rudolph |
| 2020 | CiE | ASNP: A Tame Fragment of Existential Second-Order Logic. | Manuel Bodirsky, Simon Knuer, Florian Starke |