{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:47:56Z","timestamp":1725702476494},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_2","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:44:41Z","timestamp":1348620281000},"page":"7-11","source":"Crossref","is-referenced-by-count":0,"title":["Bioscientific Data Processing and Modeling"],"prefix":"10.1007","author":[{"given":"Joost","family":"Kok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fons J.","family":"Verbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark D.","family":"Wilkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"McDonald, D., Clemente, J., Kuczynski, J., Rideout, J., Stombaugh, J., Wendel, D., Wilke, A., Huse, S., Hufnagle, J., Meyer, F., Knight, R., Caporaso, J.: The Biological Observation Matrix (BIOM) format or: how I learned to stop worrying and love the ome-ome. GigaScience 1(1), 7 (2012)","DOI":"10.1186\/2047-217X-1-7"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Stoop, E., Schipper, T., Rosendahl Huber, S., Nezhinsky, A., Verbeek, F., Gurcha, S., Besra, G., Vandenbroucke-Grauls, C., Bitter, W., van der Sar, A.: Zebrafish embryo screen for mycobacterial genes involved in the initiation of granuloma formation reveals a newly identified ESX-1 component. Disease Model Mechanisms, 526\u2013536 (2011)","DOI":"10.1242\/dmm.006676"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-642-16001-1_26","volume-title":"Pattern Recognition in Bioinformatics","author":"A.E. Nezhinsky","year":"2010","unstructured":"Nezhinsky, A.E., Verbeek, F.J.: Pattern Recognition for High Throughput Zebrafish Imaging Using Genetic Algorithm Optimization. In: Dijkstra, T.M.H., Tsivtsivadze, E., Marchiori, E., Heskes, T. (eds.) PRIB 2010. LNCS, vol.\u00a06282, pp. 301\u2013312. Springer, Heidelberg (2010)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-29361-0_12","volume-title":"Health Information Science","author":"E. Larios","year":"2012","unstructured":"Larios, E., Zhang, Y., Yan, K., Di, Z., LeD\u00e9v\u00e9dec, S., Groffen, F., Verbeek, F.J.: Automation in Cytomics: A Modern RDBMS Based Platform for Image Analysis and Management in High-Throughput Screening Experiments. In: He, J., Liu, X., Krupinski, E.A., Xu, G. (eds.) HIS 2012. LNCS, vol.\u00a07231, pp. 76\u201387. Springer, Heidelberg (2012)"},{"issue":"19","key":"2_CR5","doi-asserted-by":"publisher","first-page":"3219","DOI":"10.1007\/s00018-010-0419-2","volume":"67","author":"S. LeD\u00e9v\u00e9dec","year":"2010","unstructured":"LeD\u00e9v\u00e9dec, S., Yan, K., de Bont, H., Ghotra, V., Truong, H., Danen, E., Verbeek, F., van de Water, B.: A Systems Microscopy Approach to Understand Cancer Cell Migration and Metastasis. Journal Cellular and Molecular Life Sciences\u00a067(19), 3219\u20133240 (2010)","journal-title":"Journal Cellular and Molecular Life Sciences"},{"key":"2_CR6","unstructured":"Yan, K., Larios, E., LeDevedec, S., van de Water, B., Verbeek, F.J.: Automation in Cytomics: Systematic Solution for Image Analysis and Management in High Throughput Sequences. In: Proceedings IEEE Conf. Engineering and Technology (CET 2011), vol.\u00a07 (2011)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Hawrylycz, M., Baldock, R.A., Burger, A., Hashikawa, T., Johnson, G.A., Martone, M., Ng, L., Lau, C., Larsen, S.D., Nissanov, J., Puelles, L., Ruffins, S., Verbeek, F., Zaslavsky, I., Boline, J.: Digital Atlasing and Standardization in the Mouse Brain. PLoS Comput. Biol. 7(2), e1001065+ (2011)","DOI":"10.1371\/journal.pcbi.1001065"},{"issue":"3)(128","key":"2_CR8","first-page":"1","volume":"7","author":"M. Belmamoune","year":"2010","unstructured":"Belmamoune, M., Potikanond, D., Verbeek, F.: Mining and analysing spatio-temporal patterns of gene expression in an integrative database framework. Journal of Integrative Bioinformatics\u00a07(3)(128), 1\u201310 (2010)","journal-title":"Journal of Integrative Bioinformatics"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Verbeek, F., Boon, P., Sloetjes, H., van der Velde, R., de Vos, N.: Visualization of complex data sets over Internet: 2D and 3D visualization of the 3D digital atlas of zebrafish development. In: Proc. SPIE 4672, Internet Imaging III, pp. 20\u201329 (2002)","DOI":"10.1117\/12.452680"},{"key":"2_CR10","unstructured":"Slob, J., Kallergi, A., Verbeek, F.J.: Observations on Semantic Annotation of Microscope Images for Life Sciences. In: Marshall, M.S., Burger, A., Romano, P., Paschke, A., Splendiani, A. (eds.) SWAT4LS. CEUR Workshop Proceedings, vol.\u00a0559, CEUR-WS.org (2009)"},{"key":"2_CR11","series-title":"LNCS","first-page":"12","volume-title":"ISoLA 2012, Part II","author":"H. Sanchez-Faddeev","year":"2012","unstructured":"Sanchez-Faddeev, H., Emmerich, M.T., Verbeek, F.J., Henry, A.H., Grimshaw, S., Spaink, H.P., van Vlijmen, H.W., Bender, A.: Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 12\u201324. Springer, Heidelberg (2012)"},{"key":"2_CR12","series-title":"LNCS","first-page":"25","volume-title":"ISoLA 2012, Part II","author":"K. Yan","year":"2012","unstructured":"Yan, K., Verbeek, F.J.: Segmentation for High-throughput Image Analysis: Watershed Masked Clustering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 25\u201341. Springer, Heidelberg (2012)"},{"key":"2_CR13","series-title":"LNCS","first-page":"42","volume-title":"ISoLA 2012, Part II","author":"A.E. Nezhinsky","year":"2012","unstructured":"Nezhinsky, A.E., Verbeek, F.J.: Efficient and Robust Shape Retrieval from Deformable Templates. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 42\u201355. Springer, Heidelberg (2012)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Taylor, I.: Workflows for E-Science: Scientific Workflows for Grids. Springer (2007)","DOI":"10.1007\/978-1-84628-757-2"},{"key":"2_CR15","unstructured":"Wikipedia: Bioinformatics workflow management systems \u2014 Wikipedia, The Free Encyclopedia (2012) (Online; last accessed June 25, 2012)"},{"key":"2_CR16","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":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-39718-2_21","volume-title":"The Semantic Web - ISWC 2003","author":"L. Chen","year":"2003","unstructured":"Chen, L., Shadbolt, N.R., Goble, C.A., Tao, F., Cox, S.J., Puleston, C., Smart, P.R.: Towards a Knowledge-Based Approach to Semantic Service Composition. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 319\u2013334. Springer, Heidelberg (2003)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-540-30475-3_25","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P. Lord","year":"2004","unstructured":"Lord, P., Bechhofer, S., Wilkinson, M.D., Schiltz, G., Gessler, D., Hull, D., Goble, C.A., Stein, L.: Applying Semantic Web Services to Bioinformatics: Experiences Gained, Lessons Learnt. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 350\u2013364. Springer, Heidelberg (2004)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinformatics 10(suppl. 10), S8 (2009)","DOI":"10.1186\/1471-2105-10-S10-S8"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. Biomedical Semantics 2(suppl. 1), S5 (2011)","DOI":"10.1186\/2041-1480-2-S1-S5"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-Guided Workflow Composition Based on the EDAM Ontology. In: Burger, A., Marshall, M.S., Romano, P., Paschke, A., Splendiani, A. (eds.) Proceedings of the 3rd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010), vol. 698, CEUR Workshop Proceedings (December 2010)","DOI":"10.1038\/npre.2010.5397.1"},{"issue":"4","key":"2_CR22","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1093\/bioinformatics\/btp709","volume":"26","author":"V. Mart\u00edn-Requena","year":"2010","unstructured":"Mart\u00edn-Requena, V., R\u00edos, J., Garc\u00eda, M., Ram\u00edrez, S., Trelles, O.: jORCA: easily integrating bioinformatics Web Services. Bioinformatics\u00a026(4), 553\u2013559 (2010)","journal-title":"Bioinformatics"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-16558-0_28","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"J. Karlsson","year":"2010","unstructured":"Karlsson, J., Mart\u00edn-Requena, V., R\u00edos, J., Trelles, O.: Workflow Composition and Enactment Using jORCA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 328\u2013339. Springer, Heidelberg (2010)"},{"key":"2_CR24","first-page":"13","volume-title":"Proceedings of the IEEE Services Computing Conference, APSCC 2009","author":"M.D. Wilkinson","year":"2009","unstructured":"Wilkinson, M.D., Vandervalk, B., McCarthy, L.: SADI Semantic Web Services - \u2019cause you can\u2019t always GET what you want! In: Proceedings of the IEEE Services Computing Conference, APSCC 2009, December 7-11, pp. 13\u201318. IEEE Asia-Pacific, Singapore (2009)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-642-10871-6_27","volume-title":"The Semantic Web","author":"B.P. Vandervalk","year":"2009","unstructured":"Vandervalk, B.P., McCarthy, E.L., Wilkinson, M.D.: SHARE: A Semantic Web Query Engine for Bioinformatics. In: G\u00f3mez-P\u00e9rez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol.\u00a05926, pp. 367\u2013369. Springer, Heidelberg (2009)"},{"key":"2_CR26","unstructured":"Gil, Y., Ratnakar, V., Deelman, E., Mehta, G., Kim, J.: Wings for Pegasus: creating large-scale scientific applications using semantic representations of computational workflows. In: Proceedings of the 19th National Conference on Innovative Applications of Artificial Intelligence, vol.\u00a02, pp. 1767\u20131774. AAAI Press (2007)"},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1155\/2005\/128026","volume":"13","author":"E. Deelman","year":"2005","unstructured":"Deelman, E., Singh, G., Hui Su, M., Blythe, J., Gil, A., Kesselman, C., Mehta, G., Vahi, K., Berriman, G.B., Good, J., Laity, A., Jacob, J.C., Katz, D.S.: Pegasus: a framework for mapping complex scientific workflows onto distributed systems. Scientific Programming Journal\u00a013, 219\u2013237 (2005)","journal-title":"Scientific Programming Journal"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-642-16558-0_26","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"D. Withers","year":"2010","unstructured":"Withers, D., Kawas, E., McCarthy, L., Vandervalk, B., Wilkinson, M.: Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 301\u2013312. Springer, Heidelberg (2010)"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Wood, I., Vandervalk, B., McCarthy, L., Wilkinson, M.D.: OWL-DL Domain Models as Abstract Workflows. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 56\u201366. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34032-1_6"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:36Z","timestamp":1620132096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}