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
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

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
2020 Büchi-Automata guided partial order reduction for LTL Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 Color-line and proper color-line graphs Zeitschriftenartikel Elektronische Ressource
2020 The complexity of boolean state separation Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 The complexity of synthesizing elementary net systems relative to natural parameters Zeitschriftenartikel Elektronische Ressource
2021 The Complexity of Synthesizing nop -Equipped Boolean Petri Nets from g-Bounded Inputs Teil einer Monographie/eines Konferenzbandes Druckschrift
2022 Complexity of the Cluster Vertex Deletion problem on H-free graphs Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2024 Complexity of the (connected) Cluster Vertex Deletion problem on H-free graphs 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
2020 Finding an optimal label-splitting to make a transition system petri net implementable Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2016 Handbook of graph theory, combinatorial optimization, and algorithms Monographie Druckschrift
2021 Matching Cut in graphs with large minimum degree Zeitschriftenartikel Elektronische Ressource
2020 Matching cut: kernelization, single-exponential time FPT, and exact exponential algorithms Zeitschriftenartikel Elektronische Ressource
2019 Matching Cut: kernelization, single-exponential time FPT, and exact exponential algorithms Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 Occupancy number restricted boolean petri net synthesis Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
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
2020 On the complexity of synthesis of nop-free Boolean petri nets Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2021 On the d-claw vertex deletion problem Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2024 On the d-claw vertex deletion problem Zeitschriftenartikel Elektronische Ressource
2020 On the parameterized complexity of d-restricted boolean net synthesis 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
2021 The perfect matching cut problem revisited Teil einer Monographie/eines Konferenzbandes Druckschrift
2022 The perfect matching cut problem revisited Zeitschriftenartikel Elektronische Ressource
2020 Portfolio management in explicit model checking Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2017 Präzises Denken für Informatiker Monographie Druckschrift
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 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
2020 Verification of token-scaling models using an under-approximation Teil einer Monographie/eines Konferenzbandes Elektronische Ressource