Gordon D. Plotkin
Affiliations: | 1972- | Laboratory for Foundations of Computer Science | University of Edinburgh, Edinburgh, Scotland, United Kingdom |
Area:
theoretical computer scienceGoogle:
"Gordon Plotkin"Bio:
https://en.wikipedia.org/wiki/Gordon_Plotkin
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Millar AJ, Urquiza JU, Freeman PL, et al. (2019) Practical steps to digital organism models, from laboratory model species to 'Crops in silico. Journal of Experimental Botany |
Honorato-Zimmer R, Millar AJ, Plotkin GD, et al. (2019) Chromar, a language of parameterised agents Theoretical Computer Science. 765: 97-119 |
Pedersen M, Phillips A, Plotkin GD. (2015) A high-level language for rule-based modelling. Plos One. 10: e0114296 |
Chaput P, Danos V, Panangaden P, et al. (2014) Approximating markov processes by averaging Journal of the Acm. 61 |
Plotkin GD, Pretnar M. (2013) Handling Algebraic Effects Logical Methods in Computer Science. 9 |
Oury N, Plotkin GD. (2013) Multi-level modelling via stochastic multi-level multiset rewriting Mathematical Structures in Computer Science. 23: 471-503 |
Abadi M, Planul J, Plotkin G. (2013) Layout randomization and nondeterminism Electronic Notes in Theoretical Computer Science. 298: 29-50 |
Abadi M, Plotkin G. (2010) On protection by layout randomization Proceedings - Ieee Computer Security Foundations Symposium. 337-351 |
Abadi M, Plotkin G. (2009) A model of cooperative threads Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 29-40 |
Keimel K, Plotkin Gd. (2009) Predicate transformers for extended probability and non-determinism Mathematical Structures in Computer Science. 19: 501-539 |