公開日 Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001) | November 2001
公開日 Logical Properties of Name Restriction Luca Cardelli, Andy Gordon 5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001 ISBN: 9783540419600
公開日 The Complexity of Model Checking Mobile Ambients Witold Charatonik, Silvano Dal Zilio, Andy Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot Foundations of Software Science and Computation Structures | March 2001 ISBN: 9783540418641
公開日 On-Line Unsupervised Adaptation in Speaker Verification: Confidence-Based Updates and Improved Parameter Estimation Larry Heck, Nikki Mirghafori ISCA Tutorial and Research Workshop (ITRW) on Adaptation Methods for Speech Recognition | January 2001
公開日 Recurrence of distributional limits of finite planar graphs Itai Benjamini, Oded Schramm Electron. J. Probab. | January 2001, 巻6: pp. 1-13
公開日 Inheritance in the Join Calculus (extended abstract) Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy Foundations of Software Technology and Theoretical Computer Science | December 2000
公開日 The Dimension of the Planar Brownian Frontier is 4/3 Greg Lawler, Oded Schramm, Wendelin Werner Math. Res. Lett. | October 2000, pp. 401-411
公開日 Region Analysis and a π-Calculus with Groups Silvano Dal Zilio, Andy Gordon Proceedings of MFCS 2000: the 25th International Symposium on Mathematical Foundations of Computer Science | August 2000