| * | 2009 |
|---|
| 5 | EE | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
From Bio-jETI Process Models to Native Code.
ICECCS 2009: 95-101 |
| 2008 |
|---|
| 4 | EE | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI.
ISBRA 2008: 445-456 |
| 3 | EE | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen,
Alexander Sczyrba,
Sven Hartmeier,
Robert Giegerich:
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.
BMC Bioinformatics 9(S-4): (2008) |
| 2006 |
|---|
| 2 | EE | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC.
CC 2006: 101-104 |
| 1 | | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
Datenflussanalyse als Modelchecking im jABC.
Software Engineering 2006: 125-130 |
