Information Technology Reference
In-Depth Information
166. Kuhn, K., Greiner, U.: Workflow-Management in der Bioinformatik - Systeme
zur Unterstutzung in der Bioinformatik/Forschungslaboren. Problemseminar
Datenbanken, WS 2001/2002, Abteilung Datenbanken am Institut fur
Informatik, Universitat Leipzig (2002),
ProblemseminarBioDB WFM-Bioinf.htm
(last accessed May 5, 2013)
167. Labarga, A., Valentin, F., Anderson, M., Lopez, R.: Web services at the Eu-
ropean bioinformatics institute. Nucleic Acids Research 35(Web Server issue),
W6-W11 (2007)
168. Lamprecht, A.-L.: Intraprocedural data-flow analysis via model checking.
Bachelor's thesis, Georg-August-Universitat Gottingen (September 2005)
169. Lamprecht, A.-L., Margaria, T., Schaefer, I., Steffen, B.: Comparing Structure-
Oriented and Behavior-Oriented Variability Modeling for Workflows. In: Mos-
chitti, A., Scandariato, R. (eds.) EternalS 2011. CCIS, vol. 255, pp. 1-15.
Springer, Heidelberg (2012)
170. Lamprecht, A.-L., Margaria, T., Schaefer, I., Steffen, B.: Synthesis-Based Vari-
ability Control: Correctness by Construction. In: Beckert, B., Bonsangue, M.M.
(eds.) FMCO 2011. LNCS, vol. 7542, pp. 69-88. Springer, Heidelberg (2012)
171. Lamprecht, A.-L., Margaria, T., Steffen, B.: Data-Flow Analysis as Model
Checking Within the jABC. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS,
vol. 3923, pp. 101-104. Springer, Heidelberg (2006)
172. Lamprecht, A.-L., Margaria, T., Steffen, B.: Seven Variations of an Alignment
Workflow - An Illustration of Agile Process Design and Management in Bio-
jETI. In: Mandoiu, I., Wang, S.-L., Zelikovsky, A. (eds.) ISBRA 2008. LNCS
(LNBI), vol. 4983, pp. 445-456. Springer, Heidelberg (2008)
173. Lamprecht, A.-L., Margaria, T., Steffen, B.: Supporting Process Development
in Bio-jETI by Model Checking and Synthesis. In: Semantic Web Applications
and Tools for Life Sciences (SWAT4LS 2009). CEUR Workshop Proceedings,
vol. 435 (2008)
174. Lamprecht, A.-L., Margaria, T., Steffen, B.: Bio-jETI: a framework for
semantics-based service composition. BMC Bioinformatics 10(suppl. 10), S8
(2009)
175. Lamprecht, A.-L., Margaria, T., Steffen, B.: From Bio-jETI Process Models
to Native Code. In: 14th IEEE International Conference on Engineering of
Complex Computer Systems, ICECCS 2009, Potsdam, Germany, June 2-4,
pp. 95-101. IEEE Computer Society (2009)
176. Lamprecht, A.-L., Margaria, T., Steffen, B.: Bioinformatics: Processes and
Workflows. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, ch.
11, pp. 118-130. Taylor & Francis (November 2010)
177. Lamprecht, A.-L., Margaria, T., Steffen, B., et al.: GeneFisher-P: variations
of GeneFisher as processes in Bio-jETI. BMC Bioinformatics 9(suppl. 4), S13
(2008)
178. Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based
Loose Programming. In: Proceedings of the 7th International Conference on
the Quality of Information and Communications Technology, QUATIC 2010
(September 2010)
179. Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based
composition of EMBOSS services. Journal of Biomedical Semantics 2(suppl.
1), S5 (2011)
Search WWH ::
Custom Search