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
|
2022
|
A basic macroeconomic agent-based model for analyzing monetary regime shifts
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2024
|
On the d-claw vertex deletion problem
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2024
|
Generalized cut trees for edge-connectivity
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2024
|
Rooted minors and locally spanning subgraphs
|
Zeitschriftenartikel
|
Elektronische Ressource
|