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

In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870,
pp. 319-334. Springer, Heidelberg (2003)
67. Cheyer, A., Martin, D.: The Open Agent Architecture. Journal of Autonomous
Agents and Multi-Agent Systems 4(1), 143-148 (2001)
68. Chin, G., Sivaramakrishnan, C., Critchlow, T., Schuchardt, K., Ngu, A.H.:
Scientist-Centered Workflow Abstractions via Generic Actors, Workflow Tem-
plates, and Context-Awareness for Groundwater Modeling and Analysis. In:
7th IEEE World Congress on Services (SERVICES 2011), pp. 176-183. IEEE
Computer Society, Los Alamitos (2011)
69. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Ser-
vices Description Language (WSDL) 1.1. W3C Note (March 2001),
http://www.w3.org/TR/wsdl.html (last accessed May 5, 2013)
70. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press
(1999)
71. Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model
checking lots of systems: ecient verification of temporal properties in soft-
ware product lines. In: Proceedings of the 32nd ACM/IEEE International
Conference on Software Engineering, ICSE 2010, vol. 1, pp. 335-344. ACM,
New York (2010)
72. Cochrane, G., Karsch-Mizrachi, I., Nakamura, Y.: On behalf of the In-
ternational Nucleotide Sequence Database Collaboration: The Interna-
tional Nucleotide Sequence Database Collaboration. Nucleic Acids Re-
search 39(Database), D15-D18 (2010)
73. Cope, L.M., Irizarry, R.A., Jaffee, H.A., Wu, Z., Speed, T.P.: A benchmark
for Affymetrix GeneChip expression measures. Bioinformatics 20(3), 323-331
(2004)
74. Costabile, M.F., Dittrich, Y., Fischer, G., Piccinno, A.: IS-EUD 2011. LNCS,
vol. 6654. Springer, Heidelberg (2011)
75. Curcin, V., Ghanem, M., Guo, Y.: Analysing scientific workflows with Com-
putational Tree Logic. Cluster Computing 12, 399-419 (2009)
76. Curcin, V., Ghanem, M., Guo, Y., et al.: IT Service Infrastructure for In-
tegrative Systems Biology. In: Proceedings of the 2004 IEEE International
Conference on Services Computing, pp. 123-131. IEEE Computer Society,
Washington, DC (2004)
77. Czarnecki, K.: Variability Modeling: State of the Art and Future Directions.
In: VaMoS, p. 11. ICB-Research Report No. 37, University of Duisburg Essen
(2010)
78. Dall'Olio, G.M.: GNU/make and bioinformatics. Presentation at BioEvo tech-
nical seminars (February 2009),
http://www.slideshare.net/giovanni/makefiles-bioinfo (last accessed
May 5, 2013)
79. Dalman, T., Droste, P., Weitzel, M., Wiechert, W., Noh, K.: Workflows for
Metabolic Flux Analysis: Data Integration and Human Interaction. In: Mar-
garia, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, pp. 261-275.
Springer, Heidelberg (2010)
80. Darwin, C.: On the Origin of Species by Means of Natural Selection, or the
Preservation of Favoured Races in the Struggle for Life. John Murray, London
(1859)
81. Dayhoff, M., Schwartz, R., Orcutt, B.: A model of evolutionary change in
proteins. Atlas of Protein Sequence and Structure 5(suppl. 3), 345-352 (1978)