Mario Grobler

Counting and Sliding. Verifying and Restoring Healthy Systems

Mario Grobler

2024 | Doctoral Thesis

Data reduction for directed feedback vertex set on graphs without long induced cycles. Three rules to rule them all

Jona Dirks, Enna Gerhard, Mario Grobler, Amer E. Mouawad, Sebastian Siebertz

Acta Informatica 2025 | arXiv

History-deterministic Parikh Automata

Enzo Erlich, Mario Grobler, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

TOCL 2025 | arXiv

Kernelization Complexity of Solution Discovery Problems

Mario Grobler, Stephanie Maaz, Amer E. Mouawad, Naomi Nishimura, Vijayaragunathan Ramamoorthi, Sebastian Siebertz

ISAAC 2024 | arXiv

Deterministic Parikh automata on infinite words

Mario Grobler, Sebastian Siebertz

Submitted 2024 | arXiv

Data reduction for directed feedback vertex set on graphs without long induced cycles

Jona Dirks, Enna Gerhard, Mario Grobler, Amer E. Mouawad, Sebastian Siebertz

SOFSEM 2024 | arXiv

Solution discovery via reconfiguration for problems in P

Mario Grobler, Stephanie Maaz, Nicole Megow, Amer E. Mouawad, Vijayaragunathan Ramamoorthi, Daniel Schmand, Sebastian Siebertz

ICALP 2024 | arXiv

Discrepancy and Sparsity

Mario Grobler, Yiting Jiang, Patrice Ossona de Mendez, Sebastian Siebertz, Alexandre Vigny

JCTB 2024 | arXiv

Remarks on Parikh-recognizable omega-languages

Mario Grobler, Leif Sabellek, Sebastian Siebertz

CSL 2024 | arXiv

On Solution Discovery via Reconfiguration

Michael R. Fellows, Mario Grobler, Nicole Megow, Amer E. Mouawad, Vijayaragunathan Ramamoorthi, Frances A. Rosamond, Daniel Schmand, Sebastian Siebertz

ECAI 2023 | arXiv