References - User-Level Workflow Design: A Bioinformatics Perspective - page 209

212. Margaria, T., Steffen, B., Reitenspieß, M.: Service-Oriented Design: The
Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS,
vol. 3826, pp. 450-464. Springer, Heidelberg (2005)
213. Margaria, T., Steffen, B., Topnik, C.: Second-Order Value Numbering. Elec-
tronic Communications of the EASST (ECEASST) 30 (2010)
214. Martin, D., et al.: Bringing Semantics to Web Services: The OWL-S Approach.
In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26-42.
Springer, Heidelberg (2005)
215. Martın-Requena, V., Rıos, J., Garcıa, M., Ramırez, S., Trelles, O.: jORCA:
easily integrating bioinformatics Web Services. Bioinformatics 26(4), 553-559
(2010)
216. May, C.: Entwicklung einer Bibliothek zur service-orientierten Modellierung
von Ontologien. Diploma thesis, TU Dortmund (2009)
217. May, P., Ehrlich, H.-C., Steinke, T.: ZIB Structure Prediction Pipeline: Com-
posing a Complex Biological Workflow Through Web Services. In: Nagel, W.E.,
Walter, W.V., Lehner, W. (eds.) Euro-Par 2006. LNCS, vol. 4128, pp. 1148-
1158. Springer, Heidelberg (2006)
218. Mendel, G.: Versuche uber Pflanzen-Hybriden. In: Verhandlungen des Natur-
forschenden Vereins zu Brunn, vol. 4, pp. 3-47 (1866); Separatabdruck aus
dem IV. Bande der Verhandlungen des naturforschenden Vereines; mit hand-
schriftlichen Korrekturen Mendels
219. Merten, M., Howar, F., Steffen, B., Cassel, S., Jonsson, B.: Demonstrating
Learning of Register Automata. In: Flanagan, C., Konig, B. (eds.) TACAS
2012. LNCS, vol. 7214, pp. 466-471. Springer, Heidelberg (2012)
220. Merten, M., Steffen, B., Howar, F., Margaria, T.: Next Generation LearnLib.
In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp.
220-223. Springer, Heidelberg (2011)
221. Michener, C.D., Sokal, R.R.: A Quantitative Approach to a Problem in Clas-
sification. Evolution 11(2), 130-162 (1957)
222. Mitchell, T.: Web Mapping Illustrated. O'Reilly Media, Inc. (2005)
223. Miyazaki, S., Sugawara, H., Ikeo, K., Gojobori, T., Tateno, Y.: DDBJ in the
stream of various biological data. Nucleic Acids Research 32(Database issue),
D31-D34 (2004)
224. Monson-Haefel, R. (ed.): 97 Things Every Software Architect Should Know,
1st edn. O'Reilly Media, Inc. (2009)
225. Montali, M., Pesic, M., van der Aalst, W.M.P., et al.: Declarative specification
and verification of service choreographiess. TWEB 4(1) (2010)
226. Morgenstern, B.: DIALIGN: multiple DNA and protein sequence alignment
at BiBiServ. Nucleic Acids Research 32(suppl. 2), W33-W36 (2004)
227. Myllymaki, T.: Variability management in software product-lines. Technical
report 30, Institute of Software Systems, Tampere University of Technology
(January 2002)
228. Muller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking - A Tutorial
Introduction. In: Cortesi, A., File, G. (eds.) SAS 1999. LNCS, vol. 1694, pp.
330-354. Springer, Heidelberg (1999)
229. Nagel, R.: Technische Herausforderungen modellgetriebener Beherrschung von
Prozesslebenszyklen aus der Fachperspektive von der Anforderungsanalyse zur
Realisierung. Dissertation, Technische Universitat Dortmund (July 2009)
230. Nanchen, A., Fuhrer, T., Sauer, U.: Determination of metabolic flux ratios
from 13C-experiments and gas chromatography-mass spectrometry data: pro-
tocol and principles. Methods in Molecular Biology 358, 177-197 (2007)