Nicole Schirrmacher

According to our database, Nicole Schirrmacher authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes.

Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

First-order Logic with Connectivity Operators.

Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny

ACM Trans. Comput. Log., October, 2023

2022

Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures.

Michal Pilipczuk, Nicole Schirrmacher, Sebastian Siebertz, Szymon Torunczyk, Alexandre Vigny

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022