SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis

  • 9 Article
  • 8 Conference contribution
  • 2 Chapter
  • 2 Chapter (peer-reviewed)
Filter
Conference contribution

Search results

  • 2011

    A semi-quantitative equivalence for abstracting from fast reactions

    Galpin, V., Hillston, J. & Ciocchetta, F., 2011, Proceedings Third International Workshop on Computational Models for Cell Processes. Petre, I. & Vink, E. P. D. (eds.). Vol. 67. p. 34-49 16 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    Investigating modularity in the analysis of process algebra models of biochemical systems

    Ciocchetta, F., Guerriero, M. L. & Hillston, J., 2010, Proceedings Third Workshop From Biology To Concurrency and Back. Merelli, E. & Quaglia, P. (eds.). Vol. 19. p. 55-69 15 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modelling biological systems with delays in Bio-PEPA

    Caravagna, G. & Hillston, J., 2010, Proceedings of MeCBIC 2010. p. 85-101 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 40).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On verifying Bio-PEPA models

    Clark, A., Gilmore, S., Guerriero, M. L. & Kemper, P., 2010, Proceedings of the 8th International Conference on Computational Methods in Systems Biology. New York, NY, USA: ACM, p. 23-32 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Verification and Testing of Biological Models

    Clark, A., Gilmore, S., Hillston, J. & Kemper, P., 2010, Simulation Conference (WSC), Proceedings of the 2010 Winter . Institute of Electrical and Electronics Engineers, p. 620-630 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    Design and Development of Software Tools for Bio-PEPA

    Duguid, A., Gilmore, S., Guerriero, M., Hillston, J. & Loewe, L., 2009, Proceedings of the Winter Simulation Conference 2009. ACM, p. 956-967 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Equivalence and discretisation in Bio-PEPA

    Galpin, V. & Hillston, J., 2009, Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Degano, P. & Gorriero, R. (eds.). Springer, p. 189-204 16 p. (Lecture Notes in Computer Science; vol. 5688).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Bio-PEPA Tool Suite

    Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M. L. & Hillston, J., 2009, Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the. Institute of Electrical and Electronics Engineers, p. 309-310 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File