Publication Region Analysis and a Ï”-Calculus with Groups Silvano Dal Zilio, Andy Gordon Journal of Functional Programming | May 2002, pp. 229-292
Publication On the Sampling Problem for H-colorings on the Hypercubic Lattice Christian Borgs, Jennifer Chayes, Martin Dyer, Prasad Tetali Graphs, Morphisms and Statistical Physics (eds. J Nesetril and P Winkler), DIMACS Series in Discrete Mathematics and Theoretical Computer Science | April 2002
Publication Finite-Control Mobile Ambients Witold Charatonik, Andy Gordon, Jean-Marc Talbot European Symposium on Programming (ESOP’02), volume 2305 of Lecture Notes in Computer Science | April 2002 ISBN: 978-3-540-43363-7 (Print) 978-3-540-45927-9 (Online)
Publication Arbiter-Free Synchronization Leslie Lamport Distributed Computing | March 2002, Vol 16(3): pp. 219-237
Publication Determining the Genus of a Map by Local Observation of a Simple Random Process Itai Benjamini, Laszlo Lovasz MSR-TR-2002-20 | March 2002
Publication MMIHMM: Maximum Mutual Information Hidden Markov Models Nuria Oliver, Ashutosh Garg MSR-TR-2002-13 | February 2002
Publication An Adaptive Speaker Verification System With Speaker Dependent A Priori Decision Thresholds Nikki Mirghafori, Larry Heck Proceedings of the International Conference on Spoken Language Processing | January 2002
Publication Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001) | November 2001
Publication Logical Properties of Name Restriction Luca Cardelli, Andy Gordon 5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001 ISBN: 978-3-540-41960-0 (Print) 978-3-540-45413-7 (Online)