I agree that this site is using cookies. You can find further informations here.
X
Siebertz, Sebastian
19  results:
Bookchapter (Online) X
Search for persons X
?
1

Model Checking Disjoint-Paths Logic on Topological-Minor-Fr..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Schirrmacher, Nicole ; Siebertz, Sebastian ; Stamoulis, Giannos.. - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Data Reduction for Directed Feedback Vertex Set on Graphs W..:

, In: Lecture Notes in Computer Science; SOFSEM 2024: Theory and Practice of Computer Science,
Dirks, Jona ; Gerhard, Enna ; Grobler, Mario.. - p. 183-197 , 2024
Link: https://doi.org/10.1007/..
 
?
3

First-Order Model Checking on Structurally Sparse Graph Cla..:

, In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing,
Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian - p. 567-580 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Token Sliding on Graphs of Girth Five:

, In: Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science,
Bartier, Valentin ; Bousquet, Nicolas ; Hanna, Jihad.. - p. 56-69 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Local Planar Domination Revisited:

, In: Structural Information and Communication Complexity; Lecture Notes in Computer Science,
Heydt, Ozan ; Siebertz, Sebastian ; Vigny, Alexandre - p. 154-173 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Rankwidth meets stability:

, In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA),
Nešetřil, Jaroslav ; Mendez, Patrice Ossona de ; Pilipczuk, Michał.. - p. 2014-2033 , 2021
Link: https://doi.org/10.1137/..
 
?
7

Rankwidth meets stability:

, In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms,
Nešetřil, Jaroslav ; de Mendez, Patrice Ossona ; Pilipczuk, Michał.. - p. 2014-2033 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Constant Round Distributed Domination on Graph Classes with..:

, In: Structural Information and Communication Complexity; Lecture Notes in Computer Science,
Kublenz, Simeon ; Siebertz, Sebastian ; Vigny, Alexandre - p. 334-351 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Linear rankwidth meets stability:

, In: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms,
Nešetřil, Jaroslav ; de Mendez, Patrice Ossona ; Rabinovich, Roman. - p. 1180-1199 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Polynomial bounds for centered colorings on proper minor-cl..:

, In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms,
Pilipczuk, Michał ; Siebertz, Sebastian - p. 1501-1520 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Parameterized circuit complexity of model-checking on spars..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,
Pilipczuk, Michał ; Siebertz, Sebastian ; Toruńczyk, Szymon - p. 789-798 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

On the number of types in sparse graphs:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,
Pilipczuk, Michał ; Siebertz, Sebastian ; Toruńczyk, Szymon - p. 799-808 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Distributed Domination on Graph Classes of Bounded Expansio:

, In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures,
Akhoondian Amiri, Saeed ; Ossona de Mendez, Patrice ; Rabinovich, Roman. - p. 143-151 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Polynomial kernels and wideness properties of nowhere dense..:

, In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms,
Kreutzer, Stephan ; Rabinovich, Roman ; Siebertz, Sebastian - p. 1533-1545 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Model-checking for successor-invariant first-order formulas..:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
van den Heuvel, Jan ; Kreutzer, Stephan ; Pilipczuk, Michał... - p. 1-11 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15