Nicole Schirrmacher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | 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 |
| 2026 | MFCS | 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 |
| 2025 | MFCS | Elimination Distance to Dominated Clusters. | Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny |
| 2024 | LICS | Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. | Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny |
| 2022 | CSL | First-Order Logic with Connectivity Operators. | Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny |
| 2022 | ICALP | Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures. | Michal Pilipczuk, Nicole Schirrmacher, Sebastian Siebertz, Szymon Torunczyk, Alexandre Vigny |