Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2010
|
Baccoside a suppresses epileptic-like seizure
|
Zeitschriftenartikel
|
Druckschrift
|
2010
|
New algorithms for deciding the siphon-trap property
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Wendy
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Exact leaf powers
|
Zeitschriftenartikel
|
Druckschrift
|
2010
|
Correctness ensuring process configuration
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
How to implement a theory of correctness in the area of business processes and services
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Realizability is controllability
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2008
|
A new architecture for heterogeneous context based routing
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2011
|
A mathematical analysis of nuclear intensity dynamics for Mig1-GFP under consideration of bleaching effects and background noise in Saccharomyces cerevisiae
|
Zeitschriftenartikel
|
Druckschrift
|
2010
|
Design and implementation of the Rebeca publish/subscribe middleware
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|