Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2008
|
Algorithmen und Werkzeuge für Petrinetze: 15ter workshop, AWPN 2008
|
Konferenz/Workshop
|
Druckschrift
|
2009
|
Investigating the two-moment characterisation of subcellular biochemical networks
|
Zeitschriftenartikel
|
Druckschrift
|
2009
|
On distance-3 matchings and induced matchings
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Path-bicolorable graphs
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2009
|
Systems approaches in molecular and cell biology
|
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
|
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
|