Nicole Schirrmacher

According to our database, Nicole Schirrmacher authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

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