-
1
-
-
0037935183
-
BioMOBY: An open source biological web services proposal
-
December
-
Wilkinson, M.D., Links, M.: BioMOBY: an open source biological web services proposal. Briefings in Bioinformatics 3(4) (December 2002) 331-341
-
(2002)
Briefings in Bioinformatics
, vol.3
, Issue.4
, pp. 331-341
-
-
Wilkinson, M.D.1
Links, M.2
-
2
-
-
0034201441
-
Emboss: The european molecular biology open software suite
-
June
-
Rice, P., Longden, I., Bleasby, A.: EMBOSS: the European Molecular Biology Open Software Suite. Trends in Genetics: TIG 16(6) (June 2000) 276-267
-
(2000)
Trends in Genetics: TIG
, vol.16
, Issue.6
, pp. 276-267
-
-
Rice, P.1
Longden, I.2
Bleasby, A.3
-
4
-
-
0242444222
-
Taming heterogeneity - The Ptolemy approach
-
Eker, J., Janneck, J., Lee, E., et al.: Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE 91(1) (2003) 127-144
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.1
, pp. 127-144
-
-
Eker, J.1
Janneck, J.2
Lee, E.3
-
5
-
-
5444235762
-
Kepler: An extensible system for design and execution of scientifc workows
-
Altintas, I., Berkley, C., Jaeger, E., et al.: Kepler: An Extensible System for Design and Execution of Scientific Workows. In SSDBM (2004) 21-23
-
(2004)
SSDBM
, pp. 21-23
-
-
Altintas, I.1
Berkley, C.2
Jaeger, E.3
-
6
-
-
10244255212
-
Taverna: A tool for the composition and enactment of bioinformatics workows
-
Oinn, T., Addis, M., Ferris, J., et al.: Taverna: a tool for the composition and enactment of bioinformatics workows. Bioinformatics 20(17) (2004) 3045-3054
-
(2004)
Bioinformatics
, vol.20
, Issue.17
, pp. 3045-3054
-
-
Oinn, T.1
Addis, M.2
Ferris, J.3
-
7
-
-
79951848895
-
The triana workow environment: Architecture and applications
-
Springer, New York, Secaucus, NJ, USA
-
Taylor, I., Shields, M., Wang, I., Harrison, A.: The Triana Workow Environment: Architecture and Applications. In: Workows for e-Science. Springer, New York, Secaucus, NJ, USA (2007) 320-339
-
(2007)
Workows for E-Science
, pp. 320-339
-
-
Taylor, I.1
Shields, M.2
Wang, I.3
Harrison, A.4
-
8
-
-
44649163308
-
Bio-jETI: A service integration, design, and provisioning platform for orchestrated bioinformatics processes
-
Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics 9 Suppl 4 (2008) S12
-
(2008)
BMC Bioinformatics
, vol.9
, Issue.SUPPL. 4
-
-
Margaria, T.1
Kubczak, C.2
Steffen, B.3
-
9
-
-
70449449024
-
Bio-jETI: A framework for semanticsbased service composition
-
Lamprecht, A., Margaria, T., Steffen, B.: Bio-jETI: a framework for semanticsbased service composition. BMC Bioinformatics 10(Suppl 10) (2009) S8
-
(2009)
BMC Bioinformatics
, vol.10
, Issue.SUPPL. 10
-
-
Lamprecht, A.1
Margaria, T.2
Steffen, B.3
-
10
-
-
34249867762
-
Model-based design of distributed collaborative bioinformatics processes in the JABC
-
Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. In: Proceedings of ICECCS, IEEE Computer Society (2006) 169-176
-
(2006)
Proceedings of ICECCS IEEE Computer Society
, pp. 169-176
-
-
Margaria, T.1
Kubczak, C.2
Njoku, M.3
Steffen, B.4
-
11
-
-
77956451521
-
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
-
Kubczak, C., Margaria, T., Fritsch, A., Steffen, B.: Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. (2006) 303-308
-
(2006)
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006
, pp. 303-308
-
-
Kubczak, C.1
Margaria, T.2
Fritsch, A.3
Steffen, B.4
-
12
-
-
44649175821
-
GeneFisher-P: Variations of Gene-Fisher as processes in Bio-jETI
-
Lamprecht, A., Margaria, T., Steffen, B., et al.: GeneFisher-P: variations of Gene-Fisher as processes in Bio-jETI. BMC Bioinformatics 9 Suppl 4 (2008) S13
-
(2008)
BMC Bioinformatics
, vol.9
, Issue.SUPPL. 4
-
-
Lamprecht, A.1
Margaria, T.2
Steffen, B.3
-
13
-
-
49949095003
-
Seven variations of an alignment work flow - An illustration of agile process design and management in Bio-jETI
-
Volume 4983 of LNBI., Atlanta, Georgia,Springer
-
Lamprecht, A., Margaria, T., Steffen, B.: Seven Variations of an Alignment Work flow - An Illustration of Agile Process Design and Management in Bio-jETI. In: Bioinformatics Research and Applications. Volume 4983 of LNBI., Atlanta, Georgia, Springer (2008) 445-456
-
(2008)
Bioinformatics Research and Applications
, pp. 445-456
-
-
Lamprecht, A.1
Margaria, T.2
Steffen, B.3
-
14
-
-
38049113286
-
Model-Driven Development with the jABC
-
Steffen, B., Margaria, T., Nagel, R., et al.: Model-Driven Development with the jABC. In: Hardware and Software, Verification and Testing. (2007) 92-108
-
(2007)
Hardware and Software Verification and Testing
, pp. 92-108
-
-
Steffen, B.1
Margaria, T.2
Nagel, R.3
-
15
-
-
24644435584
-
JETI: A tool for remote tool integration
-
Volume 3440/2005 of LNCS., Springer Berlin/Heidelberg
-
Margaria, T., Nagel, R., Steffen, B.: jETI: A Tool for Remote Tool Integration. In: Tools and Algorithms for the Construction and Analysis of Systems. Volume 3440/2005 of LNCS., Springer Berlin/Heidelberg (2005) 557-562
-
(2005)
Tools and Algorithms for the Construction and Analysis of Systems
, pp. 557-562
-
-
Margaria, T.1
Nagel, R.2
Steffen, B.3
-
16
-
-
57049177579
-
Genesys: Service-oriented construction of property conform code generators
-
December
-
Jörges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innovations in Systems and Software Engineering 4(4) (December 2008) 361-384
-
(2008)
Innovations in Systems and Software Engineering
, vol.4
, Issue.4
, pp. 361-384
-
-
Jörges, S.1
Margaria, T.2
Steffen, B.3
-
17
-
-
84885831443
-
Supporting process development in BiojETI by model checking and synthesis
-
November
-
Lamprecht, A., Margaria, T., Steffen, B.: Supporting Process Development in BiojETI by Model Checking and Synthesis. In: Proc. of 1st Workshop SWAT4LS08, Edinburgh, United Kingdom, CEUR Workshop Proceedings (November 2008)
-
(2008)
Proc. of 1st Workshop SWAT4LS08, Edinburgh, United Kingdom, CEUR Workshop Proceedings
-
-
Lamprecht, A.1
Margaria, T.2
Steffen, B.3
-
19
-
-
0031743421
-
Profile hidden markov models
-
Eddy, S.: Profile hidden Markov models. Bioinformatics (Oxford, England) 14(9) (1998) 755-763
-
(1998)
Bioinformatics (Oxford, England)
, vol.14
, Issue.9
, pp. 755-763
-
-
Eddy, S.1
-
21
-
-
52949143458
-
Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework
-
March
-
Dibernardo, M., Pottinger, R., Wilkinson, M.: Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework. Journal of Biomedical Informatics (March 2008)
-
(2008)
Journal of Biomedical Informatics
-
-
Dibernardo, M.1
Pottinger, R.2
Wilkinson, M.3
-
22
-
-
33645324703
-
REMORA: A pilot in the ocean of BioMoby web-services
-
April. PMID: 16423924.
-
Carrere, S., Gouzy, J.: REMORA: a pilot in the ocean of BioMoby web-services. Bioinformatics (Oxford, England) 22(7) (April 2006) 900-901 PMID: 16423924.
-
(2006)
Bioinformatics (Oxford, England)
, vol.22
, Issue.7
, pp. 900-901
-
-
Carrere, S.1
Gouzy, J.2
-
23
-
-
67849128708
-
Web API for biology with a workow navigation system
-
July
-
Kwon, Y., Shigemoto, Y., Kuwana, Y., Sugawara, H.: Web API for biology with a workow navigation system. Nucl. Acids Res. 37(suppl 2) (July 2009) W11-16
-
(2009)
Nucl. Acids Res.
, vol.37
, Issue.SUPPL. 2
-
-
Kwon, Y.1
Shigemoto, Y.2
Kuwana, Y.3
Sugawara, H.4
-
24
-
-
70449457512
-
Knowledge-driven enhancements for task composition in bioinformatics
-
Sutherland, K., McLeod, K., Ferguson, G., Burger, A.: Knowledge-driven enhancements for task composition in bioinformatics. BMC Bioinformatics 10(Suppl 10) (2009) S12
-
(2009)
BMC Bioinformatics
, vol.10
, Issue.SUPPL. 10
-
-
Sutherland, K.1
McLeod, K.2
Ferguson, G.3
Burger, A.4
-
25
-
-
50049131875
-
Automatically composing data workows with relational descriptions and shim services
-
Ambite, J., Kapoor, D.: Automatically composing data workows with relational descriptions and shim services. In: The Semantic Web. (2008) 15-29
-
(2008)
The Semantic Web
, pp. 15-29
-
-
Ambite, J.1
Kapoor, D.2
-
26
-
-
0031126053
-
GOLOG: A logic programming language for dynamic domains
-
Levesque, H.J., Reiter, R., Lesperance, Y., et al.: GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming 31 (1997)
-
(1997)
Journal of Logic Programming
, vol.31
-
-
Levesque, H.J.1
Reiter, R.2
Lesperance, Y.3
-
27
-
-
35048842764
-
Applying semantic web services to bioinformatics: Experiences gained lessons learnt
-
Lord, P., Bechhofer, S., Wilkinson, M.D., et al.: Applying Semantic Web Services to Bioinformatics: Experiences Gained, Lessons Learnt. In: The Semantic Web ISWC. (2004) 350-364
-
(2004)
The Semantic Web ISWC
, pp. 350-364
-
-
Lord, P.1
Bechhofer, S.2
Wilkinson, M.D.3
-
28
-
-
34447558591
-
The (my)Grid ontology: Bioinformatics service discovery
-
Wolstencroft, K., Alper, P., Hull, D., et al.: The (my)Grid ontology: bioinformatics service discovery. International Journal of Bioinformatics Research and Applications 3(3) (2007) 303-325
-
(2007)
International Journal of Bioinformatics Research and Applications
, vol.3
, Issue.3
, pp. 303-325
-
-
Wolstencroft, K.1
Alper, P.2
Hull, D.3
|