Edinburgh Research Explorer
  1. 2018
  2. Goals and resource constraints in CARMA

    Hillston, J., Georgoulas, A. & Piho, P., 9 May 2018, In : Electronic Notes in Theoretical Computer Science. 337, p. 155-172 18 p.

    Research output: Contribution to journalArticle

  3. 2017
  4. Unbiased Bayesian Inference for Population Markov Jump Processes via Random Truncations

    Georgoulas, A., Hillston, J. & Sanguinetti, G., 1 Jul 2017, In : Statistics and Computing. 27, 4, p. 991–1002 12 p.

    Research output: Contribution to journalArticle

  5. 2014
  6. Probabilistic Programming Process Algebra

    Georgoulas, A., Hillston, J., Milios, D. & Sanguinetti, G., 8 Sep 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 249-264 16 p. (Lecture Notes in Computer Science; vol. 8657)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2013
  8. A Software Interface Between the Narrative Language and Bio-PEPA

    Georgoulas, A. & Guerriero, M. L., 2013, In : Electronic Proceedings in Theoretical Computer Science. 293, p. 51-65 15 p.

    Research output: Contribution to journalArticle

  9. ABC-Fun: A Probabilistic Programming Language for Biology

    Georgoulas, A., Hillston, J. & Sanguinetti, G., 2013, Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Gupta, A. & Henzinger, T. A. (eds.). Springer-Verlag GmbH, p. 150-163 14 p. (Lecture Notes in Computer Science; vol. 8130)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2012
  11. Stochastic Modelling of the Kai-based Circadian Clock

    Banks, C., Clark, A., Georgoulas, A-A., Gilmore, S., Hillston, J., Milios, D. & Stark, I., 17 Sep 2012, Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Elsevier, Vol. 296, p. 43-60 18 p. (Electronic Notes in Theoretical Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. A subsystems approach for parameter estimation of ODE models of hybrid systems

    Georgoulas, A., Clark, A., Ocone, A., Gilmore, S. & Sanguinetti, G., 19 Aug 2012, In : Electronic Proceedings in Theoretical Computer Science. 92, p. 30-41 12 p.

    Research output: Contribution to journalArticle