Andrew D. Gordon

发表

Luca Aceto, Andrew D. Gordon, 2006, Electron. Notes Theor. Comput. Sci..
Martín Abadi, Andrew D. Gordon, M. Abadi, 1998, Nord. J. Comput..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, TOPL.
Andrew D. Gordon, John A. Hewson, Paul Anderson, 2013, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems.
Andrew D. Gordon, Ioannis G. Baltopoulos, 2009, TLDI '09.
Martín Abadi, Andrew D. Gordon, M. Abadi, 1997, CONCUR.
Andrew D. Gordon, Riccardo Pucella, Johannes Borgström, 2011, J. Funct. Program..
Claudio V. Russo, Andrew D. Gordon, Sriram K. Rajamani, 2013, POPL.
Martín Abadi, Andrew D. Gordon, Cédric Fournet, 2008, ESORICS.
Andrew D. Gordon, Nikhil Swamy, Cédric Fournet, 2008, ASIACCS '08.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 1999, ICALP.
Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, IFM.
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2005, TOPL.
Andrew D. Gordon, Alan Jeffrey, A. Gordon, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Andrew D. Gordon, Gavin M. Bierman, Catalin Hritcu, 2010, ICFP '10.
Andrew D. Gordon, A. Gordon, 2000, FOSAD.
Andrew D. Gordon, Karthikeyan Bhargavan, Johannes Borgström, 2009, Haskell.
Andrew D. Gordon, Robert Harper, John Harrison, 2011, POPL '11.
Wei Chen, Andrew D. Gordon, David Aspinall, 2015 .
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 2000, POPL '00.
Andrew D. Gordon, Cédric Fournet, Moritz Y. Becker, 2010, J. Comput. Secur..
Andrew D. Gordon, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Claudio V. Russo, Andrew D. Gordon, Johannes Borgström, 2017, Log. Methods Comput. Sci..
Andrew D. Gordon, Felienne Hermans, Advait Sarkar, 2020, CHI Extended Abstracts.
Jan Jürjens, Andrew D. Gordon, François Dupressoir, 2011, CSF.
Claudio V. Russo, Andrew D. Gordon, Johannes Borgström, 2013, TACAS.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1999, POPL '99.
Andrew D. Gordon, Alan Jeffrey, A. Gordon, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Andrew D. Gordon, 2002, IFIP TCS.
Martín Abadi, Andrew D. Gordon, 1999, Inf. Comput..
Andrew D. Gordon, Alan Jeffrey, 2003, Theor. Comput. Sci..
Andrew D. Gordon, Karthikeyan Bhargavan, Iman Narasamdya, 2007, TGC.
Andrew D. Gordon, Cédric Fournet, Frédéric Besson, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, WS-FM.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1998, Foundations of Software Science and Computation Structure.
Andrew D. Gordon, Cédric Fournet, 2002, POPL '02.
Andrew D. Gordon, A. Gordon, 1999, MFPS.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 2001, TLCA.
Andrew D. Gordon, Cédric Fournet, Riccardo Pucella, 2003, FMCO.
Luca Cardelli, Andrew D. Gordon, Cristiano Calcagno, 2005, J. Funct. Program..
Andrew D. Gordon, Advait Sarkar, Jack Williams, 2020, ESOP.
Andrew D. Gordon, Riccardo Pucella, 2002, XML Security.
Jan Jürjens, Andrew D. Gordon, François Dupressoir, 2011, Formal Aspects in Security and Trust.
Andrew D. Gordon, Michael Greenberg, Johannes Borgström, 2011, ESOP.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Andrew D. Gordon, A. Gordon, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Claudio V. Russo, Andrew D. Gordon, Adam Scibior, 2016, POPL.
Andrew D. Gordon, Silvano Dal-Zilio, Silvano Dal-Zilio, 2000, MFCS.
Wei Chen, Andrew D. Gordon, David Aspinall, 2015 .
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, CCS '04.
Marianne Winslett, Andrew D. Gordon, David Sands, 2006, CCS 2006.
Mario Bravetti, Luca Aceto, Wan Fokkink, 2007 .
Jan Jürjens, Andrew D. Gordon, Mihhail Aizatulin, 2011, CCS '11.
Andrew D. Gordon, Andrew Phillips, Johannes Borgström, 2007, EXPRESS.
Andrew D. Gordon, Yi Wei, Daniel Tarlow, 2015, ICML.
Thomas A. Henzinger, Andrew D. Gordon, Sriram K. Rajamani, 2014, FOSE.
Simon L. Peyton Jones, Andrew D. Gordon, Sigbjørn Finne, 1996, POPL '96.
Andrew D. Gordon, Sriram K. Rajamani, Aditya V. Nori, 2012 .
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2005, Inf. Comput..
Jan Jürjens, Andrew D. Gordon, Mihhail Aizatulin, 2012, CCS.
Andrew D. Gordon, Kevin Hammond, 1995 .
Andrew D. Gordon, Alan Jeffrey, 2004 .
Andrew D. Gordon, Luca Aceto, 2005 .
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2002, Inf. Comput..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2007, SWS '04.
Andrew D. Gordon, Karthikeyan Bhargavan, Iman Narasamdya, 2008, COORDINATION.
Andrew D. Gordon, Charles Sutton, Maria I. Gorinova, 2020, ArXiv.
Annabelle McIver, Joost-Pieter Katoen, Gilles Barthe, 2015, Dagstuhl Reports.
Mario Bravetti, Luca Aceto, Wan Fokkink, 2007, J. Log. Algebraic Methods Program..
Richard J. Boulton, John Herbert, Andrew D. Gordon, 1992, TPCD.
Andrew D. Gordon, Cédric Fournet, C. Fournet, 2010, Logics and Languages for Reliability and Security.
Andrew D. Gordon, Michael Greenberg, Johannes Borgström, 2011, ESOP.
Andrew D. Gordon, Advait Sarkar, Jack Williams, 2020, 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, IMPS@ESSoS.
Andrew D. Gordon, Riccardo Pucella, Johannes Borgström, 2010, Reflections on the Work of C. A. R. Hoare.
Roy L. Crole, Andrew D. Gordon, A. Gordon, 1994, CSL.
Luca Cardelli, Andrew D. Gordon, 2003, Math. Struct. Comput. Sci..
Roy L. Crole, Andrew D. Gordon, 1999, Math. Struct. Comput. Sci..
Ugo Dal Lago, Andrew D. Gordon, Johannes Borgström, 2015, ICFP.
Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, EuroSec '16.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000, CONCUR.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2005, Theor. Comput. Sci..
Andrew D. Gordon, Riccardo Pucella, Riccardo Pucella, 2002, XMLSEC '02.
Andrew D. Gordon, Chin-Yew Lin, Tingting Ma, 2020, SemTab@ISWC.
Carolyn L. Talcott, Andrew D. Gordon, Andrew M. Pitts, 1997, Electron. Notes Theor. Comput. Sci..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, CSFW.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1998, FoSSaCS.
Andrew D. Gordon, A. Gordon, 1993, FPCA '93.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1998, FoSSaCS.
Andrew D. Gordon, David Aspinall, Wei Chen, 2016 .
Andrew D. Gordon, Don Syme, Don Syme, 2001, POPL '01.
Andrew D. Gordon, 2006, Electron. Notes Theor. Comput. Sci..
Andrew D. Gordon, A. D. Gordon, 2002, CONCUR.
Andrew D. Gordon, Cédric Fournet, Moritz Y. Becker, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000, Electron. Notes Theor. Comput. Sci..
Witold Charatonik, Jean-Marc Talbot, Andrew D. Gordon, 2001, FoSSaCS.
Simon Peyton Jones, Andrew D. Gordon, Advait Sarkar, 2020, J. Funct. Program..
Andrew D. Gordon, Advait Sarkar, Jack Williams, 2020, CHI Extended Abstracts.
Luca Cardelli, Andrew D. Gordon, Cristiano Calcagno, 2003, TLDI '03.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1999, Mathematical Structures in Computer Science.
Andrew D. Gordon, Andrew M. Pitts, 1999, Electron. Notes Theor. Comput. Sci..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2010, POPL '10.
Andrew D. Gordon, Don Syme, Don Syme, 2000 .
Martín Abadi, Andrew D. Gordon, M. Abadi, 1997, CCS '97.
Andrew D. Gordon, Paul Anderson, John A. Hewson, 2012, LISA.
Andrew D. Gordon, Alan Jeffrey, 2001, SAS.
Andrew D. Gordon, Neil Toronto, Advait Sarkar, 2019, QEST.
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2005, ESOP.
Andrew D. Gordon, Sriram K. Rajamani, Aditya V. Nori, 2013, ESEC/FSE 2013.
Andrew D. Gordon, Alan Jeffrey, 2003 .
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Andrew D. Gordon, Paul Anderson, John A. Hewson, 2012 .
Claudio V. Russo, Andrew D. Gordon, Thore Graepel, 2015, ESOP.
Simon L. Peyton Jones, Andrew D. Gordon, Neil Toronto, 2018, 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000, IFIP TCS.
Jan Jürjens, Andrew D. Gordon, François Dupressoir, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
Andrew D. Gordon, Silvano Dal-Zilio, Silvano Dal-Zilio, 2002, J. Funct. Program..
Witold Charatonik, Jean-Marc Talbot, Andrew D. Gordon, 2002, ESOP.
Andrew D. Gordon, Alan Jeffrey, 2003 .
Andrew D. Gordon, Soren Lassen, Paul D. Hankin, 1999 .
Andrew D. Gordon, Charles A. Sutton, Maria I. Gorinova, 2018, Proc. ACM Program. Lang..
Claudio V. Russo, Andrew D. Gordon, Thore Graepel, 2014, POPL.
Wei Chen, Andrew D. Gordon, David Aspinall, 2016 .
Andrew D. Gordon, Gareth D. Rees, 1996, POPL '96.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2005, SWS '05.
Gilles Barthe, Marco Gaboardi, Justin Hsu, 2016, CCS.
Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen, 2009, Electron. Notes Theor. Comput. Sci..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, Theor. Comput. Sci..
Andrew D. Gordon, Paul D. Hankin, A. Gordon, 1998, HLCL.
Mario Bravetti, Luca Aceto, Wan Fokkink, 2008, J. Log. Algebraic Methods Program..
Mark Ryan, Andrew D. Gordon, Aybek Mukhamedov, 2009, Security Protocols Workshop.
Andrew D. Gordon, Thomas F. Melham, T. Melham, 1996, TPHOLs.
Giuseppe Castagna, Andrew D. Gordon, G. Castagna, 2017, POPL 2017.
Andrew D. Gordon, Søren B. Lassen, Paul D. Hankin, 1999, J. Funct. Program..
Supratik Mukhopadhyay, Witold Charatonik, Jean-Marc Talbot, 2003, Theor. Comput. Sci..
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000 .
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2011, FOSAD.
Andrew D. Gordon, Johannes Borgström, Ioannis G. Baltopoulos, 2011, ECOOP.
Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, WISEC.
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2004, TSEC.
Andrew D. Gordon, Jack Williams, J. Williams, 2021, 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Andrew D. Gordon, Paul D. Hankin, Soren Lassen, 1997 .
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 2000 .
Andrew D. Gordon, A. D. Gordon, Paul D. Hankin, 1998 .
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2002 .