Person

Sandra Kiefer

M. Sc.
Nicht verfügbar
Fachgruppe Informatik

Adresse

Gebäude: E1, 1. Etage

Raum: 4107a

Ahornstraße 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21717
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Forschungsinteressen

Algorithmische Graphentheorie, Diskrete Mathematik (insb. Kombinatorische Optimierung, Geometrische Gruppentheorie), Topologie

 

Publikationen

Titel Autor*innen Erschienen in
String-to-String Interpretations with Polynomial-Size Output Mikołaj Bojańczyk, Sandra Kiefer, Nathan Lhote

CoRR (arxiv.org)
Accepted for publication at ICALP 2019

A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus Martin Grohe, Sandra Kiefer CoRR (arxiv.org)
Accepted for publication at ICALP 2019
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 Sandra Kiefer,
Ilia Ponomarenko,
Pascal Schweitzer

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017

Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic

Sandra Kiefer,
Pascal Schweitzer

Logical Methods in Computer Science
15(2), 2019

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016

Graphs Identified by Logics with Counting

Sandra Kiefer,
Pascal Schweitzer,
Erkal Selman

Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, August 24-28, 2015