Browse by Person
 | Up a level |
2006
Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) Automated reasoning about metric and topology. In: Fisher, M. and van der Hoek, W. and Konev, B. and Lisitsa, A. (eds.) JELIA 2006: Logics in Artificial Intelligence. Lecture Notes in Computer Science 4160. Springer, pp. 490-493. ISBN 9783540396253.
November 2013
Wilkins, E. and Nelson, M. and Agarwal, K. and Awoyemi, D. and Barnes, E. and Bhagani, S. and Brook, G. and Brown, A. and Castelino, S. and Cooke, G. and Fisher, M. and Geretti, A.M. and James, Robert and Kulasegaram, R. and Leen, C. and Mutimer, D. and Orkin, C. and Page, E. and Palfreeman, A. and Papineni, P. and Rodger, A. and Tong, C.Y.W. (2013) British HIV Association guidelines for the management of hepatitis viruses in adults infected with HIV 2013. HIV Medicine 14 (S4), pp. 1-71. ISSN 1464-2662.