Florian Chudigiewitsch

Publication Activity (10 Years)

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

Top Topics

Bounded Treewidth

Parameterized Complexity

Top Venues

Dagstuhl Reports

Publications

Max Bannach, Florian Chudigiewitsch, Till Tantau
On the Descriptive Complexity of Vertex Deletion Problems. MFCS (2024)
Max Bannach, Florian Chudigiewitsch, Till Tantau
On the Descriptive Complexity of Vertex Deletion Problems. CoRR (2024)
Max Bannach, Florian Chudigiewitsch, Till Tantau
Existential Second-Order Logic over Graphs: Parameterized Complexity. IPEC (2023)
Deepak Ajwani, Rob H. Bisseling, Katrin Casel, Ümit V. Çatalyürek, Cédric Chevalier, Florian Chudigiewitsch, Marcelo Fonseca Faraj, Michael R. Fellows, Lars Gottesbüren, Tobias Heuer, George Karypis, Kamer Kaya, Jakub Lacki, Johannes Langguth, Xiaoye Sherry Li, Ruben Mayer, Johannes Meintrup, Yosuke Mizutani, François Pellegrini, Fabrizio Petrini, Frances A. Rosamond, Ilya Safro, Sebastian Schlag, Christian Schulz, Roohani Sharma, Darren Strash, Blair D. Sullivan, Bora Uçar, Albert-Jan Yzelman
Open Problems in (Hyper)Graph Decomposition. CoRR (2023)
Max Bannach, Florian Chudigiewitsch, Till Tantau
Existential Second-Order Logic Over Graphs: Parameterized Complexity. CoRR (2023)
Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube
Logical Characterization of Algebraic Circuit Classes over Integral Domains. CoRR (2023)
George Karypis, Christian Schulz, Darren Strash, Deepak Ajwani, Rob H. Bisseling, Katrin Casel, Ümit V. Çatalyürek, Cédric Chevalier, Florian Chudigiewitsch, Marcelo Fonseca Faraj, Michael R. Fellows, Lars Gottesbüren, Tobias Heuer, Kamer Kaya, Jakub Lacki, Johannes Langguth, Xiaoye Sherry Li, Ruben Mayer, Johannes Meintrup, Yosuke Mizutani, François Pellegrini, Fabrizio Petrini, Frances A. Rosamond, Ilya Safro, Sebastian Schlag, Roohani Sharma, Blair D. Sullivan, Bora Uçar, Albert-Jan Yzelman
Recent Trends in Graph Decomposition (Dagstuhl Seminar 23331). Dagstuhl Reports 13 (8) (2023)
Florian Chudigiewitsch
Computational Complexity of Deciding Provability in Linear Logic and its Fragments. CoRR (2021)