Edinburgh Research Explorer
  1. 2019
  2. Practical steps to digital organism models, from laboratory model species to ‘Crops in silico

    Millar, A. J., Urquiza Garcia, J., Freeman, P., Hume, A., Plotkin, G. D., Sorokina, O., Zardilis, A. & Zielinski, T., 15 Apr 2019, In : Journal of Experimental Botany. 70, 9, p. 2403–2418 16 p., JEXBOT/2018/235879.

    Research output: Contribution to journalReview article

  3. 2018
  4. Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies

    Bowler, N., Levy, P. B. & Plotkin, G., 11 Dec 2018, In : Electronic Notes in Theoretical Computer Science. 341, p. 23-44 22 p.

    Research output: Contribution to journalArticle

  5. Free complete Wasserstein algebras

    Mardare, R., Panangaden, P. & Plotkin, G., 14 Sep 2018, In : Logical Methods in Computer Science. 14, 3, 18 p., 4826.

    Research output: Contribution to journalArticle

  6. An Algebraic Theory of Markov Processes

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 9 Jul 2018, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, United Kingdom: ACM, p. 679-688 10 p.

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

  7. Chromar, a Rule-based Language of Parameterised Objects

    Honorato-Zimmer, R., Millar, A. J., Plotkin, G. D. & Zardilis, A., 10 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 335, p. 49-66 18 p.

    Research output: Contribution to journalArticle

  8. 2017
  9. On the Axiomatizability of Quantitative Algebras

    Plotkin, G., Mardare, R. & Panangaden, P., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 12 p.

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

  10. Chromar, a language of parameterised objects

    Honorato Zimmer, R., Millar, A. J., Plotkin, G. D. & Zardilis, A., 8 Aug 2017, In : Theoretical Computer Science. 25 p.

    Research output: Contribution to journalArticle

  11. Mixed powerdomains for probability and nondeterminism

    Keimel, K. & Plotkin, G., 24 Jan 2017, In : Logical Methods in Computer Science. 13, 1, p. 1-84 84 p.

    Research output: Contribution to journalArticle

  12. Dijkstra Monads for Free

    Ahman, D., Hritcu, C., Martínez, G., Plotkin, G., Protzenko, J., Rastogi, A. & Swamy, N., 1 Jan 2017, The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, p. 515-529 15 p.

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

  13. 2016
  14. Chromar, a rule-based language of parameterised objects

    Honorato Zimmer, R., Millar, A., Plotkin, G. & Zardilis, A., 7 Sep 2016, The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016). 14 p.

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

Previous 1 2 3 4 5 6 Next