Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
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
|
2022
|
Complexity of the Cluster Vertex Deletion problem on H-free graphs
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2016
|
Tree-structured graphs
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
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
|
Faster enabledness-updates for the reachability graph computation
|
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
|
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
|