{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:28:04Z","timestamp":1725805684542},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452301"},{"type":"electronic","value":"9783662452318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45231-8_31","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T11:42:39Z","timestamp":1411731759000},"page":"404-406","source":"Crossref","is-referenced-by-count":0,"title":["Track Introduction: Scientific Workflows"],"prefix":"10.1007","author":[{"given":"Joost N.","family":"Kok","sequence":"first","affiliation":[]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[]},{"given":"Kenneth J.","family":"Turner","sequence":"additional","affiliation":[]},{"given":"Katy","family":"Wolstencroft","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M.: Workflows for E-Science: Scientific Workflows for Grids. Springer (2007)","DOI":"10.1007\/978-1-84628-757-2"},{"key":"31_CR2","unstructured":"Scientific workflow system - Wikipedia, the free encyclopedia (last accessed June 27, 2014)"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-16558-0_22","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"J.N. Kok","year":"2010","unstructured":"Kok, J.N., Lamprecht, A.-L., Wilkinson, M.D.: Tools in Scientific Workflow Composition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 258\u2013260. Springer, Heidelberg (2010)"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/978-3-662-45231-8_32","volume-title":"ISoLA 2014, Part II","author":"J.K. Vis","year":"2014","unstructured":"Vis, J.K., Kok, J.N.: Meta-Analysis of Disjoint Sets of Attributes in Large Cohort Studies. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 407\u2013419. Springer, Heidelberg (2014)"},{"issue":"1","key":"31_CR5","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"M. Hall","year":"2009","unstructured":"Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The weka data mining software: An update. SIGKDD Explor. Newsl.\u00a011(1), 10\u201318 (2009)","journal-title":"SIGKDD Explor. Newsl."},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-662-45231-8_33","volume-title":"ISoLA 2014, Part II","author":"S. Al-Areqi","year":"2014","unstructured":"Al-Areqi, S., Kriewald, S., Lamprecht, A.-L., Reusser, D., Wrobel, M., Margaria, T.: Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 420\u2013435. Springer, Heidelberg (2014)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"31_CR8","unstructured":"ci:grasp 2.0: Home (last accessed June 27, 2014)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/978-3-662-45231-8_34","volume-title":"ISoLA 2014, Part II","author":"V. Podpe\u010dan","year":"2014","unstructured":"Podpe\u010dan, V.: A visual programming approach to beat-driven humanoid robot dancing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 436\u2013448. Springer, Heidelberg (2014)"},{"key":"31_CR10","unstructured":"Aldebaran Robotics - Humanoid robotics & programmable robots (last accessed June 27, 2014)"},{"key":"31_CR11","unstructured":"Aubio, a library for audio labeling (last accessed June 27, 2014)"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-662-45231-8_35","volume-title":"ISoLA 2014, Part II","author":"A. Wickert","year":"2014","unstructured":"Wickert, A., Lamprecht, A.-L.: jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 449\u2013463. Springer, Heidelberg (2014)"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/978-3-662-45231-8_36","volume-title":"ISoLA 2014, Part II","author":"B. Garc\u00eda-Jim\u00e9nez","year":"2014","unstructured":"Garc\u00eda-Jim\u00e9nez, B., Wilkinson, M.D.: Automatic annotation of bioinformatics workflows with biomedical ontologies. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol.\u00a08803, pp. 464\u2013478. Springer, Heidelberg (2014)"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Wolstencroft, K., Haines, R., Fellows, D., Williams, A., Withers, D., Owen, S., Soiland-Reyes, S., Dunlop, I., Nenadic, A., Fisher, P., Bhagat, J., Belhajjame, K., Bacall, F., Hardisty, A., Nieva de la Hidalga, A., Balcazar Vargas, M.P., Sufi, S., Goble, C.: The taverna workflow suite: Designing and executing workflows of web services on the desktop, web or in the cloud. Nucleic Acids Research\u00a041(W1), W557\u2013W561 (2013)","DOI":"10.1093\/nar\/gkt328"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Goble, C.A., Bhagat, J., Aleksejevs, S., Cruickshank, D., Michaelides, D., Newman, D., Borkum, M., Bechhofer, S., Roos, M., Li, P., Roure, D.D.: myExperiment: A repository and social network for the sharing of bioinformatics workflows. Nucleic Acids Research\u00a038(suppl. 2), W677\u2013W682 (2010)","DOI":"10.1093\/nar\/gkq429"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45231-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:00:51Z","timestamp":1558987251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45231-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452301","9783662452318"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45231-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}