GP
Gordon Plotkin
cs.LOcs.PLcs.LGmath.CTArabidopsis thalianabiochemical kineticscommunity standardscomputational modellingComputer Simulationcs.AI
On Valency
published · living versionsW_hdbjd97q·v1 · currentpublished
Preprints & journals
23 papers in the corpus · 2009–2025Unraveling the iterative CHAD2505.15002v3 · Fernando Lucatelli Nunes, Gordon Plotkin, Matthijs V'ak'ar2025 · 0 citationsarXiv
Rod Bustall: In Memoriam2505.06456v1 · J Strother Moore, Gordon Plotkin, David Rydeheard et al.2025 · 0 citationsarXiv
Handling the Selection Monad (Full Version)2504.03890v1 · Gordon Plotkin, Ningning Xie2025 · 0 citationsarXiv
Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics2501.15104v3 · Yotam Dvir, Ohad Kammar, Ori Lahav et al.2025 · 2 citationsFoSSaCS 2025. Lecture Notes in Computer Science, vol 15691. Springer, Cham
Polynomial Lawvere Logic2402.03543v3 · Giorgio Bacci, Radu Mardare, Prakash Panangaden et al.2024 · 0 citationsarXiv
Bidirectional Reactive Programming for Machine Learning2311.16977v1 · Dumitru Potop Butucaru, Albert Cohen, Gordon Plotkin et al.2023 · 0 citationsarXiv
Propositional Logics for the Lawvere Quantale2302.01224v4 · Giorgio Bacci, Radu Mardare, Prakash Panangaden et al.2023 · 4 citationsElectronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12292
Sum and Tensor of Quantitative Effects2212.11784v4 · Giorgio Bacci, Radu Mardare, Prakash Panangaden et al.2022 · 1 citationLogical Methods in Computer Science, Volume 20, Issue 4 (October 29, 2024) lmcs:10761
Recursion does not always help2206.08413v6 · Gordon Plotkin2022 · 0 citationsarXiv
Fixed-Points for Quantitative Equational Logics2106.15932v1 · Radu Mardare, Prakash Panangaden, Gordon Plotkin2021 · 1 citation36th Anual Symposium on Logics in Computer Science, ACM/IEEE LICS 2021
Smart Choices and the Selection Monad2007.08926v9 · Martin Abadi, Gordon Plotkin2020 · 5 citationsLogical Methods in Computer Science, Volume 19, Issue 2 (April 20, 2023) lmcs:8372
A complete equational axiomatisation of partial differentiation2006.06415v2 · Gordon D. Plotkin2020 · 2 citationsarXiv
A Simple Differentiable Programming Language1911.04523v4 · Martin Abadi, Gordon D. Plotkin2019 · 52 citationsarXiv
Reverse derivative categories1910.07065v1 · Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher et al.2019 · 28 citationsarXiv
Practical steps to digital organism models, from laboratory model species to 'Crops in silico.30615184 · Millar, Andrew J, Urquiza, Uriel, Freeman, Peter L et al.2020 · 15 citationsJournal of experimental botany. 2019;70(9):2403-2418
On the Axiomatizability of Quantitative Algebras1804.01682v1 · Radu Mardare, Prakash Panangaden, Gordon Plotkin2018 · 35 citationsarXiv
Free complete Wasserstein algebras1802.07366v4 · Radu Mardare, Prakash Panangaden, Gordon D. Plotkin2018 · 6 citationsLogical Methods in Computer Science, Volume 14, Issue 3 (September 14, 2018) lmcs:4312
Mixed powerdomains for probability and nondeterminism1612.01005v7 · Klaus Keimel, Gordon D. Plotkin2016 · 55 citationsLogical Methods in Computer Science, Volume 13, Issue 1 (January 24, 2017) lmcs:2578
Dijkstra Monads for Free1608.06499v3 · Danel Ahman, Catalin Hritcu, Kenji Maillard et al.2016 · 47 citationsarXiv
A high-level language for rule-based modelling.26043208 · Pedersen, Michael, Phillips, Andrew, Plotkin, Gordon D2016 · 12 citationsPloS one. 2015;10(6):e0114296
Handling Algebraic Effects1312.1399v2 · Gordon D Plotkin, Matija Pretnar2013 · 143 citationsLogical Methods in Computer Science, Volume 9, Issue 4 (December 17, 2013) lmcs:705
A Model of Cooperative Threads1009.2405v2 · Mart'in Abadi, Gordon D. Plotkin2010 · 17 citationsLogical Methods in Computer Science, Volume 6, Issue 4 (October 20, 2010) lmcs:700
Configuration Structures, Event Structures and Petri Nets0912.4023v1 · R.J. van Glabbeek, G.D. Plotkin2009 · 98 citationsTheoretical Computer Science 410(41), 2009, pp. 4111-4159
Career total: 227 works. 23 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.