Nicole Schirrmacher

According to our database, Nicole Schirrmacher authored at least 7 papers between 2022 and 2026.

Collaborative distances:

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

2026

Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes.

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

CoRR, May, 2026

Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery.

Hanno von Bergen, Larissa Fastenau, Enna Gerhard, Nicola Lorenz, Stephanie Maaz, Amer E. Mouawad, Roman Rabinovich, Nicole Schirrmacher, Daniel Schmand, Sebastian Siebertz, Mai Trinh

CoRR, April, 2026

2025

Weighted Treedepth is NP-complete on Graphs of Bounded Degree.

Jona Dirks, Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny

CoRR, October, 2025

Elimination Distance to Dominated Clusters.

Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

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

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

First-Order Logic with Connectivity Operators.

Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022