Publications

2019

• E. Grädel and S. Schalthöfer. Choiceless Logarithmic Space. In 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (P. Rossmanith, P. Heggernes, and J. Katoen, Eds.), vol. 138 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 31:1–31:15, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2019.             
  BibTeX

  @inproceedings{GS19,
       author = {Erich Gr{\"a}del and Svenja Schalth{\"o}fer},
       title = {{Choiceless Logarithmic Space}},
       booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
       pages = {31:1--31:15},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-117-7},
       issn = {1868-8969},
       year = {2019},
       volume = {138},
       editor = {Peter Rossmanith and Pinar Heggernes and Joost-Pieter Katoen},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
       address = {Dagstuhl, Germany},
       url = {http://drops.dagstuhl.de/opus/volltexte/2019/10975},
       urn = {urn:nbn:de:0030-drops-109758},
       doi = {10.4230/LIPIcs.MFCS.2019.31},
       annote = {Keywords: Finite Model Theory, Logics for Logspace, Choiceless Computation},
  }
  

• S. Schalthöfer. Choiceless computation and logic. PhD thesis, RWTH Aachen University, 2019.             
  BibTeX

  @phdthesis{SS19,
       author = {Svenja Schalth{\"o}fer},
       title = {{Choiceless computation and logic}},
       school = {{RWTH Aachen University}},
       year = {2019},
       url = {http://publications.rwth-aachen.de/record/780280},
  }
  

2016

• W. Pakusa, S. Schalthöfer, and E. Selman. Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) (J. Talbot and L. Regnier, Eds.), vol. 62 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 19:1–19:17, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2016.             
  BibTeX

  @inproceedings{PaScSe16,
       author = {Wied Pakusa and Svenja Schalth{\"o}fer and Erkal Selman},
       title = {{Definability of Cai-F\"urer-Immerman Problems in Choiceless Polynomial Time}},
       booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
       pages = {19:1--19:17},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-022-4},
       issn = {1868-8969},
       year = {2016},
       volume = {62},
       editor = {Jean-Marc Talbot and Laurent Regnier},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
       address = {Dagstuhl, Germany},
       url = {http://logic.rwth-aachen.de/pub/schalthoefer/PaScSe16.pdf},
       urn = {urn:nbn:de:0030-drops-65595},
       doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2016.19},
       annote = {Keywords: finite model theory, descriptive complexity, logic for textsc{Ptime}, Choiceless Polynomial Time, Cai-F{\"u}rer-Immerman},
  }
  

2015

• E. Grädel, Ł. Kaiser, W. Pakusa, and S. Schalthöfer. Characterising Choiceless Polynomial Time with First-Order Interpretations. In Proceedings of 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015.             
  BibTeX

  @inproceedings{GKPS15,
       author = {Erich Gr{\"{a}}del and \L{}ukasz Kaiser and Wied Pakusa and Svenja Schalth{\"{o}}fer},
       booktitle = {{Proceedings of 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}},
       title = {{Characterising Choiceless Polynomial Time with First-Order Interpretations}},
       url = {http://www.logic.rwth-aachen.de/pub/schalthoefer/GKPS15.pdf},
       year = {2015},
  }
  

2013

• S. Schalthöfer. Computing on Abstract Structures with Logical Interpretations. Master thesis, RWTH Aachen University, 2013.             
  BibTeX

  @misc{Schalthoefer13,
       author = {Svenja Schalth{\"o}fer},
       howpublished = {Master thesis, RWTH Aachen University},
       title = {Computing on Abstract Structures with Logical Interpretations},
       url = {http://logic.rwth-aachen.de/pub/schalthoefer/masterarbeit.pdf},
       year = {2013},
  }