Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures. - Michal Pilipczuk; Nicole Schirrmacher; Sebastian Siebertz; Szymon Torunczyk; Alexandre Vigny (ICALP, 2022)

First-order Logic with Connectivity Operators. - Nicole Schirrmacher; Sebastian Siebertz; Alexandre Vigny (ACM Trans. Comput. Log., 2023)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. - Nicole Schirrmacher; Sebastian Siebertz; Giannos Stamoulis; Dimitrios M. Thilikos; Alexandre Vigny (LICS, 2024)

Elimination Distance to Dominated Clusters. - Nicole Schirrmacher; Sebastian Siebertz; Alexandre Vigny (MFCS, 2025)