Svenja Schalthöfer

Orcid: 0009-0002-1407-1187

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

Collaborative distances:

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Generalizing feature preservation in iso-surface extraction from triple dexel models.
Comput. Aided Des., 2024

2019
Choiceless computation and logic.
PhD thesis, 2019

Choiceless Logarithmic Space.
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time.
ACM Trans. Comput. Log., 2018

2015
Characterising Choiceless Polynomial Time with First-Order Interpretations.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015


  Loading...