911½ñÈÕºÚÁÏ

Search or filter publications

Search publications Search

Filter by type:

Filter by publication type

• Book
• Book chapter
• Conference paper
• Journal article
• Patent
• Report
• Software

Filter by year:

Filter from 20232022202120202019201820172016201520142013201220112010200920082007200620052004200320022001200019991998199719961995199419931992199119901989 to Filter to 20232022202120202019201820172016201520142013201220112010200920082007200620052004200320022001200019991998199719961995199419931992199119901989

---

Search results

• Journal article
  Birch D, Kelly P, Field A, Simondetti Aet al., 2013,
  , CF 2013 Proceedings of the ACM International Conference on Computing Frontiers, Pages: 1-10
  • Cite
• Conference paper
  Birch D, Liang H, Ko J, Kelly P, Field A, Mullineux G, Simondetti Aet al., 2013,

  Multidisciplinary Engineering Models: Methodology and Case Study in Spreadsheet Analytics

  , European Spreadsheet Risks Interest Group 14th Annual Conference (EuSpRIG 2013), Publisher: EuSpRIG, Pages: 1-12
  • Cite
• Journal article
  Dalby AR, Emam I, Franke R, 2012,
  , PLOS ONE, Vol: 7, ISSN: 1932-6203
  • Cite
  • Citations: 1
• Journal article
  Yang X, Han R, Guo Y, Bradley J, Cox B, Dickinson R, Kitney Ret al., 2012,
  , Bmc Bioinformatics, Vol: 13, ISSN: 1471-2105
  • Cite
• Conference paper
  Holehouse A, Yang X, Adcock I, Guo Yet al., 2012,

  Developing a novel integrated model of p38 MAPK and glucocorticoid signalling pathways

  , Pages: 69-76
  • Cite
• Journal article
  Parkinson H, Sarkans U, Kolesnikov N, Abeygunawardena N, Burdett T, Dylag M, Emam I, Farne A, Hastings E, Holloway E, Kurbatova N, Lukk M, Malone J, Mani R, Pilicheva E, Rustici G, Sharma A, Williams E, Adamusiak T, Brandizi M, Sklyar N, Brazma Aet al., 2011,
  , NUCLEIC ACIDS RESEARCH, Vol: 39, Pages: D1002-D1004, ISSN: 0305-1048
  • Cite
  • Citations: 241
• Journal article
  Huntley DM, Pandis I, Butcher SA, Ackers JPet al., 2010,
  , BMC GENOMICS, Vol: 11, ISSN: 1471-2164
  • Cite
  • Citations: 11
• Journal article
  Kapushesky M, Emam I, Holloway E, Kurnosov P, Zorin A, Malone J, Rustici G, Williams E, Parkinson H, Brazma Aet al., 2010,
  , NUCLEIC ACIDS RESEARCH, Vol: 38, Pages: D690-D698, ISSN: 0305-1048
  • Cite
  • Citations: 163
• Journal article
  Curcin V, Ghanem M, Guo Y, 2010,
  , International Journal of Business Process Integration and Management, Vol: 5, Pages: 45+-45+, ISSN: 1741-8763
  • Cite
• Journal article
  Curcin V, Ghanem M, Guo Y, 2010,

  The design and implementation of a workflow analysis tool

  , Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol: 368, Pages: 4193-4208
  • Cite
• Journal article
  Wang FZ, Helian N, Wu S, Guo Y, Deng DY, Meng L, Zhang W, Crowcroft J, Bacon J, Parker MAet al., 2009,
  , IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, Vol: 47, Pages: 2988-2988, ISSN: 0196-2892
  • Cite
• Journal article
  Parkinson H, Kapushesky M, Kolesnikov N, Rustici G, Shojatalab M, Abeygunawardena N, Berube H, Dylag M, Emam I, Farne A, Holloway E, Lukk M, Malone J, Mani R, Pilicheva E, Rayner TF, Rezwan F, Sharma A, Williams E, Bradley XZ, Adamusiak T, Brandizi M, Burdett T, Coulson R, Krestyaninova M, Kurnosov P, Maguire E, Neogi SG, Rocca-Serra P, Sansone S-A, Sklyar N, Zhao M, Sarkans U, Brazma Aet al., 2009,
  , NUCLEIC ACIDS RESEARCH, Vol: 37, Pages: D868-D872, ISSN: 0305-1048
  • Cite
  • Citations: 313
• Journal article
  Curcin V, Ghanem M, Guo Y, 2009,
  , Journal of Cluster Computing: Special Issue of Recent Advances in e-Science, ISSN: 1386-7857

  Motivated by the widespread use of workflow systems in e-Science applications, this article introduces a formal analysis framework for the verification and profiling of the control flow aspects of scientific workflows. The framework relies on process algebras that characterise each workflow component with a process behaviour, which is then used to build a CTL state model that can be reasoned about. We demonstrate the benefits of the approach by modelling the control flow behaviour of the Discovery Net system, one of the earliest workflow-based e-Science systems, and present how some key properties of workflows and individual service utilisation can be queried at design time. Our approach is generic and can be applied easily to modelling workflows developed in any other system. It also provides a formal basis for the comparison of control aspects of e-Science workflow systems and a design method for future systems.

  • Abstract
  • Cite
• Conference paper
  Curcin V, Ghanem M, Guo Y, Darlington Jet al., 2008,

  Mining adverse drug reactions with e-science workflows.

  , Proceedings of the 4th Cairo International Biomedical Engineering Conference, 2008. CIBEC 2008
  • Cite
• Book chapter
  Ghanem M, Curcin V, Wendel P, Guo Yet al., 2008,

  Building and using analytical workflows in Discovery Net

  , Data Mining Techniques in Grid Environments. Dubitzky, Werner (Ed)., Publisher: Wiley-Blackwell, Pages: 119-140, ISBN: 9780470512586

  The Discovery Net platform is built around a workflow model for integrating distributed data sources and analytical tools. The platform was originally designed to support the design and execution of distributed data mining tasks within a grid-based environment. However, over the years it has evolved into a generic data analysis platform with applications in such diverse areas as bioinformatics, cheminformatics, text mining and business intelligence. In this work we present our experience in designing the platform and map out the evolution paths for a workflow language, and its architecture, that need to address the requirements of different scientific domains.

  • Abstract
  • Cite

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.