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: 9783540419600
Publication 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
Publication 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
Publication Recurrence of distributional limits of finite planar graphs Itai Benjamini, Oded Schramm Electron. J. Probab. | January 2001, Vol 6: pp. 1-13
Publication 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
Publication The Dimension of the Planar Brownian Frontier is 4/3 Greg Lawler, Oded Schramm, Wendelin Werner Math. Res. Lett. | October 2000, pp. 401-411