Nicole Schirrmacher

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Algorithms And Data Structures

Markov Networks

Probabilistic Graphical Models

Alternating Time Temporal Logic

Top Venues

ACM Trans. Comput. Log.

Publications

Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. LICS (2024)
Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. CoRR (2023)
Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny
First-order Logic with Connectivity Operators. ACM Trans. Comput. Log. 24 (4) (2023)
Michal Pilipczuk, Nicole Schirrmacher, Sebastian Siebertz, Szymon Torunczyk, Alexandre Vigny
Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures. ICALP (2022)
Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny
First-Order Logic with Connectivity Operators. CSL (2022)
Michal Pilipczuk, Nicole Schirrmacher, Sebastian Siebertz, Szymon Torunczyk, Alexandre Vigny
Algorithms and data structures for first-order logic with connectivity under vertex failures. CoRR (2021)