Gordon D. Plotkin
According to our database^{1},
Gordon D. Plotkin
authored at least 129 papers
between 1974 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at scopus.com

at idref.fr

at viaf.org

at id.loc.gov

at dnb.info

at andrej.com

at isni.org

at dl.acm.org
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
CoRR, 2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
2019
Theor. Comput. Sci., 2019
2018
Log. Methods Comput. Sci., 2018
Electron. Notes Theor. Comput. Sci., 2018
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies.
Proceedings of the ThirtyFourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Bull. EATCS, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
Bull. EATCS, 2017
Log. Methods Comput. Sci., 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
CoRR, 2016
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
Proceedings of the 16th Eurographics Symposium on Parallel Graphics and Visualization, 2016
2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
2014
Theor. Comput. Sci., 2014
J. ACM, 2014
Fundam. Informaticae, 2014
2013
Math. Struct. Comput. Sci., 2013
Proceedings of the Twentyninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Proceedings of the Twentyninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Log. Methods Comput. Sci., 2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
ACM Trans. Inf. Syst. Secur., 2012
Proceedings of the 39th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the CONCUR 2012  Concurrency Theory  23rd International Conference, 2012
2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
2010
Trans. Comp. Sys. Biology, 2010
Bull. EATCS, 2010
Log. Methods Comput. Sci., 2010
CoRR, 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Theor. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Inf. Comput., 2009
Electron. Notes Theor. Comput. Sci., 2009
Proceedings of the Programming Languages and Systems, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
Proceedings of the TwentyThird Annual IEEE Symposium on Logic in Computer Science, 2008
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories.
Proceedings of the Pillars of Computer Science, 2008
2007
Theor. Comput. Sci., 2007
2006
Theor. Comput. Sci., 2006
Math. Struct. Comput. Sci., 2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2004
A structural approach to operational semantics.
J. Log. Algebraic Methods Program., 2004
J. Log. Algebraic Methods Program., 2004
Electron. Notes Theor. Comput. Sci., 2004
Ann. Pure Appl. Log., 2004
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004
2003
Appl. Categorical Struct., 2003
Proceedings of the 6th International Workshop on Formal Methods, 2003
2002
Formal Aspects Comput., 2002
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Coalgebraic Methods in Computer Science, 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
Proceedings of the Theoretical Computer Science, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
A brief scientific biography of Robin Milner.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
Bistructures, bidomains, and linear logic.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
Math. Struct. Comput. Sci., 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Proceedings of the Computer Science Logic, 11th International Workshop, 1997
1996
Inf. Comput., 1996
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
1995
Uncountable Limits and the lambda Calculus.
Nord. J. Comput., 1995
Proceedings of the Proceedings, 1995
1994
Inf. Comput., 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994
Proceedings of the CONCUR '94, 1994
1993
Inf. Comput., July, 1993
ACM Trans. Program. Lang. Syst., 1993
Theor. Comput. Sci., 1993
Theor. Comput. Sci., 1993
Theor. Comput. Sci., 1993
J. ACM, 1993
Proceedings of the Typed Lambda Calculi and Applications, 1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
1991
ACM Trans. Program. Lang. Syst., 1991
Int. J. Found. Comput. Sci., 1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
1988
ACM Trans. Program. Lang. Syst., 1988
Inf. Comput., 1988
1987
SIAM J. Comput., 1987
1986
J. ACM, 1986
Inf. Control., 1986
A Framework for Intuitionistic Modal Logics.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986
1982
SIAM J. Comput., 1982
An Operational Semantics for CSP.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts II, 1982
Proceedings of the Automata, 1982
1981
Theor. Comput. Sci., 1981
A First Attempt at Translating CSP into CCS.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
Proceedings of the Automata, 1981
1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
Proceedings of the Logics of Programs and Their Applications, 1980
1979
Proceedings of the Semantics of Concurrent Computation, 1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979
1978
T^omega as a Universal Domain.
J. Comput. Syst. Sci., 1978
1977
Theor. Comput. Sci., 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977
1976
SIAM J. Comput., 1976
1975
Theor. Comput. Sci., 1975
1974
J. Symb. Log., 1974