Kiefer, Sandra
131  Ergebnisse:
Personensuche X
?
1

Bounding the Weisfeiler-Leman Dimension via a Depth Analysi..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Kiefer, Sandra ; Neuen, Daniel - p. 1-14 , 2024
 
?
2

Simulating Logspace-Recursion with Logarithmic Quantifier D..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
 
?
 
?
4

Treelike Decompositions for Transductions of Sparse Graphs:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
5

The Power of the Weisfeiler--Leman Algorithm to Decompose G..:

Kiefer, Sandra ; Neuen, Daniel
SIAM Journal on Discrete Mathematics.  36 (2022)  1 - p. 252-298 , 2022
 
?
7

Graphs Identified by Logics with Counting:

Kiefer, Sandra ; Schweitzer, Pascal ; Selman, Erkal
ACM Transactions on Computational Logic.  23 (2021)  1 - p. 1-31 , 2021
 
?
8

Graphs Identified by Logics with Counting:

Kiefer, Sandra ; Schweitzer, Pascal ; Selman, Erkal
ACM Transactions on Computational Logic (TOCL).  23 (2021)  1 - p. 1-31 , 2021
 
?
14

The weisfeiler-leman dimension of planar graphs is at most :

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
15

Upper Bounds on the Quantifier Depth for Graph Differentiat..:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,
Kiefer, Sandra ; Schweitzer, Pascal - p. 287-296 , 2016
 
1-15