Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies. García-Jiménez, B. & Wilkinson, M., D. In Margaria, T. & Steffen, B., editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, volume 8803, of Lecture Notes in Computer Science, pages 464-478, 2014. Springer Berlin Heidelberg. Website doi bibtex @inproceedings{
title = {Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies},
type = {inproceedings},
year = {2014},
pages = {464-478},
volume = {8803},
websites = {http://arxiv.org/abs/1407.0165,http://link.springer.com/10.1007/978-3-662-45231-8},
publisher = {Springer Berlin Heidelberg},
city = {Berlin, Heidelberg},
series = {Lecture Notes in Computer Science},
id = {f1ab1039-e253-39df-a88c-d0a192291b6e},
created = {2014-07-02T09:11:39.000Z},
accessed = {2014-10-17},
file_attached = {false},
profile_id = {17c87d5d-2470-32d7-b273-0734a1d9195f},
last_modified = {2017-03-22T07:45:59.566Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
citation_key = {Garcia-Jimenez2014},
folder_uuids = {ec2ec352-fa41-43db-919d-f96649955c40},
private_publication = {false},
bibtype = {inproceedings},
author = {García-Jiménez, Beatriz and Wilkinson, Mark D},
editor = {Margaria, Tiziana and Steffen, Bernhard},
doi = {10.1007/978-3-662-45231-8},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II}
}
Downloads: 0
{"_id":"38PBhoiSPYkjTmjqr","bibbaseid":"garcajimnez-wilkinson-automaticannotationofbioinformaticsworkflowswithbiomedicalontologies-2014","downloads":0,"creationDate":"2018-01-15T08:18:50.388Z","title":"Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies","author_short":["García-Jiménez, B.","Wilkinson, M., D."],"year":2014,"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","bibdata":{"title":"Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies","type":"inproceedings","year":"2014","pages":"464-478","volume":"8803","websites":"http://arxiv.org/abs/1407.0165,http://link.springer.com/10.1007/978-3-662-45231-8","publisher":"Springer Berlin Heidelberg","city":"Berlin, Heidelberg","series":"Lecture Notes in Computer Science","id":"f1ab1039-e253-39df-a88c-d0a192291b6e","created":"2014-07-02T09:11:39.000Z","accessed":"2014-10-17","file_attached":false,"profile_id":"17c87d5d-2470-32d7-b273-0734a1d9195f","last_modified":"2017-03-22T07:45:59.566Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"Garcia-Jimenez2014","folder_uuids":"ec2ec352-fa41-43db-919d-f96649955c40","private_publication":false,"bibtype":"inproceedings","author":"García-Jiménez, Beatriz and Wilkinson, Mark D","editor":"Margaria, Tiziana and Steffen, Bernhard","doi":"10.1007/978-3-662-45231-8","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II","bibtex":"@inproceedings{\n title = {Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies},\n type = {inproceedings},\n year = {2014},\n pages = {464-478},\n volume = {8803},\n websites = {http://arxiv.org/abs/1407.0165,http://link.springer.com/10.1007/978-3-662-45231-8},\n publisher = {Springer Berlin Heidelberg},\n city = {Berlin, Heidelberg},\n series = {Lecture Notes in Computer Science},\n id = {f1ab1039-e253-39df-a88c-d0a192291b6e},\n created = {2014-07-02T09:11:39.000Z},\n accessed = {2014-10-17},\n file_attached = {false},\n profile_id = {17c87d5d-2470-32d7-b273-0734a1d9195f},\n last_modified = {2017-03-22T07:45:59.566Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {Garcia-Jimenez2014},\n folder_uuids = {ec2ec352-fa41-43db-919d-f96649955c40},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {García-Jiménez, Beatriz and Wilkinson, Mark D},\n editor = {Margaria, Tiziana and Steffen, Bernhard},\n doi = {10.1007/978-3-662-45231-8},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II}\n}","author_short":["García-Jiménez, B.","Wilkinson, M., D."],"editor_short":["Margaria, T.","Steffen, B."],"urls":{"Website":"http://arxiv.org/abs/1407.0165,http://link.springer.com/10.1007/978-3-662-45231-8"},"biburl":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","bibbaseid":"garcajimnez-wilkinson-automaticannotationofbioinformaticsworkflowswithbiomedicalontologies-2014","role":"author","metadata":{"authorlinks":{"wilkinson, m":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","garcía-jiménez, b":"https://bibbase.org/service/mendeley/fa910c8b-8889-3a42-afc9-302da7e3933a/group/ff1f9038-dd83-321a-9605-910d757253bb"}},"downloads":0},"search_terms":["automatic","annotation","bioinformatics","workflows","biomedical","ontologies","garcía-jiménez","wilkinson"],"keywords":[],"authorIDs":["3D2gJyDWo9oBKnSCp","zTw6W3kTiuRT7TGS9"],"dataSources":["u3DebWvhQaEque62E","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"]}