Artikel dengan mandat akses publik - Gordon PlotkinPelajari lebih lanjut
Tersedia di suatu tempat: 12
Handling algebraic effects
GD Plotkin, M Pretnar
Logical methods in computer science 9, 2013
Mandat: UK Engineering and Physical Sciences Research Council
Quantitative algebraic reasoning
R Mardare, P Panangaden, G Plotkin
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandat: Natural Sciences and Engineering Research Council of Canada, Danish Council …
Practical steps to digital organism models, from laboratory model species to ‘Crops in silico
AJ Millar, U Urquiza, PL Freeman, A Hume, GD Plotkin, O Sorokina, ...
Journal of experimental botany 70 (9), 2403-2418, 2019
Mandat: UK Biotechnology and Biological Sciences Research Council
On the axiomatizability of quantitative algebras
R Mardare, P Panangaden, G Plotkin
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
Mandat: Danish Council for Independent Research
An algebraic theory of markov processes
G Bacci, R Mardare, P Panangaden, G Plotkin
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Mandat: Natural Sciences and Engineering Research Council of Canada, Danish Council …
On hierarchical graphs: Reconciling bigraphs, gs-monoidal theories and gs-graphs
R Bruni, U Montanari, G Plotkin, D Terreni
Fundamenta Informaticae 134 (3-4), 287-317, 2014
Mandat: Government of Italy
Multi-level modelling via stochastic multi-level multiset rewriting
N Oury, G Plotkin
Mathematical Structures in Computer Science 23 (2), 471-503, 2013
Mandat: UK Biotechnology and Biological Sciences Research Council
Chromar, a language of parameterised agents
R Honorato-Zimmer, AJ Millar, GD Plotkin, A Zardilis
Theoretical Computer Science 765, 97-119, 2019
Mandat: UK Biotechnology and Biological Sciences Research Council, European Commission
A high-level language for rule-based modelling
M Pedersen, A Phillips, GD Plotkin
PloS one 10 (6), e0114296, 2015
Mandat: UK Biotechnology and Biological Sciences Research Council, UK Engineering …
Propositional logics for the Lawvere quantale
G Bacci, R Mardare, P Panangaden, G Plotkin
Electronic Notes in Theoretical Informatics and Computer Science 3, 2023
Mandat: Natural Sciences and Engineering Research Council of Canada
Sum and tensor of quantitative effects
G Bacci, R Mardare, P Panangaden, G Plotkin
Logical Methods in Computer Science 20, 2024
Mandat: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
On the Axiomatizability of Quantitative Algebras
G Plotkin, R Mardare, P Panangaden
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Mandat: Danish Council for Independent Research
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer