Nicole Schirrmacher | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Michał Pilipczuk
62 publications
Sebastian Siebertz
37 publications
Dimitrios M. Thilikos
36 publications
Szymon Toruńczyk
16 publications
Giannos Stamoulis
14 publications
Alexandre Vigny
11 publications

research

∙ 02/14/2023

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

Disjoint-paths logic, denoted 𝖥𝖮+𝖣𝖯, extends first-order logic (𝖥𝖮) with...

0 Nicole Schirrmacher, et al. ∙

research

∙ 11/05/2021

Algorithms and data structures for first-order logic with connectivity under vertex failures

We introduce a new data structure for answering connectivity queries in ...

0 Michał Pilipczuk, et al. ∙

Success!

An error occurred