Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2008
|
Guiding backprop by inserting rules
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2016
|
Continuous requirements engineering and human-centered agile software development
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2021
|
Refined notions of parameterized enumeration kernels with applications to matching cut enumeration
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2021
|
Ein digitales Flurnamenarchiv für Mecklenburg-Vorpommern
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2021
|
Ein interaktives Ortschroniken-Portal für Mecklenburg-Vorpommern
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
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
|
2022
|
Complexity of the Cluster Vertex Deletion problem on H-free graphs
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|