Andrew D. Gordon
Publication Activity (10 Years)
Years Active: 1992-2024
Publications (10 Years): 40
Publications (10 Years): 40
Publications
- Ian Drosos, Nicholas Wilson, Andrew D. Gordon, Sruti Srinivasa Ragavan, Jack Williams
- Sruti Srinivasa Ragavan, Zhitao Hou, Yun Wang, Andrew D. Gordon, Haidong Zhang, Dongmei Zhang
- Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
- Advait Sarkar, Andrew D. Gordon, Carina Negreanu, Christian Pölitz, Sruti Srinivasa Ragavan, Ben Zorn
- Advait Sarkar, Carina Negreanu, Ben Zorn, Sruti Srinivasa Ragavan, Christian Pölitz, Andrew D. Gordon
- Jack Williams, Andrew D. Gordon
- Jack Williams, Andrew D. Gordon
- Jack Williams, Carina Negreanu, Andrew D. Gordon, Advait Sarkar
- Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
- Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams
- Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
- Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
- Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto
- Advait Sarkar, Andrew D. Gordon
- Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto
- Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
- Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
- Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
- Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
- Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
- Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
- Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
- Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver
- Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon
- Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
- Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei
- Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
- François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
- Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani
- John A. Hewson, Paul Anderson, Andrew D. Gordon
- Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
- François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
- Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
- Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
- John A. Hewson, Paul Anderson, Andrew D. Gordon
- Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
- Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
- François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
- Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
- Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
- Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
- Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
- Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
- Ioannis G. Baltopoulos, Andrew D. Gordon
- Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
- Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon
- Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
- Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
- Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
- Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
- Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
- Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
- Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
- Johannes Borgström, Andrew D. Gordon, Andrew Phillips
- Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
- Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
- Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
- Andrew D. Gordon
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
- Andrew D. Gordon
- Luca Aceto, Andrew D. Gordon
- Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea
- Andrew D. Gordon
- Andrew D. Gordon, Alan Jeffrey
- Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon