Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2024
|
On the d-claw vertex deletion problem |
Zeitschriftenartikel
|
Elektronische Ressource
|
2023
|
Complexity results for matching cut problems in graphs without long induced paths |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2023
|
Computing optimal leaf roots of chordal cographs in linear time |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2022
|
Refined notions of parameterized enumeration kernels with applications to matching cut enumeration |
Zeitschriftenartikel
|
Elektronische Ressource
|
2022
|
The perfect matching cut problem revisited |
Zeitschriftenartikel
|
Elektronische Ressource
|
2022
|
Complexity of the Cluster Vertex Deletion problem on H-free graphs |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2021
|
Matching Cut in graphs with large minimum degree |
Zeitschriftenartikel
|
Elektronische Ressource
|
2021
|
Refined notions of parameterized enumeration kernels with applications to matching cut enumeration |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2021
|
The perfect matching cut problem revisited |
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2021
|
On the d-claw vertex deletion problem |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2021
|
The Complexity of Synthesizing nop -Equipped Boolean Petri Nets from g-Bounded Inputs |
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2021
|
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach |
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2020
|
Color-line and proper color-line graphs |
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Matching cut: kernelization, single-exponential time FPT, and exact exponential algorithms |
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
The complexity of synthesizing elementary net systems relative to natural parameters |
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Finding an optimal label-splitting to make a transition system petri net implementable |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
Büchi-Automata guided partial order reduction for LTL |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
Portfolio management in explicit model checking |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
Verification of token-scaling models using an under-approximation |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
On the parameterized complexity of synthesizing boolean petri nets with restricted dependency |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
On the parameterized complexity of d-restricted boolean net synthesis |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
Occupancy number restricted boolean petri net synthesis |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
The complexity of boolean state separation |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
On the complexity of synthesis of nop-free Boolean petri nets |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2019
|
Matching Cut: kernelization, single-exponential time FPT, and exact exponential algorithms |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2017
|
Präzises Denken für Informatiker |
Monographie
|
Druckschrift
|
2016
|
On the complexity of matching cut in graphs of fixed diameter: 27th International Symposium on Algorithms and Computation : ISAAC 2016, December 12-14, 2016, Sydney, Australia. - Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2016
|
Tree-structured graphs: Handbook of graph theory, combinatorial optimization, and algorithms |
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2016
|
Handbook of graph theory, combinatorial optimization, and algorithms |
Monographie
|
Druckschrift
|