Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
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
|
2020
|
Zur Mehrdeutigkeit des Begriffs Digitalisierung im schulischen Kontext
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2020
|
Intra-Life-Learning mittels parallelisierter Neuroevolution
|
Dissertationsschrift
|
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
|