Publications index - Microsoft Research

Publication

Rare HLA Drive Additional HIV Evolution Compared to More Frequent Alleles

Christine M. Rousseau, David W. Lockhart, Jennifer Listgarten, Carl Kadie, Gerald H. Learn, David C. Nickle, David Heckerman, Wenjie Deng, Christian Brander, Thumbi Ndung'u, Hoosen Coovadia, Philip J. R. Goulder, Bette T. Korber, Bruce D. Walker, James I. Mullins

AIDS Research and Human Retroviruses | March 2009

Publication

Dartmouth-Hitchcock Medical Center: Spine Care

Robert S. Huckman, Robert S. Huckman, Michael E. Porter, Rachel Gordon, Natalie Kindred, James Weinstein

March 2009

Publication

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications

Hillel Kugler

Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009

Project

Publication

Controller Synthesis from LSC Requirements

Hillel Kugler, Cory Plock, Amir Pnueli

Fundamental Approaches to Software Engineering (FASE'09) | March 2009

Project

Publication

Shoebox: Mixing storage and display of digital images in the home

Richard Banks, Abigail Sellen

TEI 2009 - Proceedings of the 3rd International Conference on Tangible and Embedded Interaction | February 2009

Project

Publication

Seasonal host dynamics drive the timing of recurrent epidemics in a wildlife

M. Begon, S. Telfer, Matthew Smith, S. Burthe, S. Paterson, X. Lambin

Proceedings of the Royal Society B: Biological Sciences | January 2009

Publication

HLA-Associated Alterations in Replication Capacity of Chimeric NL4-3 Viruses Carrying gag-protease from Elite Controllers of Human Immunodeficiency Virus Type 1

Toshiyuki Miura, Mark A. Brockman, Zabrina L. Brumme, Chanson J. Brumme, Florencia Pereyra, Alicja Trocha, Brian L. Block, Arne Schneidewind, Todd M. Allen, David Heckerman, Bruce D. Walker

Journal of Virology | January 2009, Vol 83(1): pp. 140-149

Publication

HLA footprints on HIV-1 are associated with inter-clade polymorphisms and intra-clade phylogenetic clustering

Philippa C Matthews, Alasdair J Leslie, Aris Katzourakis, Hayley Crawford, Rebecca Payne, Andrew Prendergast, Karen Power, Anthony D Kelleher, Paul Klenerman, Jonathan M. Carlson, David Heckerman, Thumbi Ndung'u, Bruce D Walker, Todd M Allen, Oliver G Pybus, Philip J R Goulder

Journal of Virology | January 2009, pp. JVI.02017–08

Publication

Evolving and augmenting worth mapping for family archives

Gilbert Cockton, Abigail Sellen, Richard Banks, Dave Kirk

Proceedings of British HCI 2009 | January 2009

Publication

A Unified Modeling Approach to Data-Intensive Healthcare

Iain Buchan, John Winn, Christopher Bishop

The Fourth Paradigm: Data-Intensive Scientific Discovery | Published by Microsoft Research | 2009