Gordon D. Plotkin

发表

C. Jones, Gordon D. Plotkin, G. Plotkin, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Gordon D. Plotkin, 1978, J. Comput. Syst. Sci..
Gordon D. Plotkin, John Power, Martin Hyland, 2007, Theor. Comput. Sci..
Gordon D. Plotkin, Matija Pretnar, G. Plotkin, 2013, Log. Methods Comput. Sci..
Furio Honsell, Gordon D. Plotkin, Pietro Di Gianantonio, 1994, CONCUR.
Gordon D. Plotkin, John Power, 2004, Electron. Notes Theor. Comput. Sci..
Alexandr Andoni, Mihai Budiu, Gordon D. Plotkin, 2016, EGPGV@EuroVis.
Gordon D. Plotkin, Vaughan R. Pratt, Dominic J. D. Hughes, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Gordon D. Plotkin, Alex K. Simpson, G. Plotkin, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Gordon D. Plotkin, G. Plotkin, 1976, SIAM J. Comput..
Gordon D. Plotkin, Matija Pretnar, G. Plotkin, 2009, ESOP.
Gordon D. Plotkin, G. Plotkin, 2002, Formal Aspects of Computing.
Gordon D. Plotkin, Matija Pretnar, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin, 1974, J. Symb. Log..
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1989, POPL '89.
Peter D. Mosses, Gordon D. Plotkin, G. Plotkin, 1987, SIAM J. Comput..
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, CALCO.
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gordon D. Plotkin, G. Plotkin, 2006, Essays Dedicated to Joseph A. Goguen.
Gordon D. Plotkin, Rob J. van Glabbeek, 2004, MFCS.
Krzysztof R. Apt, Gordon D. Plotkin, G. Plotkin, 1981, ICALP.
Gordon D. Plotkin, Michael Pedersen, G. Plotkin, 2010, Trans. Comp. Sys. Biology.
Prakash Panangaden, Giorgio Bacci, Radu Mardare, 2018, LICS.
Krzysztof R. Apt, Gordon D. Plotkin, G. Plotkin, 1986, JACM.
Gordon D. Plotkin, John Power, 2003, IWFM.
Gordon D. Plotkin, 2006, FSTTCS.
Gordon D. Plotkin, Andrew Phillips, Michael Pedersen, 2015, PloS one.
Gordon D. Plotkin, John Power, G. Plotkin, 2003, Appl. Categorical Struct..
Gordon D. Plotkin, G. Plotkin, 1991, TACS.
Matthew Hennessy, Gordon D. Plotkin, G. Plotkin, 1980, MFCS.
Martín Abadi, Butler W. Lampson, Michael Burrows, 1991, CRYPTO.
Gordon D. Plotkin, G. Plotkin, 1979, Abstract Software Specifications.
Andrej Bauer, Gordon D. Plotkin, Dana S. Scott, 2014, Theor. Comput. Sci..
Gordon D. Plotkin, G. Plotkin, 1999, Mathematical Structures in Computer Science.
Martin Hofmann, Gordon D. Plotkin, Masahito Hasegawa, 2008, Pillars of Computer Science.
Furio Honsell, Robert Harper, Gordon D. Plotkin, 1993, JACM.
Martín Abadi, Luca Cardelli, Gordon D. Plotkin, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, 2014, Fundam. Informaticae.
Gordon D. Plotkin, John Power, Marcelo P. Fiore, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin, G. Plotkin, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Klaus Keimel, Gordon D. Plotkin, G. Plotkin, 2016, Log. Methods Comput. Sci..
Martín Abadi, Butler W. Lampson, Michael Burrows, 1991, TOPL.
Gordon D. Plotkin, G. Plotkin, 2013, In Search of Elegance in the Theory and Practice of Computation.
John C. Mitchell, Gordon D. Plotkin, G. Plotkin, 1985, POPL.
John C. Reynolds, Gordon D. Plotkin, J. C. Reynolds, 1993, Inf. Comput..
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin, 2018, Log. Methods Comput. Sci..
Martín Abadi, Gordon D. Plotkin, Jérémy Planul, 2013, MFPS.
J. Robin B. Cockett, Gordon D. Plotkin, Jean-Simon Pacaud Lemay, 2019, CSL.
John C. Mitchell, Gordon D. Plotkin, G. Plotkin, 1988, TOPL.
Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott, 2013, MFPS.
Martín Abadi, Gordon D. Plotkin, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, ICALP.
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1991, Int. J. Found. Comput. Sci..
Andrew J. Millar, Gordon D. Plotkin, Ricardo Honorato-Zimmer, 2018, SASB.
Gordon D. Plotkin, Donald Sannella, John Power, 2000, ICALP.
Gordon D. Plotkin, John Power, Martin Hyland, 2006, Theor. Comput. Sci..
Glynn Winskel, Mogens Nielsen, Gordon D. Plotkin, 1979, Semantics of Concurrent Computation.
Martín Abadi, Gordon D. Plotkin, 1993, Theor. Comput. Sci..
Mihai Budiu, Gordon D. Plotkin, Joel Galenson, 2013, ESOP.
Philippa Gardner, Gordon D. Plotkin, Masahito Hasegawa, 1997, CSL.
Gordon D. Plotkin, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin, Marcelo P. Fiore, G. Plotkin, 1996, CSL.
Gordon D. Plotkin, Rob J. van Glabbeek, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin, G. Plotkin, 1975, Theor. Comput. Sci..
Gordon D. Plotkin, 2005, CALCO.
Gordon D. Plotkin, G. Plotkin, 1982, ICALP.
Mads Tofte, Gordon D. Plotkin, Colin Stirling, 2010, Bull. EATCS.
Gordon D. Plotkin, G. Plotkin, 1993, Theor. Comput. Sci..
Glynn Winskel, Gordon D. Plotkin, Pierre-Louis Curien, 2000, Proof, Language, and Interaction.
Gordon D. Plotkin, 2004, Ann. Pure Appl. Log..
Gordon D. Plotkin, 1996, Inf. Comput..
Gordon D. Plotkin, Marcelo P. Fiore, G. Plotkin, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Gordon D. Plotkin, M. Abadi, 1993, TLCA.
Gordon D. Plotkin, John Power, G. Plotkin, 2008, MFPS.
Gordon D. Plotkin, Nicolas Oury, G. Plotkin, 2013, Mathematical Structures in Computer Science.
Gordon D. Plotkin, Ravi Sethi, David B. MacQueen, 1986, Inf. Control..
Klaus Keimel, Gordon D. Plotkin, Regina Tix, 2005, Electronic Notes in Theoretical Computer Science.
Gordon D. Plotkin, Nicolas Oury, G. Plotkin, 2011, CMSB.
Gordon D. Plotkin, G. Plotkin, 1994, Inf. Comput..
Gordon D. Plotkin, Vaughan R. Pratt, G. Plotkin, 1996, Partial Order Methods in Verification.
Gordon D. Plotkin, Neil Ghani, Danel Ahman, 2016, FoSSaCS.
Gordon D. Plotkin, Rob J. van Glabbeek, 2009, Theor. Comput. Sci..
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Gordon D. Plotkin, Michael B. Smyth, G. Plotkin, 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Natarajan Shankar, Thomas Eiter, Javier Esparza, 2018, Bull. EATCS.
Gordon D. Plotkin, Gérard P. Huet, G. Huet, 1991 .
Gordon D. Plotkin, Ravi Sethi, David B. MacQueen, 1984, Inf. Control..
Richard M. Young, Gordon D. Plotkin, R. M. Young, 1977, IJCAI.
Martín Abadi, Gordon D. Plotkin, 1991, POPL '91.
Andrew J. Millar, Gordon D. Plotkin, Ricardo Honorato-Zimmer, 2019, Theor. Comput. Sci..
Gordon D. Plotkin, Rob J. van Glabbeek, G. Plotkin, 2010, Reflections on the Work of C. A. R. Hoare.
Prakash Panangaden, Radu Mardare, Gordon D. Plotkin, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gordon D. Plotkin, John Power, G. Plotkin, 2001, FoSSaCS.
Gordon D. Plotkin, G. Plotkin, 1980, Logic of Programs.
Furio Honsell, Gordon D. Plotkin, 2009, Inf. Comput..
Gordon D. Plotkin, Paul Blain Levy, Nathan Bowler, 2018, MFPS.
Gordon D. Plotkin, Daniele Turi, G. Plotkin, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
George Varghese, Nikolaj Bjørner, Gordon D. Plotkin, 2016, POPL.
Matthew Hennessy, Gordon D. Plotkin, G. Plotkin, 1979, MFCS.
Gordon D. Plotkin, Colin Stirling, G. Plotkin, 1988, TARK.
Gordon D. Plotkin, John Power, 2001, MFPS.
Gordon D. Plotkin, Gilles Kahn, G. Plotkin, 1993, Theor. Comput. Sci..
Mads Tofte, Gordon D. Plotkin, Colin Stirling, 2000, Proof, Language, and Interaction.
Ohad Kammar, Gordon D. Plotkin, G. Plotkin, 2012, POPL '12.
Martín Abadi, Gordon D. Plotkin, M. Abadi, 2009, POPL '09.
Gordon D. Plotkin, Michael Pedersen, G. Plotkin, 2008, CMSB.
Gordon D. Plotkin, John Power, G. Plotkin, 2002, FoSSaCS.
Nikhil Swamy, Catalin Hritcu, Jonathan Protzenko, 2016, POPL.
Martín Abadi, Gordon D. Plotkin, Frank McSherry, 2015, FoSSaCS.
Martín Abadi, Gordon D. Plotkin, M. Abadi, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin, Daniele Turi, Marcelo P. Fiore, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Gordon D. Plotkin, G. Plotkin, 2004, J. Log. Algebraic Methods Program..
W. Li, Matthew Hennessy, Gordon D. Plotkin, 1981, ICDCS.
Gordon D. Plotkin, 2013, Computation, Logic, Games, and Quantum Foundations.
Gordon D. Plotkin, G. Plotkin, 2004, J. Log. Algebraic Methods Program..
Vincent Danos, Prakash Panangaden, Gordon D. Plotkin, 2009, JACM.
Martín Abadi, Gordon D. Plotkin, Jérémy Planul, 2013, MFPS.
Gordon D. Plotkin, Martin Abadi, 2020, Proc. ACM Program. Lang..
Furio Honsell, Gordon D. Plotkin, Pietro Di Gianantonio, 1995, Nord. J. Comput..
Klaus Keimel, Gordon D. Plotkin, 2009, Math. Struct. Comput. Sci..
Prakash Panangaden, Giorgio Bacci, Radu Mardare, 2021, CALCO.
Gordon D. Plotkin, John Power, Martin Hyland, 2002, IFIP TCS.
Martín Abadi, Gordon D. Plotkin, Dimitrios Vytiniotis, 2019 .
Gordon D. Plotkin, 2006, Mathematical Structures in Computer Science.