Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikationen

IEF/IN/IFI/Theoretische Informatik

Details ansehen zu: IEF/IN/IFI/Theoretische Informatik
Jahr aufwärts sortieren abwärts sortieren Titel der Publikation aufwärts sortieren abwärts sortieren Publikationsart aufwärts sortieren abwärts sortieren Publikationsform aufwärts sortieren abwärts sortieren
2021 The perfect matching cut problem revisited Teil einer Monographie/eines Konferenzbandes Druckschrift
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
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
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
2019 Matching Cut: kernelization, single-exponential time FPT, and exact exponential algorithms Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
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
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
2022 Refined notions of parameterized enumeration kernels with applications to matching cut enumeration Zeitschriftenartikel Elektronische Ressource
2021 On the d-claw vertex deletion problem Teil einer Monographie/eines Konferenzbandes 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
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
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
2024 On the d-claw vertex deletion problem Zeitschriftenartikel Elektronische Ressource