Edinburgh Research Explorer
  1. 2017
  2. 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). IEEE, 12 p.

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

  3. 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

  4. 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

  5. Dijkstra Monads for Free

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

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

  6. 2016
  7. 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

  8. Interacting with Large Distributed Datasets using Sketch

    Budiu, M., Isaacs, R., Murray, D., Plotkin, G., Barham, P., Al-Kiswany, S., Boshmaf, Y., Luo, Q. & Andoni, A. Jun 2016 The 16th Eurographics Symposium on Parallel Graphics and Visualization (EGPGV 2016). Eurographics Association, 13 p.

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

  9. Quantitative Algebraic Reasoning

    Mardare, R., Panangaden, P. & Plotkin, G. Jun 2016 LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 10 p.

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

  10. Dependent Types and Fibred Computational Effects

    Ahman, D., Ghani, N. & Plotkin, G. D. Mar 2016 Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 36-54 19 p. (Lecture Notes in Computer Science; vol. 9634)

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

  11. Scaling Network Verification using Symmetry and Surgery

    Plotkin, G. D., Bjørner, N., Lopes, N. P., Rybalchenko, A. & Varghese, G. 2016 POPL 2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, p. 69-83 15 p.

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

  12. 2015
  13. A High-Level Language for Rule-Based Modelling

    Pedersen, M., Plotkin, G. & Phillips, A. Jun 2015 In : PLoS One. 10, 6, 26 p., e0114296

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 Next