Svenja Schalthöfer

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 5

Top Topics

Solving Problems

Polynomial Size

Top Venues

ACM Trans. Comput. Log.

Comput. Aided Des.

Publications

Tobias Schleifstein, Arne Lorenz, Svenja Schalthöfer, Denys Plakhotnik, Leif Kobbelt
Generalizing feature preservation in iso-surface extraction from triple dexel models. Comput. Aided Des. 177 (2024)
Erich Grädel, Svenja Schalthöfer
Choiceless Logarithmic Space. MFCS (2019)
Wied Pakusa, Svenja Schalthöfer, Erkal Selman
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. ACM Trans. Comput. Log. 19 (2) (2018)
Wied Pakusa, Svenja Schalthöfer, Erkal Selman
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. CSL (2016)
Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser
Characterising Choiceless Polynomial Time with First-Order Interpretations. LICS (2015)