Svenja Schalthöfer

According to our database, Svenja Schalthöfer authored at least 5 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Generalizing feature preservation in iso-surface extraction from triple dexel models.

Tobias Schleifstein, Arne Lorenz, Svenja Schalthöfer, Denys Plakhotnik, Leif Kobbelt

Comput. Aided Des., 2024

2019

Choiceless computation and logic.

Svenja Schalthöfer

PhD thesis, 2019

Choiceless Logarithmic Space.

Erich Grädel, Svenja Schalthöfer

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2016

Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time.

Wied Pakusa, Svenja Schalthöfer, Erkal Selman

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

Characterising Choiceless Polynomial Time with First-Order Interpretations.

Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015