The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gordon D. Plotkin" ( http://dblp.L3S.de/Authors/Gordon_D._Plotkin )

URL (Homepage):  http://homepages.inf.ed.ac.uk/gdp/  Author page on DBLP  Author page in RDF  Community of Gordon D. Plotkin in ASPL-2

Publication years (Num. hits)
1974-1981 (15) 1982-1989 (16) 1990-1993 (15) 1994-1999 (17) 2000-2004 (19) 2005-2009 (21) 2010-2013 (18) 2014-2018 (21) 2019 (1)
Publication types (Num. hits)
article(62) incollection(1) inproceedings(75) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 31 keywords

Results
Found 144 publication records. Showing 143 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis Chromar, a language of parameterised agents. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis Chromar, a Rule-based Language of Parameterised Objects. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nathan Bowler, Paul Blain Levy, Gordon D. Plotkin Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Mardare, Prakash Panangaden, Gordon D. Plotkin Free complete Wasserstein algebras. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Radu Mardare, Prakash Panangaden, Gordon D. Plotkin On the Axiomatizability of Quantitative Algebras. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar Alonzo Church Award 2018 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Radu Mardare, Prakash Panangaden, Gordon D. Plotkin Free complete Wasserstein algebras. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin An Algebraic Theory of Markov Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Keimel, Gordon D. Plotkin Mixed powerdomains for probability and nondeterminism. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi Alonzo Church Award 2017 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Radu Mardare, Prakash Panangaden, Gordon D. Plotkin On the axiomatizability of quantitative algebras. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy Dijkstra monads for free. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy Dijkstra Monads for Free. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Radu Mardare, Prakash Panangaden, Gordon D. Plotkin Quantitative Algebraic Reasoning. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese Scaling network verification using symmetry and surgery. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Danel Ahman, Neil Ghani, Gordon D. Plotkin Dependent Types and Fibred Computational Effects. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham 0001, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni Interacting with Large Distributed Datasets Using Sketch. Search on Bibsonomy EGPGV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Frank McSherry, Gordon D. Plotkin Foundations of Differential Dataflow. Search on Bibsonomy FoSSaCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Gordon D. Plotkin, Dana S. Scott Cartesian closed categories of separable Scott domains. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin Approximating Markov Processes by Averaging. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Jérémy Planul, Gordon D. Plotkin Layout Randomization and Nondeterminism. Search on Bibsonomy Horizons of the Mind The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott Dedication. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Jérémy Planul, Gordon D. Plotkin Layout Randomization and Nondeterminism. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Oury, Gordon D. Plotkin Multi-level modelling via stochastic multi-level multiset rewriting. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Matija Pretnar Handling Algebraic Effects. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Partial Recursive Functions and Finality. Search on Bibsonomy Computation, Logic, Games, and Quantum Foundations The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin A Calculus of Chemical Systems. Search on Bibsonomy In Search of Elegance in the Theory and Practice of Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mihai Budiu, Joel Galenson, Gordon D. Plotkin The Compiler Forest. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Gordon D. Plotkin On Protection by Layout Randomization. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ohad Kammar, Gordon D. Plotkin Algebraic foundations for effect-dependent optimisations. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Concurrency and the Algebraic Theory of Effects - (Abstract). Search on Bibsonomy CONCUR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Oury, Gordon D. Plotkin Coloured stochastic multilevel multiset rewriting. Search on Bibsonomy CMSB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Pedersen, Gordon D. Plotkin A Language for Biochemical Systems: Design and Formal Specification. Search on Bibsonomy Trans. Computational Systems Biology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Gordon D. Plotkin A Model of Cooperative Threads Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin On CSP and the Algebraic Theory of Effects Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Gordon D. Plotkin, Colin Stirling, Mads Tofte Obituary: Robin Milner (1934-2010). Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin On CSP and the Algebraic Theory of Effects. Search on Bibsonomy Reflections on the Work of C. A. R. Hoare The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Gordon D. Plotkin On Protection by Layout Randomization. Search on Bibsonomy CSF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Robin Milner, a Craftsman of Tools for the Mind. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Regina Tix, Klaus Keimel, Gordon D. Plotkin Semantic Domains for Combining Probability and Non-Determinism. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Klaus Keimel, Gordon D. Plotkin Predicate transformers for extended probability and non-determinism. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin Configuration structures, event structures and Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin Configuration Structures, Event Structures and Petri Nets Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Furio Honsell, Gordon D. Plotkin On the completeness of order-theoretic models of the lambda-calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Gordon D. Plotkin A model of cooperative threads. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transaction, operational semantics, monad, denotational semantics
1Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin Approximating Markov Processes by Averaging. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Matija Pretnar Handlers of Algebraic Effects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin Approximating Labelled Markov Processes Again! Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Adequacy for Infinitary Algebraic Effects (Abstract). Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, John Power Tensors of Comodels and Models for Operational Semantics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Matija Pretnar A Logic for Algebraic Effects. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations
1Masahito Hasegawa, Martin Hofmann 0001, Gordon D. Plotkin Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Pedersen, Gordon D. Plotkin A Language for Biochemical Systems. Search on Bibsonomy CMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametrised modules, subtyping, coloured Petri nets, Large-scale
1Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power Combining algebraic effects with continuations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin A domain-theoretic Banach-Alaoglu theorem. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Corrado Priami, Gordon D. Plotkin (eds.) Transactions on Computational Systems Biology VI Search on Bibsonomy Trans. Computational Systems Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Hyland, Gordon D. Plotkin, John Power Combining effects: Sum and tensor. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Some Varieties of Equational Logic. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Hennessy-Plotkin-Brookes Revisited. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Adequacy for Algebraic Effects with State. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin The origins of structural operational semantics. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin A structural approach to operational semantics. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2004 DBLP  BibTeX  RDF
1Gordon D. Plotkin, A. John Power Computational Effects and Operations: An Overview. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Foreword. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin Event Structures for Resolvable Conflict. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, John Power Algebraic Operations and Generic Effects. Search on Bibsonomy Applied Categorical Structures The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Lawvere theory, monad, computational effect, algebraic operation
1Gordon D. Plotkin, John Power Logic for Computational Effects: Work in Progress. Search on Bibsonomy IWFM The full citation details ... 2003 DBLP  BibTeX  RDF
1Gordon D. Plotkin Three Inadequate Models. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Full abstraction, Counterexample, PCF, Adequacy
1Gordon D. Plotkin, John Power Notions of Computation Determine Monads. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Martin Hyland, Gordon D. Plotkin, John Power Combining Computational Effects: commutativity & sum. Search on Bibsonomy IFIP TCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Gordon D. Plotkin Bialgebraic Semantics and Recursion (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, John Power Semantics for Algebraic Operations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, John Power Adequacy for Algebraic Effects. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alex K. Simpson, Gordon D. Plotkin Complete Axioms for Categorical Fixed-Point Operators. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF iteration theories, fixed points, domain theory, Categorical models
1Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent Lax Logical Relations. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Colin Stirling, Mads Tofte A brief scientific biography of Robin Milner. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
1Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel Bistructures, bidomains, and linear logic. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
1Gordon D. Plotkin, Colin Stirling, Mads Tofte (eds.) Proof, Language, and Interaction, Essays in Honour of Robin Milner Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
1Gordon D. Plotkin Some New Directions in the Syntax and Semantics of Formal Languages. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Full abstraction, totality and PCF. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1999 DBLP  BibTeX  RDF
1Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt Full Completeness of the Multiplicative Linear Logic of Chu Spaces. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Chu spaces, categorical logic, natural transformations, coherence spaces, Linear logic, logical relations
1Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi Abstract Syntax and Variable Binding. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding
1Daniele Turi, Gordon D. Plotkin Towards a Mathematical Operational Semantics. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Gordon D. Plotkin, A. John Power Complete Cuboidal Sets in Axiomatic Domain Theory. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin From Action Calculi to Linear Logic. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin On a Question of H. Friedman. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Vaughan R. Pratt Teams can see pomsets. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Gordon D. Plotkin An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin Uncountable Limits and the lambda Calculus. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1995 DBLP  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (eds.) Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin Configuration Structures Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin A Semantics for Static Type Inference Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Martín Abadi, Luca Cardelli Subtyping and Parametricity Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Gordon D. Plotkin An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Glynn Winskel Bistructures, Bidomains and Linear Logic. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin Countable Non-Determinism and Uncountable Limits. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gilles Kahn, Gordon D. Plotkin Concrete Domains. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Gordon D. Plotkin A Logical View of Composition. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Set-Theoretical and Other Elementary Models of the lambda-Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 143 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license