Search research publications and outputs

  1. 2014
  2. Early Levallois technology and the Lower to Middle Paleolithic transition in the Southern Caucasus

    Adler, D. S., Wilkinson, K. N., Blockley, S., Mark, D. F., Pinhasi, R., Schmidt-Magee, B. A., Nahapetyan, S., Mallol, C., Berna, F., Glauberman, P. J., Raczynski-Henk, Y., Wales, N., Frahm, E., Jöris, O., MacLeod, A., Smith, V. C., Cullen, V. L. & Gasparian, B., 26 Sep 2014

    Article in Science

  3. Entanglement typicality

    Dahlsten, O. C. O., Lupo, C., Mancini, S. & Serafini, A., 12 Sep 2014

    Article in Journal of Physics A: Mathematical and Theoretical

  4. Infusion device standardisation and dose error reduction software

    Iacovides, I., Blandford, A., Cox, A. L., Franklin, B. D., Lee, P. & Vincent, C. J., 28 Aug 2014

    Article in British Journal of Nursing

  5. Robust quantum data locking from phase modulation

    Lupo, C., Wilde, M. M. & Lloyd, S., 25 Aug 2014

    Article in Physical Review A

  6. Investigating affect in algorithmic composition systems

    Williams, D., Kirke, A., Miranda, E. R., Roesch, E., Daly, I. & Nasuto, S., 15 Aug 2014

    Article in Psychology of Music

  7. 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

  8. Generating custom propagators for arbitrary constraints

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

    Article in Artificial Intelligence

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 2013
  15. 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)

  16. Discriminating quantum field theories in curved spacetime

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

    Article in arXiv

  17. 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

  18. The Receptor Density Algorithm

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

    Article in Theoretical Computer Science

  19. Semantic mutation testing

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

    Article in Science of Computer Programming

  20. Semantic mutation testing

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

    Article in Science of Computer Programming

  21. 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

  22. 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

  23. 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

  24. Editorial

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

    Article in Computing

  25. 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

  26. 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

  27. 2012
  28. 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

  29. 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

  30. 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)

  31. 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 othersFö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

  32. 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

  33. Optimized Frame Packing for Embedded Systems

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

    Article in Embedded Systems Letters

  34. 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

  35. 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

  36. 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

  37. 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

  38. 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

  39. Capacities of linear quantum optical systems

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

    Article in Physical Review A

  40. 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

  41. 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

  42. 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.

  43. 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

  44. 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 othersFö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

  45. Π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 othersFransson, 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

  46. 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

  47. 2011
  48. Correct hardware synthesis

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

    Article in Acta Informatica

  49. 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

  50. Quantum reading capacity

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

    Article in New Journal of Physics

  51. Optimal detection of losses by thermal probes

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

    Article in Physical Review A

  52. Enhanced quantum communication via optical refocusing

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

    Article in Physical Review A

  53. 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 othersFedorets, 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

  54. 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

  55. On the classical capacity of quantum Gaussian channels

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

    Article in Physica Scripta

  56. Closed Timelike Curves via Postselection: Theory and Experimental Test of Consistency

    Lloyd, S., Maccone, L., Garcia-Patron, R., Giovannetti, V., Shikano, Y., Pirandola, S., Rozema, L. A., Darabi, A., Soudagar, Y., Shalm, L. K. & Steinberg, A. M., 27 Jan 2011

    Letter in Physical Review Letters

  57. 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

  58. Advances in artificial immune systems

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

    Article in Evolutionary Intelligence

  59. 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

  60. 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

  61. Editorial

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

    Article in Formal Asp. Comput.

  62. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  63. 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

  64. 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

  65. 2010
  66. 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

  67. ENERGY EFFICIENCY IN COMMUNICATIONS

    Zhang, H., Gladisch, A., Pickavet, M., Tao, Z. & Mohr, W., Nov 2010

    Editorial in Ieee communications magazine

  68. 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 othersWeber, J., 16 Oct 2010

    Article in Lancet

  69. 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

  70. Quantum Cryptography Approaching the Classical Limit

    Weedbrook, C., Pirandola, S., Lloyd, S. & Ralph, T. C., 8 Sep 2010

    Letter in Physical Review Letters

  71. 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

  72. Guest editorial

    Paige, R. F., Olsen, G. K., Oldevik, J. & Neple, T., Sep 2010

    Editorial in Software and Systems Modeling

  73. 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 othersNashanda, E., Shirima, D., Swetnam, R. D., Willcock, S., Williams, A. & Zahabu, E., Jul 2010

    Article in Oryx

  74. 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

  75. 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

  76. 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

  77. 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

  78. Sound refactorings

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

    Article in Science of Computer Programming

  79. 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

  80. Considering Software Preservation

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

    Article in ERCIM News

  81. 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

  82. 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.)

  83. 2009
  84. 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

  85. 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

  86. Formal methods: Practice and experience

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

    Article in ACM Comput. Surv.

  87. 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

  88. 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 othersdeBock, 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

  89. Concurrency vulnerabilities

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

    Article in Ada User Journal

  90. 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

  91. 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

  92. 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

  93. 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 othersErven, 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

  94. 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

  95. Towards scalable intrusion detection

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

    Article in Network Security

  96. 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.

  97. 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

  98. FDR Explorer

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

    Article in Formal Aspects of Computing

  99. Filtering algorithms for the multiset ordering constraint

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

    Article in Artificial Intelligence

  100. Multiset Ordering Constraints

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

    Article in CoRR