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
Publication An ecologist calls for a citizen-science ‘Wiki’ Lucas Joppa Nature | June 2009, Vol 459(4): pp. 619
Publication Cascading extinctions and community collapse in model food webs Jennifer A. Dunne, Rich Williams Philosophical Transactions of the Royal Society B: Biological Sciences | June 2009, Vol 364: pp. 1711-1723
