Search research publications and outputs

  1. 2014
  2. A survey and comparison of transformation tools based on the transformation tool contest

    Edgar, J., Buchwald, S., Wagelaar, D., Li, D., Hegedüs, Á., Herrmannsdoerfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S., 1 Jun 2014

    Article in Science of Computer Programming

  3. Generating custom propagators for arbitrary constraints

    Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014

    Article in Artificial Intelligence

  4. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

    Davis, R. I., Vardanega, T., Andersson, J., Vatrinet, F., Pearce, M., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu-Grosjean, L., Patte, M., Farrall, G. & Cazorla, F. J., Jun 2014

    Article in Ada User Journal

  5. Qualitative modelling via constraint programming

    Kelsey, T. W., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. W. & Gent, I. P., 1 Apr 2014

    Article in Journal of Constraints

  6. Graph and model transformation tools for model migration

    Rose, L., Herrmannsdoerfer, M., Mazanek, S., Van Gorp, P., Buchwald, S., Horn, T., Kalnina, E., Koch, A., Lano, K., Schätz, B. & Wimmer, M., Feb 2014

    Article in Software and Systems Modeling

  7. Exploring Citizen Psych-Science and the Motivations of Errordiary Volunteers

    Jennett, C., Furniss, D. J., Iacovides, I., Wiseman, S., Gould, S. J. J. & Cox, A. L., 2014

    Article in Human Computation

  8. Quantum enigma machines and the locking capacity of a quantum channel

    Guha, S., Hayden, P., Krovi, H., Lloyd, S., Lupo, C., Shapiro, J. H., Takeoka, M. & Wilde, M. M., 2014

    Article in Physical Review X

  9. 2013
  10. Single-photon frequency conversion in nonlinear crystals

    Blum, S., Olivares-Rentería, G. A., Ottaviani, C., Becher, C. & Morigi, G., 7 Nov 2013

    Article in Physical Review A (Atomic, Molecular and Optical Physics)

  11. Discriminating quantum field theories in curved spacetime

    Doukas, J., Adesso, G., Pirandola, S. & Dragan, A., 19 Jun 2013

    Article in arXiv

  12. Comparing degrees of non-determinism in expression evaluation

    Hayes, I. J., Burns, A., Dongol, B. & Jones, C. B., 1 Jun 2013

    Article in Computer journal

  13. The Receptor Density Algorithm

    Owens, N., Greensted, A. J., Timmis, J. & Tyrrell, A., 15 Apr 2013

    Article in Theoretical Computer Science

  14. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  15. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  16. Power-aware dynamic mapping heuristics for NoC-based MPSoCs using a unified model-based approach

    Ost, L., Mandelli, M., Moller, L., Soares Indrusiak, L., Sassatelli, G., Benoit, P., Glesner, M., Robert, M. & Moraes, F., Mar 2013

    Article in ACM Transactions in Embedded Computing Systems

  17. Parallel file system analysis through application I/O Tracing

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Bird, R. F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, A. & Jarvis, S. A., 1 Feb 2013

    Article in Computer Journal

  18. An investigation of the performance portability of OpenCL

    Pennycook, S. J., Hammond, S. D., Wright, S. A., Herdman, J. A., Miller, I. & Jarvis, S. A., 1 Jan 2013

    Article in Journal of Parallel and Distributed Computing

  19. Editorial

    Calinescu, R., France, R. & Ghezzi, C., 1 Jan 2013

    Article in Computing

  20. Face Recognition and Verification Using Photometric Stereo: The Photoface Database and a Comprehensive Evaluation

    Zafeiriou, S., Atkinson, G. A., Hansen, M. F., Smith, W. A. P., Argyriou, V., Petrou, M., Smith, M. L. & Smith, L. N., Jan 2013

    Article in Information Forensics and Security, IEEE Transactions on

  21. Search in real-time video games

    Cowling, P. I., Buro, M., Bida, M., Botea, A., Bouzy, B., Butz, M. V., Hingston, P., Muñoz-Avila, H., Nau, D. & Sipper, M., 2013

    Article in Dagstuhl Follow-Ups

  22. 2012
  23. Invariant measures on multimode quantum Gaussian states

    Lupo, C., Mancini, S., De Pasquale, A., Facchi, P., Florio, G. & Pascazio, S., 19 Dec 2012

    Article in Journal of Mathematical Physics

  24. Engineering simulations for cancer systems biology

    Bown, J. L., Andrews, PAUL. S., Deeni, Y., Goltsov, A., Idowu, M., Polack, F. A. C., Sampson, A. T., Shovman, M. & Stepney, S., Nov 2012

    Article in Current Drug Targets

  25. Enabling Adaptive Techniques in Heterogeneous MPSoCs Based on Virtualization

    Ost, L., Varyani, S., Indrusiak, L. S., Mandelli, M., Almeida, G. M., Wachter, E., Moraes, F. & Sassatelli, G., Oct 2012

    Article in ACM Transactions on Reconfigurable Technology and Systems (TRETS)

  26. Abashian-Booth-Crowe resonance structure in the double pionic fusion to 4He

    Adlarson, P., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Demmich, K., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 87 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hauenstein, F., Heijkenskjöld, L., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Husmann, C., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Krzemień, W., Kulessa, P., Kupć, A., Lalwani, K., Lersch, D., Lorentz, B., Magiera, A., Maier, R., Marciniewski, P., Mariański, B., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedwiecki, S., Ohm, H., Ozerianska, I., Pauly, C., Perez Del Rio, E., Petukhov, Y., Pluciński, P., Podkopał, P., Prasuhn, D., Pricking, A., Pszczel, D., Pysz, K., Pyszniak, A., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Serdyuk, V., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Wȩglorz, W., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yamamoto, A., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 7 Sep 2012

    Article in Physical Review C - Nuclear Physics

  27. Photochemical-mediated solid-state [2+2]-cycloaddition reactions of an unsymmetrical dibenzylidene acetone (monothiophos-dba)

    Jarvis, A. G., Sparkes, H. A., Tallentire, S. E., Hatcher, L. E., Warren, M. R., Raithby, P. R., Allan, D. R., Whitwood, A. C., Cockett, M. C. R., Duckett, S. B., Clark, J. L. & Fairlamb, I. J. S., 7 Sep 2012

    Article in CrystEngComm

  28. Optimized Frame Packing for Embedded Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 1 Sep 2012

    Article in Embedded Systems Letters

  29. Symmetric M-ary phase discrimination using quantum-optical probe states

    Nair, R., Yen, B. J., Guha, S., Shapiro, J. H. & Pirandola, S., 7 Aug 2012

    Article in Physical Review A

  30. Surveying Rule Inheritance in Model-to-Model Transformation Languages

    Kolovos, D., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schonbock, J., Schwinger, W., Paige, R. F., Lauder, M., Schurr, A. & Wagelaar, D., Aug 2012

    Article in Journal of Object Technology

  31. Differential RET Signaling Pathways Drive Development of the Enteric Lymphoid and Nervous Systems

    Patel, A., Harker, N., Moreira-Santos, L., Alden, K. J., Timmis, J., Foster, K., Andrews, PAUL. S., Pachnis, P., Garefalaki, A., Coles, M. C., Enomoto, H., Milbrandt, J., Pachnis, V., Kioussis, D. & Veiga-Fernandes, H., 31 Jul 2012

    Article in Science Signaling

  32. Quantum reading under a local energy constraint

    Spedalieri, G., Lupo, C., Mancini, S., Braunstein, S. L. & Pirandola, S., 13 Jul 2012

    Article in Physical Review A

  33. Large-scale complex IT Systems

    Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., McDermid, J. & Paige, R., Jul 2012

    Article in Communications of the ACM

  34. Capacities of linear quantum optical systems

    Lupo, C., Giovannetti, V., Pirandola, S., Mancini, S. & Lloyd, S., 19 Jun 2012

    Article in Physical Review A

  35. Gaussian quantum information

    Weedbrook, C., Pirandola, S., Garcia-Patron, R., Cerf, N. J., Ralph, T. C., Shapiro, J. H. & Lloyd, S., 1 May 2012

    Article in Reviews of Modern Physics

  36. Regio- and stereoselective oxidation of unactivated C-H bonds with Rhodococcus rhodochrous

    O'Reilly, E., Aitken, S. J., Kelly, P. P., Turner, N. J., Flitsch, S. L. & Grogan, G., 3 Apr 2012

    Article in Beilstein Journal of Organic Chemistry

  37. Entanglement Frustration in Multimode Gaussian States

    Lupo, C., Mancini, S., Facchi, P., Florio, G. & Pascazio, S., Mar 2012

    Article in Int. J. Geom. Methods Mod. Phys.

  38. On the acceleration of wavefront applications using distributed many-core architectures

    Pennycook, S. J., Hammond, S. D., Mudalige, G. R., Wright, S. A. & Jarvis, S. A., 1 Feb 2012

    Article in Computer Journal

  39. Exclusive measurement of the η→π +π -γ decay

    Adlarson, P., Adolph, C., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 100 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hanhart, C., Heijkenskjöld, L., Heimlich, J., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kupść, A., Lalwani, K., Leupold, S., Lorentz, B., Magiera, A., Maier, R., Mariański, B., Marciniewski, P., Meißner, U. G., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedźwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez del Rio, E., Petri, T., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Pyszniak, A., Rausmann, T., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Stollenwerk, F., Ströher, H., Szczurek, A., Täschner, A., Terschlüsen, C., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Weglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 20 Jan 2012

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  40. Π0Π0 Production in proton-proton collisions at Tp=1.4 GeV

    Adlarson, P., Adolph, C., Augustyniak, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P., Föhl, K. & 92 others, Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Heijkenskjöld, L., Heimlich, J., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Janusz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kupść, A., Lalwani, K., Lorentz, B., Magiera, A., Maier, R., Mariański, B., Marciniewski, P., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedźwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez del Rio, E., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rausmann, T., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Sefzick, T., Serdyuk, V., Siemaszko, M., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Täschner, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Weglorz, W., Wiedner, U., Winnemöller, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 5 Jan 2012

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  41. A survey of monte carlo tree search methods

    Browne, C. B., Powley, E., Whitehouse, D., Lucas, S. M., Cowling, P. I., Rohlfshagen, P., Tavener, S., Perez, D., Samothrakis, S. & Colton, S., 2012

    Article in IEEE Transactions on Computational Intelligence and AI in Games

  42. 2011
  43. Correct hardware synthesis

    Perna, J., Woodcock, J., Sampaio, A. & Iyoda, J., Dec 2011

    Article in Acta Informatica

  44. Composition-controlled exchange bias training effect in FeCr/IrMn bilayers

    Shi, Z., Qiu, X. P., Zhu, J. T., Chantrell, R. W., Mangin, S. & Zhou, S. M., 1 Nov 2011

    Article in European physical journal b

  45. Quantum reading capacity

    Pirandola, S., Lupo, C., Giovannetti, V., Mancini, S. & Braunstein, S. L., Nov 2011

    Article in New Journal of Physics

  46. Optimal detection of losses by thermal probes

    Invernizzi, C., Paris, M. G. A. & Pirandola, S., 25 Aug 2011

    Article in Physical Review A

  47. Enhanced quantum communication via optical refocusing

    Lupo, C., Giovannetti, V., Pirandola, S., Mancini, S. & Lloyd, S., 25 Jul 2011

    Article in Physical Review A

  48. Abashian-booth-crowe effect in basic double-pionic fusion: A new resonance?

    Adlarson, P., Adolph, C., Augustyniak, W., Baru, V., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Ekström, C., Engels, R., Erven, W., Eyrich, W. & 100 others, Fedorets, P., Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Grishina, V., Gullström, C. O., Hampe, J., Hanhart, C., Heijkenskjöld, L., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Janusz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kullander, S., Kupć, A., Lalwani, K., Lorentz, B., Magiera, A., Maier, R., Marciniewski, P., Mariański, B., Mikirtychiants, M., Moskal, P., Morsch, H. P., Nandi, B. K., Niedžwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez Del Rio, E., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rausmann, T., Redmer, C. F., Ritman, J., Ruber, R. J. M. Y., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Schroeder, W., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Täschner, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Wȩglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zupranski, P., 17 Jun 2011

    Article in Physical Review Letters

  49. Use of macrophages to target therapeutic adenovirus to human prostate tumors

    Muthana, M., Giannoudis, A., Scott, S. D., Fang, H-Y., Coffelt, S. B., Morrow, F. J., Murdoch, C., Burton, J., Cross, N., Burke, B., Mistry, R., Hamdy, F., Brown, N. J., Georgopoulos, L., Hoskin, P., Essand, M., Lewis, C. E. & Maitland, N. J., 1 Mar 2011

    Article in Cancer research

  50. On the classical capacity of quantum Gaussian channels

    Lupo, C., Pirandola, S., Aniello, P. & Mancini, S., 21 Feb 2011

    Article in Physica Scripta

  51. Laser action in a surface-structured free-standing membrane based on a π-conjugated polymer-composite

    Chen, Y., Herrnsdorf, J., Guilhabert, B., Kanibolotsky, A. L., MacKintosh, A. R., Wang, Y., Pethrick, R. A., Gu, E., Turnbull, G. A., Skabara, P. J., Samuel, I. D. W., Laurand, N. & Dawson, M. D., 1 Jan 2011

    Article in Organic Electronics: physics, materials, applications

  52. Advances in artificial immune systems

    Hart, E., McEwan, C., Timmis, J. & Hone, A., 2011

    Article in Evolutionary Intelligence

  53. CARMEN: Code analysis, Repository and Modeling for e-Neuroscience

    Austin, J., Jackson, T., Fletcher, M., Jessop, M., Liang, B., Weeks, M., Smith, L., Ingram, C. & Watson, P., 2011

    Article in Procedia CS

  54. Dynamic QoS Management and Optimization in Service-Based Systems

    Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R. & Tamburrelli, G., 2011

    Article in IEEE Transactions on Software Engineering

  55. Editorial

    Kroening, D., Margaria, T. & Woodcock, J., 2011

    Article in Formal Asp. Comput.

  56. IEEE transactions on computational intelligence and AI in games

    Lucas, S., AHMADI, SAMAD., ASHLOCK, DANIEL., CONGDON, CLARE. BATES., BAUCKHAGE, CHRISTIAN., BROWNE, CAMERON., CHAMPANDARD, ALEX. J., CHO, SUNG-BAE., CHONG, SIANG. YEW. & COWLING, PETER., 2011

    Article in Special issue on Monte Carlo Tree Search and Computer Go

  57. Innovative Integrated Architecture for Educational Games: Challenges and Merits

    HodHod, R. A., Cairns, P. A., Kudenko, D., Pan, Z. (ed.), Cheok, A. D. (ed.), Müller, W. (ed.) & Yang, X. (ed.), 2011

    Article in T. Edutainment

  58. 2010
  59. Ada and the software vulnerabilities project: The SPARK Annex

    Burns, A., Tokar, J. L., Baird, S., Barnes, J., Chapman, R., Dismukes, G., González-Harbour, M., Michell, S., Moore, B., Pinho, L. M., Ploedereder, E., Real, J., Rosen, J. P., Schonberg, E., Taft, S. T. & Vardanega, T., 1 Dec 2010

    Article in Ada User Journal

  60. PRO2000 vaginal gel for prevention of HIV-1 infection (Microbicides Development Programme 301): a phase 3, randomised, double-blind, parallel-group trial

    McCormack, S., Ramjee, G., Kamali, A., Rees, H., Crook, A. M., Gafos, M., Jentsch, U., Pool, R., Chisembele, M., Kapiga, S., Mutemwa, R., Vallely, A., Palanee, T., Sookrajh, Y., Lacey, C. J., Darbyshire, J., Grosskurth, H., Profy, A., Nunn, A., Hayes, R. & 1 others, Weber, J., 16 Oct 2010

    Article in Lancet

  61. Do drastic weather effects on diet influence changes in chemical composition, mechanical properties and structure in deer antlers?

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Fierro, Y., Calatayud, A., Ceacero, F., Garcia, A. J. & Gallego, L., Oct 2010

    Article in Bone

  62. Blind Steganalysis of Mp3stego

    Hernandez-Castro, J. C., Tapiador, J. E., Palomar, E. & Romero-Gonzalez, A., Sep 2010

    Article in Journal of information science and engineering

  63. Getting ready for REDD plus in Tanzania: a case study of progress and challenges

    Burgess, N. D., Bahane, B., Clairs, T., Danielsen, F., Dalsgaard, S., Funder, M., Hagelberg, N., Harrison, P., Haule, C., Kabalimu, K., Kilahama, F., Kilawe, E., Lewis, S. L., Lovett, J. C., Lyatuu, G., Marshall, A. R., Meshack, C., Miles, L., Milledge, S. A. H., Munishi, P. K. T. & 6 others, Nashanda, E., Shirima, D., Swetnam, R. D., Willcock, S., Williams, A. & Zahabu, E., Jul 2010

    Article in Oryx

  64. Using audio to support animated route information in a hospital touch-screen kiosk

    Wright, P., Soroka, A., Belt, S., Pham, D. T., Dimov, S., De Roure, D. & Petrie, H., Jul 2010

    Article in Computers in Human Behavior

  65. A randomised placebo-controlled safety and acceptability trial of PRO 2000 vaginal microbicide gel in sexually active women in Uganda

    Kamali, A., Byomire, H., Muwonge, C., Bakobaki, J., Rutterford, C., Okong, P., Profy, A., Byaruhanga, R., Namukwaya, S., McCormack, S., Grosskurth, H., Nunn, A. J. & Lacey, C. J. N., Jun 2010

    Article in Sexually Transmitted Infections

  66. Personality in captivity reflects personality in the wild

    Herborn, K. A., Macleod, R., Miles, W. T. S., Schofield, A. N. B., Alexander, L. & Arnold, K. E., Apr 2010

    Article in ANIMAL BEHAVIOUR

  67. Mechanisms of Bone Deformation and Fracture

    Gupta, H., Fratzl, P., Kerschnitzki, M., Krauss, S., Seto, J., Wagermaier, W., Benecke, G., Boesecke, P., Funari, S., Currey, J. & Estevez, J., Mar 2010

    Article in Bone

  68. Sound refactorings

    Cornelio, M., Cavalcanti, A. & Sampaio, A., Mar 2010

    Article in Science of Computer Programming

  69. Impact of asthma among primary attention children

    Velastegui, C., Perez-Canto, P., Zarate, V., Arenas, D., Salinas, P., Moreno, G. & Prado, F., Feb 2010

    Article in Revista medica de chile

  70. Considering Software Preservation

    Matthews, B., Shaon, A., Bicarregui, J., Jones, C., Conway, E. & Woodcock, J., 2010

    Article in ERCIM News

  71. SBST: 3rd International Workshop on Search-Based Software Testing

    Feldt, R., Cohen, M., Arcuri, A., Baresel, A. & Clark, J. A., 2010

    Article in computer.org

  72. Visualisation of lymphoid organ development

    Veiga-Fernandes, H., Foster, K., Patel, A., Coles, M. & Kioussis, D., 2010

    Article in Methods in molecular biology (Clifton, N.J.)

  73. 2009
  74. The mechanical properties of red deer antler bone when used in fighting

    Currey, J. D., Landete-Castillejos, T., Estevez, J., Ceacero, F., Olguin, A., Garcia, A. & Gallego, L., 15 Dec 2009

    Article in Journal of Experimental Biology

  75. TAIC PART 2007 and Mutation 2007 special issue editorial

    Harman, M., Li, Z., McMinn, P., Offutt, J. & Clark, J., Nov 2009

    Article in Journal of Systems and Software

  76. Formal methods: Practice and experience

    Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J., 1 Oct 2009

    Article in ACM Comput. Surv.

  77. Genetic Variation in the Schizophrenia-Risk Gene Neuregulin 1 Correlates with Brain Activation and Impaired Speech Production in a Verbal Fluency Task in Healthy Individuals

    Kircher, T., Krug, A., Markov, V., Whitney, C., Krach, S., Zerres, K., Eggermann, T., Stoecker, T., Shah, N. J., Treutlein, J., Noethen, M. M., Becker, T. & Rietschel, M., Oct 2009

    Article in Human Brain Mapping

  78. Overview of physics results from MAST

    Meyer, H., Akers, R. J., Alladio, F., Appel, L. C., Axon, K. B., Ben Ayed, N., Boerner, P., Buttery, R. J., Carolan, P. G., Ciric, D., Challis, C. D., Chapman, I. T., Coyler, G., Connor, J. W., Conway, N. J., Cowley, S., Cox, M., Counsell, G. F., Cunningham, G., Darke, A. & 31 others, deBock, M., deTemmerman, G., Dendy, R. O., Dowling, J., Dnestrovskij, A. Y., Dnestrovskij, Y. N., Dudson, B., Dunai, D., Dunstan, M., Field, A. R., Foster, A., Garzotti, L., Gibson, K., Gryaznevich, M. P., Guttenfelder, W., Harrison, J., Hawkes, N. C., Helander, P., Hender, T. C., Hnat, B., Hole, M. J., Howell, D. F., Hua, M. D., Morgan, T., O'Gorman, T., Patel, A., Thornton, A., Vann, R. G. L., Walsh, M. J., Wilson, H. R. & NBI Team, MAST Team, Oct 2009

    Article in Nuclear Fusion

  79. Concurrency vulnerabilities

    Burns, A. & Wettings, A. J., 1 Sep 2009

    Article in Ada User Journal

  80. Quantum error correction beyond qubits

    Aoki, T., Takahashi, G., Kajiya, T., Yoshikawa, J., Braunstein, S. L., van Loock, P. & Furusawa, A., Aug 2009

    Article in Nature Physics

  81. The Fifth International Conference on Autonomic and Autonomous Systems: ICAS 2009 - Preface

    Coupaye, T., Dini, P., Murata, M., Vasilakos, A., Herrero, L. P., Mauri, J. L., Crosta, S., Ung, K. Y., Calinescu, R., Marin, M., Turro, C., Liberal, F., Ferro, A. & Salaun, M., 23 Jul 2009

    Article in Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009

  82. Comparative analysis between homoeologous genome segments of brassica napus and its progenitor species reveals extensive sequence-level divergence

    Cheung, F., Town, C., Trick, M., Drou, N., Bancroft, I., Lim, Y. P., Park, J. Y., Kwon, S. J., Kim, J. A., Scott, R., Chris Pires, J. & Paterson, A. H., 1 Jul 2009

    Article in The Plant Cell

  83. Measurement of the η → 3 π0 Dalitz plot distribution with the WASA detector at COSY

    Adolph, C., Angelstein, M., Bashkanov, M., Bechstedt, U., Belostotski, S., Berłowski, M., Bhatt, H., Bisplinghoff, J., Bondar, A., Borasoy, B., Büscher, M., Calén, H., Chandwani, K., Clement, H., Czerwiński, E., Czyzykiewicz, R., D'Orsaneo, G., Duniec, D., Ekström, C., Engels, R. & 115 others, Erven, W., Eyrich, W., Fedorets, P., Felden, O., Fransson, K., Gil, D., Goldenbaum, F., Grigoryev, K., Heczko, A., Hanhart, C., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Izotov, A., Jacewicz, M., Janusz, M., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Keshelashvili, I., Khakimova, O., Khoukaz, A., Kilian, K., Kimura, N., Kistryn, S., Klaja, J., Klaja, P., Kleines, H., Klos, B., Kowalczyk, A., Kren, F., Krzemień, W., Kulessa, P., Kullander, S., Kupść, A., Kuzmin, A., Kyryanchuk, V., Majewski, J., Machner, H., Magiera, A., Maier, R., Marciniewski, P., Migdał, W., Meißner, U. G., Mikirtychiants, M., Miklukho, O., Milke, N., Mittag, M., Moskal, P., Nandi, B. K., Nawrot, A., Nißler, R., Odoyo, M. A., Oelert, W., Ohm, H., Paul, N., Pauly, C., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rachowski, J., Rausmann, T., Redmer, C. F., Ritman, J., Ruber, R. J. M. Y., Rudy, Z., Salmin, R., Schadmand, S., Schmidt, A., Schneider, H., Schroeder, W., Scobel, W., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Smoliński, T., Smyrski, J., Sopov, V., Spölgen, D., Stepaniak, J., Sterzenbach, G., Ströher, H., Szczurek, A., Teufel, A., Tolba, T., Trzciński, A., Ulbrich, K., Varma, R., Vlasov, P., Weglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Yamamoto, A., Yamaoka, H., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J., Zwoll, K. & Zychor, I., 15 Jun 2009

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  84. Inhomogeneous fibril stretching in antler starts after macroscopic yielding: Indication for a nanoscale toughening mechanism

    Krauss, S., Fratzl, P., Seto, J., Currey, J. D., Estevez, J. A., Funari, S. S. & Gupta, H. S., Jun 2009

    Article in Bone

  85. Towards scalable intrusion detection

    Shaikh, SA., Chivers, H., Nobles, P. & Clark, J. A., Jun 2009

    Article in Network Security

  86. Grading quality of evidence and strength of recommendations in clinical practice guidelines. Part 1 of 3. An overview of the GRADE approach and grading quality of evidence about interventions.

    Brozek, J. L., Akl, E. A., Alonso-Coello, P., Lang, D., Jaeschke, R., Williams, J. W., Phillips, B., Lelgemann, M., Lethaby, A., Bousquet, J., Guyatt, G. H. & Schünemann HJ; GRADE Working Group, May 2009

    Article in Allergy.

  87. MACULAR DYSTROPHY ASSOCIATED WITH THE ARG172TRP SUBSTITUTION IN PERIPHERIN/RDS Genotype-Phenotype Correlation

    Anand, S., Sheridan, E., Cassidy, F., Inglehearn, C., Williams, G., Springell, K., Allgar, V., Kelly, T-L. & McKibbin, M., May 2009

    Article in Retina-The journal of retinal and vitreous diseases

  88. FDR Explorer

    Freitas, L. & Woodcock, J., Feb 2009

    Article in Formal Aspects of Computing

  89. Filtering algorithms for the multiset ordering constraint

    Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I. & Walsh, T., Feb 2009

    Article in Artificial Intelligence

  90. Multiset Ordering Constraints

    Frisch, A. M., Miguel, I., Kiziltan, Z., Hnich, B. & Walsh, T., Feb 2009

    Article in CoRR

  91. Editorial

    Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009

    Article in Formal Asp. Comput.

  92. Reverse Coherent Information

    Garcia-Patron, R., Pirandola, S., Lloyd, S. & Shapiro, J. H., 2009

    Article in QUANTUM COMMUNICATION, MEASUREMENT AND COMPUTING (QCMC)

  93. 2008