Gordon D. Plotkin

Affiliations: 
1972- Laboratory for Foundations of Computer Science University of Edinburgh, Edinburgh, Scotland, United Kingdom 
Area:
theoretical computer science
Google:
"Gordon Plotkin"
Bio:

https://en.wikipedia.org/wiki/Gordon_Plotkin

BETA: Related publications

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
See more...