Sebastian Siebertz

Orcid: 0000-0002-6347-1198

According to our database1, Sebastian Siebertz authored at least 83 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Token Sliding on Graphs of Girth Five.
Algorithmica, February, 2024

Deterministic Parikh automata on infinite words.
CoRR, 2024

Data Reduction for Directed Feedback Vertex Set on Graphs Without Long Induced Cycles.
Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024

Remarks on Parikh-Recognizable Omega-languages.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
First-order Logic with Connectivity Operators.
ACM Trans. Comput. Log., October, 2023

Solution discovery via reconfiguration for problems in P.
CoRR, 2023

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes.
CoRR, 2023

Büchi-like characterizations for Parikh-recognizable omega-languages.
CoRR, 2023

Parikh Automata on Infinite Words.
CoRR, 2023

First-Order Model Checking on Structurally Sparse Graph Classes.
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

Flipper Games for Monadically Stable Graph Classes.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

On Solution Discovery via Reconfiguration.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
Modulo-Counting First-Order Logic on Bounded Expansion Classes.
CoRR, 2022

Decomposition horizons: from graph sparsity to model-theoretic dividing lines.
CoRR, 2022

On the first-order transduction quasiorder of hereditary classes of graphs.
CoRR, 2022

Distributed domination on sparse graph classes.
CoRR, 2022

Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes.
CoRR, 2022

A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems.
CoRR, 2022

Transducing paths in graph classes with unbounded shrubdepth.
CoRR, 2022

On the Parameterized Complexity of Reconfiguration of Connected Dominating Sets.
Algorithmica, 2022

Local Planar Domination Revisited.
Proceedings of the Structural Information and Communication Complexity, 2022

PACE Solver Description: GraPA-JAVA.
Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022

Combinatorial and Algorithmic Aspects of Monadic Stability.
Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022

Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Structural Properties of the First-Order Transduction Quasiorder.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021
Polynomial bounds for centered colorings on proper minor-closed graph classes.
J. Comb. Theory, Ser. B, 2021

Kernelization and approximation of distance-r independent sets on nowhere dense graphs.
Eur. J. Comb., 2021

Classes of graphs with low complexity: The case of classes with bounded linear rankwidth.
Eur. J. Comb., 2021

Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391).
Dagstuhl Reports, 2021

First-Order Logic with Connectivity Operators.
CoRR, 2021

On the discrepancy of set systems definable in sparse graph classes.
CoRR, 2021

Twin-width and permutations.
CoRR, 2021

Rankwidth meets stability.
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Constant Round Distributed Domination on Graph Classes with Bounded Expansion.
Proceedings of the Structural Information and Communication Complexity, 2021

Recursive Backdoors for SAT.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

PACE Solver Description: PACA-JAVA.
Proceedings of the 16th International Symposium on Parameterized and Exact Computation, 2021

2020
First-Order Interpretations of Bounded Expansion Classes.
ACM Trans. Comput. Log., 2020

Model-Checking on Ordered Structures.
ACM Trans. Comput. Log., 2020

On low rank-width colorings.
Eur. J. Comb., 2020

Distributed domination on graph classes with bounded expansion.
CoRR, 2020

Towards an arboretum of monadically stable classes of graphs.
CoRR, 2020

Regular partitions of gentle graphs.
CoRR, 2020

Linear rankwidth meets stability.
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

Elimination Distance to Bounded Degree on Planar Graphs.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2019
Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes.
ACM Trans. Algorithms, 2019

Distributed Dominating Set Approximations beyond Planar Graphs.
ACM Trans. Algorithms, 2019

Lossy Kernels for Connected Dominating Set on Sparse Graphs.
SIAM J. Discret. Math., 2019

Empirical Evaluation of Approximation Algorithms for Generalized Graph Coloring and Uniform Quasi-wideness.
ACM J. Exp. Algorithmics, 2019

Greedy domination on biclique-free graphs.
Inf. Process. Lett., 2019

Nowhere dense graph classes and algorithmic applications. A tutorial at Highlights of Logic, Games and Automata 2019.
CoRR, 2019

Parameterized Distributed Complexity Theory: A logical approach.
CoRR, 2019

Algorithmic Properties of Sparse Digraphs.
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

Progressive Algorithms for Domination and Independence.
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

2018
Coloring and Covering Nowhere Dense Graphs.
SIAM J. Discret. Math., 2018

Parameterized circuit complexity of model checking first-order logic on sparse structures.
CoRR, 2018

Reconfiguration on Nowhere Dense Graph Classes.
Electron. J. Comb., 2018

Vertex Cover Reconfiguration and Beyond.
Algorithms, 2018

Distributed Domination on Graph Classes of Bounded Expansion.
Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

On the number of types in sparse graphs.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Parameterized circuit complexity of model-checking on sparse structures.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
Deciding First-Order Properties of Nowhere Dense Graphs.
J. ACM, 2017

On the generalised colouring numbers of graphs that exclude a fixed minor.
Eur. J. Comb., 2017

Lossy kernels for connected distance-$r$ domination on nowhere dense graph classes.
CoRR, 2017

On Wideness and Stability.
CoRR, 2017

Algorithmic Properties of Sparse Digraphs.
CoRR, 2017

Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
Nowhere dense classes of graphs (characterisations and algorithmic meta-theorems) (Nowhere Dense Klassen von Graphen) (Charakterisierungen und algorithmische Meta-Sätze)
PhD thesis, 2016

A local constant factor approximation for the minimum dominating set problem on bounded genus graphs.
CoRR, 2016

Kernelization and Sparseness: the Case of Dominating Set.
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

A Local Constant Factor MDS Approximation for Bounded Genus Graphs.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

The Generalised Colouring Numbers on Classes of Bounded Expansion.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015
On the generalised colouring numbers of graphs that exclude a fixed minor.
Electron. Notes Discret. Math., 2015

Colouring and Covering Nowhere Dense Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2015

Graph Searching Games and Width Measures for Directed Graphs.
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

2014
Directed Width Measures and Monotonicity of Directed Graph Searching.
CoRR, 2014

Vertex Disjoint Paths in Upward Planar Graphs.
Proceedings of the Computer Science - Theory and Applications, 2014

2013
Vertex Disjoint Path in Upward Planar Graphs.
CoRR, 2013

Characterisations of Nowhere Dense Graphs (Invited Talk).
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012
First-Order and Monadic Second-Order Model-Checking on Ordered Structures.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Dynamic definability.
Proceedings of the 15th International Conference on Database Theory, 2012


  Loading...