Publication Poisson Splitting by Factors Alexander E. Holroyd, Russell Lyons, Terry Soo The Annals of Probability | August 2009, pp. 1938-1982
Publication A Process Model of Rho GTP-binding Proteins Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips Theoretical Computer Science | August 2009, Vol 410: pp. 3166-3185 Project Project
Publication Type Inference for Correspondence Types Andy Gordon, Hans Hüttel, René Rydhof Hansen Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo 2008) | August 2009
Publication Systems analyses of circadian networks Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. Webb Molecular Biosystems | August 2009, Vol 5: pp. 1502-1511 Project
Publication Some Domain Theory and Denotational Semantics in Coq Nick Benton, Andrew Kennedy, Carsten Varming Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs) | August 2009
Publication Superfluous S-polynomials in Strategy-Independent Grobner Bases Grant Olney Passmore, Leonardo de Moura MSR-TR-2009-913 | July 2009
Publication Locating the transition from periodic oscillations to spatiotemporal chaos in the wake of invasion Jonathan A. Sherratt, Matthew Smith, Jens D.M. Rademacher Proceedings of that National Academy of Sciences of the United States of America, 106(27), pp. 10890-10895 | July 2009
Publication Estimating the Location and Orientation of Complex, Correlated Neural Activity using MEG David Wipf, J.P. Owen, H.T. Attias, K. Sekihara, S. S. Nagarajan Advances in Neural Information Processing Systems 21, MIT Press, 2009. | July 2009
Publication Maximizing Stochastic Monotone Submodular Functions Arash Asadpour, Hamid Nazerzadeh, Amin Saberi MSR-TR-2009-129 | July 2009
Publication Robust Bayesian Estimation of the Location, Orientation, and Time Course of Multiple Correlated Neural Sources using MEG David Wipf, Julia Owen, Hagai Attias, Kensuke Sekihara, Srikantan Nagarajan NeuroImage, vol. 49, no. 1, Jan 2010. | June 2009 Trainee Abstract Award, Human Brain Mapping 2009
