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

150. Katoh, K., Misawa, K., Ichi Kuma, K., Miyata, T.: MAFFT: a novel method
for rapid multiple sequence alignment based on fast Fourier transform. Nucleic
Acids Research 30(14), 3059-3066 (2002)
151. Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Gen-
eration. Wiley-IEEE Computer Society Press (2008)
152. Kluge, W.: Reduction, data flow and control flow models of computation. In:
Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp.
466-498. Springer, Heidelberg (1987)
153. Knoop, J., Steffen, B., Vollmer, J.: Parallelism for free: ecient and optimal
bitvector analyses for parallel programs. ACM Transactions on Programming
Languages and Systems (TOPLAS) 18(3), 268-299 (1996)
154. Ko, A.J., Abraham, R., Beckwith, L., et al.: The state of the art in end-user
software engineering. ACM Computing Surveys 43, 21:1-21:44 (2011)
155. Kona, S., Bansal, A., Blake, M., Gupta, G.: Generalized Semantics-Based
Service Composition. In: 2008 IEEE International Conference on Web Services
(ICWS 2008), pp. 219-227. IEEE Computer Society (September 2008)
156. Kosakovsky Pond, S., Wadhawan, S., Chiaromonte, F., et al.: Windshield splat-
ter analysis with the Galaxy metagenomic pipeline. Genome Research 19(11),
2144-2153 (2009)
157. Kubczak, C., Jorges, S., Margaria, T., Steffen, B.: eXtreme Model-Driven
Design with jABC. In: CTIT Proc. of the Tools and Consultancy Track of the
Fifth European Conference on Model-Driven Architecture Foundations and
Applications (ECMDA-FA), vol. WP09-12, pp. 78-99 (2009)
158. Kubczak, C., Margaria, T., Fritsch, A., Steffen, B.: Biological LC/MS Pre-
processing and Analysis with jABC, jETI and xcms. In: Proceedings of the
2nd International Symposium on Leveraging Applications of Formal Methods,
Verification and Validation (ISoLA 2006), Paphos, Cyprus, November 15-19,
pp. 308-313. IEEE Computer Society (2006)
159. Kubczak, C., Margaria, T., Kaiser, M., Lemcke, J., Knuth, B.: Abductive
Synthesis of the Mediator Scenario with jABC and GEM. In: Semantic Web
Services Challenge: Proceedings of the 2008 Workshops, pp. 52-63 (2008)
160. Kubczak, C., Margaria, T., Nagel, R., Steffen, B.: Plug and Play with FMICS-
jETI: Beyond Scripting and Coding. ERCIM News (73), 41-42 (2008)
161. Kubczak, C., Margaria, T., Steffen, B.: Mashup Development for Everybody:
A Planning-Based Approach. In: Proceedings of the 3rd International SMR2
2009 Workshop on Service Matchmaking and Resource Retrieval in the Se-
mantic Web. CEUR Workshop Proceedings, vol. 525 (October 2009)
162. Kubczak, C., Margaria, T., Steffen, B., Naujokat, S.: Service-oriented Medi-
ation with jETI/jABC: Verification and Export. In: Proceedings of the 2007
IEEE/WIC/ACM International Conference on Web Intelligence and Intelli-
gent Agent Technology, WI-IAT Workshop, pp. 144-147. IEEE Computer So-
ciety Press, Silicon Valley (2007)
163. Kupferman, O., Vardi, M.Y.: µ -Calculus Synthesis. In: Nielsen, M., Rovan, B.
(eds.) MFCS 2000. LNCS, vol. 1893, pp. 497-507. Springer, Heidelberg (2000)
164. Kutschera, U., Niklas, K.J.: The modern theory of biological evolution: an
expanded synthesis. Naturwissenschaften 91(6), 255-276 (2004)
165. Kwon, Y., Shigemoto, Y., Kuwana, Y., Sugawara, H.: Web API for biology
with a workflow navigation system. Nucleic Acids Research 37(suppl. 2), W11-
W16 (2009)