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
|
2020
|
The complexity of synthesizing elementary net systems relative to natural parameters
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
The complexity of boolean state separation
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2009
|
The complete inclusion structure of leaf power classes
|
Zeitschriftenartikel
|
Druckschrift
|
2017
|
The competence management to improve the learning engagement
|
Sonstiges
|
Elektronische Ressource
|
2006
|
The challenge of combining simulation and verification: working groups' report
|
Konferenz/Workshop
|
Elektronische Ressource
|
2016
|
The cardiac electrophysiology web lab
|
Zeitschriftenartikel
|
Druckschrift
|
2015
|
The capability management process
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2014
|
The BoomRoom
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2010
|
The attributed pi-calculus with priorities
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|