by BENGTSON, Jesper, BHARGAVAN, Karthikeyan, FOURNET, Cédric, GORDON, Andrew D, MAFFEIS, Sergio
Published in ACM transactions on programming languages and systems (2011)

by Borgström, Johannes, Gordon, Andrew D, Greenberg, Michael, Margetson, James, Van Gael, Jurgen
Published in Logical methods in computer science (09.09.2013)

by Becker, Moritz Y., Fournet, Cédric, Gordon, Andrew D.
Published in Journal of computer security (01.01.2010)

by MCCUTCHEN, MATT, BORGHOUTS, JUDITH, GORDON, ANDREW D., PEYTON JONES, SIMON, SARKAR, ADVAIT
Published in Journal of functional programming (2020)

by Gordon, Andrew
Year of Publication 2010

by Charatonik, Witold, Dal Zilio, Silvano, D. Gordon, Andrew, Mukhopadhyay, Supratik, Talbot, Jean-Marc
Published in Theoretical computer science (03.11.2003)

by GORDON, ANDREW D., CARDELLI, LUCA
Published in Mathematical structures in computer science (01.06.2003)

by Gordon, Andrew D, Pont, David
Published in New Zealand journal of forestry science (02.06.2015)

by Bhat, Sooraj, Borgström, Johannes, Gordon, Andrew D., Russo, Claudio
Published in Logical methods in computer science (01.01.2017)

by Dupressoir, François, Gordon, Andrew D., Jürjens, Jan, Naumann, David A.
Published in Journal of computer security (01.01.2014)

by Chen, Wei, Aspinall, David, Gordon, Andrew D., Sutton, Charles, Muttik, Igor
Published in Integrated Formal Methods (2016)

by Borgström, Johannes, Gordon, Andrew D., Greenberg, Michael, Margetson, James, Van Gael, Jurgen
Published in Programming Languages and Systems (2011)

by Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D.
Published in Lecture notes in computer science (2006)

by Gordon, Andrew D., Jeffrey, Alan
Published in Journal of computer security (2004)

by BIERMAN, GAVIN M., GORDON, ANDREW D., HRIŢCU, CĂTĂLIN, LANGWORTHY, DAVID
Published in Journal of functional programming (01.01.2012)

by BORGSTRÖM, JOHANNES, GORDON, ANDREW D., PUCELLA, RICCARDO
Published in Journal of functional programming (01.03.2011)

by Williams, Jack, Gordon, Andrew D.
Published in 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (10.10.2021)

by Drosos, Ian, Wilson, Nicholas, Gordon, Andrew D., Ragavan, Sruti Srinivasa, Williams, Jack
Published in 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (03.10.2023)

by Gordon, Andrew D, Jeffrey, Alan
Published in Theoretical computer science (07.05.2003)

by Ferdowsi, Kasra, Williams, Jack, Drosos, Ian, Gordon, Andrew D., Negreanu, Carina, Polikarpova, Nadia, Sarkar, Advait, Zorn, Benjamin
Published in 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (03.10.2023)