Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2009
|
Systems approaches in molecular and cell biology
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Automated insertion of twin gates to improve reliability concerning gate oxide breakdown
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Mathematical modelling of interferon-γ signalling in pancreatic stellate cells reflects and predicts the dynamics of STAT1 pathway activity
|
Zeitschriftenartikel
|
Druckschrift
|
2009
|
OSAMI-D
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Instantaneous soundness checking of industrial business process models
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Dynamic compartments in the imperative π-calculus
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Set algebra for service behavior
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
A unified distributed system architecture for goal-based interaction with smart environments
|
Dissertationsschrift
|
Druckschrift
|
2010
|
Characterising (k, l)-leaf powers
|
Zeitschriftenartikel
|
Druckschrift
|
2009
|
Service-oriented information visualization for smart environments
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|