Search research publications and outputs

  1. Software › Research
  2. AURA: Advanced Uncertain Reasoning Architecture

    Austin, J., 1995

    Research output: Non-textual formSoftware

  3. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

  4. Code for SPEKE Verification

    Hao, F., Metere, R., Shahandashti, S. F. & Dong, C., 2017

    Research output: Non-textual formSoftware

  5. Demonstration software for IDS Sensor Placement

    Chen, H., Fuller, R. & Clark, J. A., 31 Mar 2011

    Research output: Non-textual formSoftware

  6. Epsilon

    Kolovos, D., Garcia-Dominguez, A., Rose, L. M. & Bezemer, M., 2013

    Research output: Non-textual formSoftware

  7. FaceEnforce: Facial Biometric System

    Austin, J., 2004

    Research output: Non-textual formSoftware

  8. Implementation Code for DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 2018

    Research output: Non-textual formSoftware

  9. Java Bread Board

    Crispin-Bailey, C. & Freeman, M., 2010

    Research output: Non-textual formSoftware

  10. Monte Carlo Tree Search

    Cowling, P. I., Powley, E. J. & Whitehouse, D., 2012

    Research output: Non-textual formSoftware

  11. RoboTool

    Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016

    Research output: Non-textual formSoftware

  12. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware

  13. Smart Contract for Anonymous Voting over Ethereum

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017

    Research output: Non-textual formSoftware

  14. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  15. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  16. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  17. jStar: Bringing separation logic to Java

    Distefano, D., Parkinson, M. J., Dodds, M., Grigore, R., Petersen, R., Botincan, M., Gabi, D., Turk, T., Naudziuniene, D., van Staden, S. & Wright, A., 2011

    Research output: Non-textual formSoftware

  18. wdsCarve

    Chivers, H. R. & Hargreaves, C., 2011

    Research output: Non-textual formSoftware

  19. Artefact › Research
  20. A miniature Biomedical Signal Recorder - Digital Circuit Module

    Crispin-Bailey, C., Austin, J., Moulds, A. & Lampert, T., 2013

    Research output: Non-textual formArtefact

  21. Article › Research › Not peer-reviewed
  22. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  23. Editorial

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

    Article in Formal Asp. Comput.

  24. Editorial

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

    Article in Formal Asp. Comput.

  25. Article › Research › Peer-reviewed
  26. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

  27. A Mössbauer investigation of advanced magnetic recording media

    Walton, S. A., Dickson, D. P. E., O'Grady, K. & Mayo, P. I., 1998

    Article in Hyperfine Interactions

  28. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  29. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  30. A Tactic Calculus-Abridged Version

    Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

    Article in Formal Asp. Comput.

  31. A behavioural intervention improved cognitive function and depression in elderly people in residential homes

    Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000

    Article in Evidence Based Nursing

  32. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  33. A memetic approach to the nurse rostering problem

    Burke, E., Cowling, P., De Causmaecker, P. & Berghe, G. V., 2001

    Article in Applied Intelligence

  34. A posteriori teleportation

    Braunstein, SI. & Kimble, HJ., 27 Aug 1998

    Article in Nature

  35. A quantum analog of Huffman coding

    Braunstein, SL., Fuchs, CA., Gottesman, D. & Lo, HK., 1 Jul 2000

    Article in IEEE TRANSACTIONS ON INFORMATION THEORY

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

  37. A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sep 2018

    Article in Theory and Practice of Logic Programming

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

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

  40. ADSORPTION STUDIES OF DIFFERENT END-FUNCTIONALIZED LINEAR POLY(DIMETHYLSILOXANE)

    Patel, A., Cosgrove, T., Semlyen, J. A., Webster, J. R. P. & Scheutjens, J. M. H. M., 28 Jul 1994

    Article in Colloids and surfaces a-Physicochemical and engineering aspects

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

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

  43. Achieving a World-Wide Software Engineering Profession

    Edwards, H., Thompson, B., Jovanovic, V., Layzell, P., McDermid, J. A. & Williams, N., 2001

    Article in Education and Information Technologies

  44. Active versus expectant management for women in the third stage of labour

    Begley, C. M., Gyte, G. M., Devane, D., McGuire, W., Weeks, A. & Biesty, L. M., 13 Feb 2019

    Article in Cochrane Database of Systematic Reviews

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

  46. Adaptive Hash Retrieval with Kernel Based Similarity

    Xiao, B., Yan, C., Yang, H., Lu, B., Zhou, J. & Hancock, E. R., 30 Mar 2017

    Article in Pattern Recognition

  47. Adsorption and decomposition of Fe(CO)(5) on Cu(111)

    Sun, L. & McCash, E. M., 22 Feb 1999

    Article in Surface Science

  48. Adsorption-catalytic process for carbon disultide removal from air

    Yegiazarov, Y., Clark, J., Potapova, L., Radkevich, V., Yatsimirsky, V. & Brunel, D., 15 May 2005

    Article in Catalysis Today

  49. Advances in Quantum Teleportation

    Pirandola, S., Eisert, J., Weedbrook, C., Furusawa, A. & Braunstein, S. L., 2015

    Article in Nature photonics

  50. Advances in artificial immune systems

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

    Article in Evolutionary Intelligence

  51. Affective brain–computer music interfacing

    Daly, I., Williams, D., Kirke, A., Weaver, J., Malik, A., Hwang, F., Miranda, E. & Nasuto, S. J., 11 Jul 2016

    Article in Journal of Neural Engineering

  52. Airborne observations of IEPOX-derived isoprene SOA in the Amazon during SAMBBA

    Allan, J. D., Morgan, W. T., Darbyshire, E., Flynn, M. J., Williams, P. I., Oram, D. E., Artaxo, P., Brito, J., Lee, J. D. & Coe, H., 29 Oct 2014

    Article in Atmospheric Chemistry and Physics

  53. Amino acid depletion and appearance during porcine preimplantation embryo development in vitro

    Booth, P. J., Humpherson, P. G., Watson, T. J. & Leese, H. J., Nov 2005

    Article in Reproduction

  54. An analogue sum and threshold neuron based on the quantum tunnelling amplification of electrical pulses

    Samardak, A., Nogaret, A., Taylor, S., Austin, J., Farrer, I. & Ritchie, D. A., 7 Aug 2008

    Article in New Journal of Physics

  55. An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic

    Moscholios, I., Vasilakis, V., Sarigiannidis, P., Sagias, N. & Logothetis, M., 5 Jan 2018

    Article in Iet communications

  56. An experimental study of the magnetic behaviour of particulate dispersions I: Chromium dioxide

    Mayo, P. I., O'Grady, K., Sollis, P., Bissell, P. R., Gilson, R. G., Chantrell, R. W., Balkenende, A. R., Rekveldt, M. T., Kraan, W. & Por, P. T., 1993

    Article in Journal of Magnetism and Magnetic Materials

  57. An extensible framework for multicore response time analysis

    Davis, R. I., Altmeyer, S., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., 18 Jul 2017

    Article in Real-Time Systems

  58. An integrated semantics for reasoning about SysML design models using refinement

    Lima, L., Miyazawa, A., Cavalcanti, A. L. C., Cornelio, M., Lyoda, J., Sampaio, A., Hains, R., Larkham, A. & Lewis, V., 2015

    Article in Software and Systems Modeling

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

  60. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018

    Article in Scientific Reports

  61. Analyzing Player Networks in Destiny

    Pirker, J., Rattinger, A., Drachen, A. & Sifa, R., Mar 2018

    Article in Entertainment Computing

  62. Association between macro and micro mineral composition, and intrinsic mechanical properties, DXA, and cortical thickness, in human femurs and deer antler bone

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Gonzalez, B., Insausti, R., Garcia, A., Martinez, A., Ceacero, F., Garcia, A. J. & Gallego, L., 2008

    Article in Calcified tissue international

  63. Automated interpretation and accessible presentation of technical diagrams for blind people

    Horstmann, M., Lorenz, M., Watkowski, A., Ioannidis, G. T., Herzog, O., King, A., Evans, D. G., Hagen, C., Schlieder, C., Burn, A-M., King, N., Petrie, H., Dijkstra, S. & Crombie, D., 2004

    Article in The New Review of Hypermedia and Multimedia

  64. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. J. & Spracklen, P., Oct 2017

    Article in Artificial Intelligence

  65. Bayesian spatial NBDA for diffusion data with home-base coordinates

    Nightingale, G. F., Laland, K. N., Hoppitt, W. J. E. & Nightingale, P., 2 Jul 2015

    Article in PLoS ONE

  66. Behavioural management in nursing and residential homes: a randomised controlled trial

    Proctor, R., Burns, A., Powell, H. S., Tarrier, N., Faragher, B., Richardson, G. & Davies, L., 3 Jul 1999

    Article in Lancet

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

  68. Broadband teleportation

    van Loock, P., Braunstein, SL. & Kimble, HJ., 1 Aug 2000

    Article in Physical Review A

  69. CAINE: A Context-Aware Information-Centric Network Ecosystem

    Kamel, G., Wang, N., Vasilakis, V., Sun, Z., Navaratnam, P., Wang, C., Dong, L. & Tafazolli, R., 5 Aug 2015

    Article in Ieee communications magazine

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

  71. CHANNELS IN CRYSTALLINE-STRUCTURE OF GRAMICIDIN-S WITH UREA AS PROTOTYPES OF MEMBRANE CHANNELS

    Tishchenko, G. N., Andrianov, V. I., Vainshtein, B. K. & Dodson, E., 1993

    Article in Kristallografiya

  72. CHARGE-EXCHANGE PHOTOPRODUCTION OF THE ALPHA-2-(1320) IN ASSOCIATION WITH DELTA++ AT 19.3 GEV/C

    CONDO, GT., HANDLER, T., SHIMONY, J., ABE, K., AUSTERN, M., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P. & 64 others, ERICKSON, R., FALICOV, A., FIELD, RC., FORTNEY, LR., FRANEK, B., FUJIWARA, N., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MCCRORY, ES., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ODELL, VR., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1 Jun 1990

    Article in Physical Review D

  73. CHARM PHOTOPRODUCTION AT 20 GEV

    ABE, K., BACON, TC., BALLAM, J., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., CARROLL, JT., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., DORNAN, PJ., ERICKSON, R. & 74 others, FIELD, RC., FRANEK, B., FUJIWARA, N., FURUNO, K., GEARHART, R., GERSHONI, D., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HAYASHINO, T., HIDETA, I., HULSIZER, RI., ISACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANNUTTI, J., LEVY, A., LUCAS, PW., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., OHTANI, Y., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1984

    Article in Physical Review D

  74. CHARM PHOTOPRODUCTION CROSS-SECTION AT 20 GEV

    ABE, K., BACON, TC., BALLAM, J., BERNY, L., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, J., CAMERON, W., CARROLL, JT., CAUTIS, CV., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R. & 79 others, DORNAN, PJ., ERICKSON, R., FIEGUTH, T., FIELD, RC., FORTNEY, L., FRANEK, B., FUJIWARA, N., GEARHART, R., GLANZMAN, T., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAFEN, ES., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARIDAS, P., HASEGAWA, K., HAYASHINO, T., HUANG, DQ., HULSIZER, RI., ISAACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANNUTTI, J., LEVY, A., LUCAS, PW., MACDERMOTT, M., MANN, WA., MARUYAMA, T., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RABIN, M., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SINCLAIR, CK., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WALD, HB., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., WU, Y., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1983

    Article in Physical Review Letters

  75. Cache related pre-emption delays in hierarchical scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., Jun 2015

    Article in Real-Time Systems

  76. Capacities of linear quantum optical systems

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

    Article in Physical Review A

  77. Cationic liposome-DNA complexes: From liquid crystal science to gene delivery applications

    Safinya, C. R., Ewert, K., Anmad, A., Evans, H. M., Raviv, U., Needleman, D. J., Lin, A. J., Slack, N. L., George, C., Samuel, C. E., Matharu, A. S., Li, M. H., Percec, V. & Seddon, J., 15 Oct 2006

    Article in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

  78. Characterising intrusion detection sensors

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

    Article in Network Security

  79. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018

    Article in Review of Scientific Instruments

  80. Co-created evaluation: Identifying how games support police learning

    Adams, A., Hart, J., Iacovides, I., Beavers, S., Oliveira, M. & Magroudi, M., 1 Dec 2019

    Article in International Journal of Human Computer Studies

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

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

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

  84. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

  85. Concentric network symmetry

    Silva, F. N., Comin, C. H., DM. Peron, T. K., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & da F. Costa, L., 10 Mar 2016

    Article in Information Sciences

  86. Concurrency vulnerabilities

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

    Article in Ada User Journal

  87. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

  88. Considering Software Preservation

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

    Article in ERCIM News

Previous 1 2 3 4 5 6 7 8 ...13 Next