Research output per year
Research output per year
Search results
-
2010
Evaluating the Response Time of Large Scale Content Adaptation Systems using Performance Evaluation Process Algebra
Ding, J., Hillston, J. & Laurenson, D., May 2010, Proceedings of the International Conference on Communications. p. 1-5 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Hybrid Semantics for PEPA
Bortolussi, L., Galpin, V., Hillston, J. & Tribastone, M., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the . Institute of Electrical and Electronics Engineers, p. 181-190 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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
-
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
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
-
HYPE: a process algebra for compositional flows and emergent behaviour
Galpin, V., Bortolussi, L. & Hillston, J., 2009, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Bravetti, M. & Zavattaro, G. (eds.). Springer, p. 305-320 16 p. (Lecture Notes in Computer Science; vol. 5710).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2007
Modelling yeast Pre-rRNA processing
Ciocchetta, F., Hillston, J., Kos, M. & Tollervey, D., 2007, Computational Methods in Systems Biology, Proceedings. Calder, M. & Gilmore, S. (eds.). BERLIN: Springer, p. 32-47 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2006
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA
Calder, M., Gilmore, S. & Hillston, J., 2006, Transactions on Computational Systems Biology VII. Priami, C., Ingolfsdottir, A., Mishra, B. & Riis Nielson, H. (eds.). Springer, p. 1-23 23 p. (Lecture Notes in Computer Science; vol. 4230).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
Calder, M., Duguid, A., Gilmore, S. & Hillston, J., 2006, Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings. Priami, C. (ed.). Springer, p. 63-77 15 p. (Lecture Notes in Computer Science; vol. 4210).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution