Home > Publications

Publications

37301 - 37400 out of 42,444Page size: 100
  1. Published

    Backoff protocols for distributed mutual exclusion and ordering

    Chockler, G., Malkhi, D. & Reiter, M. K., 1 Jan 2001, Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS '01). p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Published

    Background Rejection in the DMTPC Dark Matter Search Using Charge Signals.

    DMTPC Collaboration, 2012, In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 696, 121-128

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Background noise

    Howard, D., 2019, The SAGE Encyclopedia of Human Communication Sciences and Disorders. Damico, J. & Ball, M. (eds.). Sage Knowledge, p. 261 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results

    Degabriele, J., Paterson, K., Schuldt, J. & Woodage, J., Aug 2016, Advances in Cryptology – CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I. Robshaw, M. & Katz, J. (eds.). Springer Berlin / Heidelberg, Vol. 9814. p. 403-432 30 p. (Lecture Notes in Computer Science ; vol. 9814).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    Back to Trajan's Column of Trajan (review of F. Coarelli (ed.) 'Column of Trajan')

    Claridge, A., 2007, In: Journal of Roman Archaeology. 20, p. 467-8

    Research output: Contribution to journalArticlepeer-review

  6. Unpublished
  7. Published

    Back to the Future: Organizational Values and Online Campaigning

    Chadwick, A., 28 Feb 2009.

    Research output: Contribution to conferenceOther

  8. Published

    Back to the future with Ljubica Maric

    Samson, J., 2010, Spaces of Modernism: Ljubica Maric in Context. Despic, D. & Milin, M. (eds.). Belgrade: SASA, p. 25-34

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    Back to the future or forward to the past? Strengthening markets and rules for effective global energy governance

    Goldthau, A. & Witte, J. M., Mar 2009, In: International Affairs. 85, 2, p. 373-390 18 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Back to the future of Geography

    Driver, F., 1993, In: Environment and Planning A. 25, p. 22-5

    Research output: Contribution to journalArticlepeer-review

  11. Unpublished

    Back to the Future

    Markaki, L., Mar 2019, (Unpublished).

    Research output: Contribution to conferencePaperpeer-review

  12. Published

    Back to Fundamentals: Equilibrium in Abstract Economies

    Richter, M. & Rubinstein, A., Aug 2015, In: American Economic Review. 105, 8, p. 2570-2594 25 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Back to Berlin: three Wagner revivals at the Deutsche Oper, Berlin

    Berry, M., 2010, In: The Wagner Journal. 4, 2, p. 78-81 4 p.

    Research output: Contribution to journalBook/Film/Article reviewpeer-review

  14. Published

    Back to basics: Sharing goals and developing trust in global virtual teams

    Tucker, R. & Panteli, N., 2003, IFIP Advances in Information and Communication Technology. Springer New York LLC, Vol. 126. p. 85-98 14 p. (IFIP Advances in Information and Communication Technology; vol. 126).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Forthcoming

    'Back in the USSR': The Prose of Andrei Makine and Antoine Volodine

    Duffy, H., 2 Feb 2019, (Accepted/In press) Contemporary Fiction in French . Milne, A-L. & Williams, R. (eds.). Cambridge: Cambridge University Press, 11

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Published

    Back and forth…From Text to Performance – Open and Spoken Texts or the Practice of (Un)writing in Aboriginal Poetry

    Castro, E., 2005, In: Commonwealth Essays and Studies. 28, 1, p. 53-63

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Bacillus thuringiensis: an impotent pathogen?

    Raymond, B., Johnston, P. R., Nielsen-Leroux, C., Lereclus, D. & Crickmore, N., 2010, In: Trends in Microbiology. 18, 5, p. 189-194 6 p.

    Research output: Contribution to journalArticlepeer-review

  18. Submitted

    Bacillus subtilis spores expressing antigenic VP28: potential oral probiotic "vaccine" to induce protection of Litopenaeus vannamei against white spot syndrome virus.

    Nguyen, A. T. V., Pham, C. K., Pham, H. T. T., Pham, H. L., Dang, A. L. T., Huynh, H., Cutting, S. & Phan, T-N., 1 Sep 2014, (Submitted) In: FEMS Microbiology Letters. 358, p. 202-208 358.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Bacillus subtilis spores competitively exclude Escherichia coli O78: K80 in poultry

    La Ragione, R. M., Casula, G., Cutting, S. M. & Woodward, M. J., 20 Mar 2001, In: Veterinary Microbiology. 79, 2, p. 133-142 10 p.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Bacillus subtilis isolated from the human gastrointestinal tract

    Huynh, H., Khaneja, R., Tam, N. M. K., Cazzato, A., Tan, S., Urdaci, M., Brisson, A., Gasbarrini, A., Barnes, I. & Cutting, S. M., 2009, In: Research in Microbiology. 160, 2, p. 134-143 10 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Bacillus probiotics: spore germination in the gastrointestinal tract

    Casula, G. & Cutting, S. M., 1 May 2002, In: Applied and environmental microbiology. 68, 5, p. 2344-52 9 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Bacillus probiotics

    Cutting, S., 2010, In: Food Microbiology.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Bacillus probiotics

    P.H, V., Dong, T. C. & Cutting, S., 2009, In: Nutrafoods. p. 7-14 7 p., 8.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Bacillus probiotics

    Cutting, S. M., 2011, In: Food Microbiology. 28, 2, p. 214-20 7 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Bachelorhood and masculinity in Renaissance and early modern Italy

    Cavallo, S., Jul 2008, In: European History Quarterly. 38, 3, p. 375-397

    Research output: Contribution to journalArticlepeer-review

  26. Published

    Bach and Cigarettes: Imagining the Everyday in Jarmusch’s Int. Trailer. Night

    Cenciarelli, C., 2012, In: Twentieth-Century Music. 7, 2, p. 219 243 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Baby-step giant-step algorithms for non-uniform distributions

    Blackburn, S. R. & Teske, E., 2000, Proceedings of ANTS IV. Bosma, W. (ed.). Berlin: Springer, p. 153-168 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Published

    Baby Boy

    Parkinson, T., 27 Feb 2016

    Research output: Non-textual formComposition

  29. Published

    BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews

    Rizzo, C., Cavallaro, L. & Kinder, J., 2018, 21st International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2018). Springer, p. 25-46 22 p. (Lecture Notes in Computer Science (LNCS); vol. 11050).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Published

    Babel for soprano and piano

    Thomson, K., 8 Nov 2014

    Research output: Non-textual formComposition

  31. Published
  32. Published

    B meson decay constants from two-flavor lattice QCD with nonrelativistic heavy quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Sep 2001, In: Physical Review D . 6405, 5, p. - 24 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    B is for Booing

    Rebellato, D., Mar 2013, In: Contemporary Theatre Review. 18, 1, p. 11-15

    Research output: Contribution to journalArticlepeer-review

  34. Published

    B and delta B-11 in Aleutian Island arc basalt track slab and sediment fluid addition to the mantle wedge

    Singer, B. S., Leeman, W. P., Thirlwall, M. F., Tonarini, S., Jicha, B. R. & Rogers, N. W., May 2005, In: Geochimica et Cosmochimica Acta. 69, 10, p. A635-A635 1 p.

    Research output: Contribution to journalArticlepeer-review

  35. Forthcoming

    Axiopraxis en mouvement. Festivals et production artistique autochtone océanienne comme lieux de production politique du culturel

    Castro, E., 2013, (Accepted/In press) Les sciences humaines et sociales dans le Pacifique : nouveaux terrains, nouvelles approches. Pacific-Credo Publications

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  36. Published

    Axel Goodbody and Adeline Johns-Putra (eds), Cli-Fi: A Companion

    Wheatley, M., 4 Sep 2020, In: The British Society for Literature and Science.

    Research output: Contribution to journalLiterature reviewpeer-review

  37. Published

    AWW-STRUCK: Poetic and critical responses to the theme of cuteness

    Harris, C. (ed.), Galleymore, I. (ed.) & Papachristodoulou, A. (ed.), 1 Apr 2021, Poem Atlas. 88 p.

    Research output: Book/ReportBook

  38. Published

    Away from home: How young Chinese consumers travel with global brands?

    Cappellini, B., Hosany, S., Yen, D. A. & Yu, Q., Jan 2019, In: Journal of Retailing and Consumer Services. 46, p. 87-94 8 p.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    Awareness, knowledge, perceptions, and attitudes towards genetic testing for cancer risk among ethnic minority groups: a systematic review

    Hann, K., Freeman, M., Fraser, L., Waller, J., Sanderson, S. C., Rahman, B., Side, L., Gessler, S. & Lanceley, A., 25 May 2017, In: BMC Public Health. 17, p. 1-30 30 p., 503.

    Research output: Contribution to journalArticlepeer-review

  40. Unpublished

    Awareness Through Puppetry: Self-image in Feldenkrais Method and Material Performance

    Fredricksson, K., 1 Jun 2018, (Unpublished) 324 p.

    Research output: ThesisDoctoral Thesis

  41. Published

    Awareness of somatic events associated with a voluntary action

    Tsakiris, M. & Haggard, P., 2003, In: Experimental Brain Research. 149, 4, p. 439-46 8 p.

    Research output: Contribution to journalArticlepeer-review

  42. Published

    Awakening the Unconscious: Mind the Attainment Gap: Awakening the Unconscious: Mind the Attainment Gap

    D'Alton-Harrison, R., 31 Aug 2013, In: Journal of Blended Learning in Practice. Autumn, p. 27-40 13 p.

    Research output: Contribution to journalArticle

  43. Published

    'Avventura scritta per gioco'. La presenza di Italo Calvino nella sceneggiatura di 'Domani accadrà' di Daniele Luchetti

    Testa, S., 28 Dec 2012, In: la libellula. rivista di italianistica. 4, p. 13-26 14 p., 2.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    Avoiding key redistribution in key assignment schemes

    Rowe, H. & Crampton, J., 2007, Proceedings of the Fourth International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security. p. 127-140 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Published

    Avoiding Evil in Perpetrator Fiction

    Eaglestone, R., 2011, In: Holocaust Studies. 17, 2-3, p. 13-26

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Avian embryonic development does not change the stable isotope composition of the calcite eggshell

    Maurer, G., Portugal, S. J., Boomer, I. & Cassey, P., 24 Jan 2011, In: Reproduction, Fertility and Development. 23, 2, p. 339-345 7 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    Avian eggshell pigments are not consistently correlated with colour measurements or egg constituents in two Turdus thrushes

    Cassey, P., Mikšík, I., Portugal, S. J., Maurer, G., Ewen, J. G., Zarate, E., Sewell, M. A., Karadas, F., Grim, T., Hauber, M. E. & Portugal, S., 1 Nov 2012, In: Journal of Avian Biology. 43, 6, p. 503-512 10 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Aversion amplification in the emerging COVID-19 pandemic: The impact of political trust and subjective uncertainty on perceived threat

    Lalot, F., Abrams, D. & Travaglino, G. A., 2 Mar 2021, In: Journal of Community and Applied Social Psychology. 31, 2, p. 213-222 10 p.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    Averages and higher moments for the ℓ-torsion in class groups

    Frei, C. & Widmer, M., 23 Dec 2020, In: Mathematische Annalen. p. 1-25 25 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    Average bounds for the ℓ-torsion in class groups of cyclic extensions

    Frei, C. & Widmer, M., 10 Aug 2018, In: Research in Number Theory. 4, p. 1-25 25 p., 34.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    Avatar Voting in Virtual Worlds

    Cobourne, S., Hili, G., Mayes, K. & Markantonakis, K., Apr 2014, 5th International Conference on Information and Communication Systems (ICICS), 2014 . IEEE, p. 1 - 6

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  52. Published

    Avant-garde, Canon (iii), Reception, Chopin, Dobrzynski, Genre, Grossman, Kurpinski, Moniuszko, Paderewski, Romanticism, Szymanowski

    Samson, J., 2001, The New Grove Dictionary of Music and Musicians. Sadie, S. & Tyrrell, J. (eds.). 2 ed. London: Macmillan

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  53. Published

    Avant le roman: l'allégorie et l'émergence de la narration française au 16ème siècle

    Chesters, T., Jul 2010, In: French Studies. 64, 3, p. 340-341 2 p.

    Research output: Contribution to journalBook/Film/Article reviewpeer-review

  54. Forthcoming

    Available kin recognition cues may explain why wasp behaviour reflects relatedness to nestmates

    Leadbeater, E., Dapporto, L., Turrillazzi, S. & Field, J., 2013, (Accepted/In press) In: Behavioural Ecology.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Auxin-Dependent Cell Cycle Reactivation through Transcriptional Regulation of Arabidopsis E2Fa by Lateral Organ Boundary Proteins

    Berckmans, B., Vassileva, V., Schmid, S. P. C., Maes, S., Parizot, B., Naramoto, S., Magyar, Z., Kamei, C. L. A., Koncz, C., Bogre, L., Persiau, G., De Jaeger, G., Friml, J., Simon, R., Beeckman, T. & De Veylder, L., Oct 2011, In: Plant Cell. 23, 10, p. 3671-3683 13 p.

    Research output: Contribution to journalArticlepeer-review

  56. Published

    Auxin involvement in tepal senescence and abscission in Lilium: a tale of two lilies

    Lombardi, L., Arrom, L., Mariotti, L., Battelli, R., Picciarelli, P., Kille, P., Stead, A., Munne-Bosch, S. & Rogers, H. J., 1 Feb 2015, In: Journal of Experimental Botany. 66, 3, p. 945-956 12 p.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    Autopsy on a dead spreading center: The Phoenix Ridge, Drake Passage, Antarctica

    Livermore, R., Balanya, J. C., Maldonado, A., Martinez, J. M., Rodriguez-Fernandez, J., Sanz de Galdeano, C., Zaldivar, J. G., Jabaloy, A., Barnolas, A., Somoza, L., Hernandez-Molina, J., Suriñach, E., Viseras, C. & Hernández-Molina, F. J., 1 Jan 2000, In: Geology. 28, 7, p. 607-610 4 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    AutoPass: An automatic password generator

    Al Maqbali, F. & Mitchell, C. J., 7 Dec 2017, 2017 International Carnahan Conference on Security Technology (ICCST): Proceedings. IEEE Press, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Unpublished
  60. Published

    Autonomy and improved performance: lessons from an NHS policy reform

    Anand, P., Exworthy, M., Frosini, F. & Jones, L., 2012, In: Public Money and Management. 32, 3, p. 209-216

    Research output: Contribution to journalArticlepeer-review

  61. Published

    Autonomous Target Search with Multiple Coordinated UAVs

    Piacentini, C., Bernardini, S. & Beck, J. C., 8 Aug 2019, In: Journal of Artificial Intelligence Research. 65, p. 519-568 50 p.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Autonomous Building of Structures in Unstructured Environments via AI Planning

    Roberts, J., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021).. 1 ed. Vol. 31. p. 491-499 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Published

    Automorphisms of the Nottingham group

    Klopsch, B., 1 Jan 2000, In: Journal of Algebra. 223, 1, p. 37-56 20 p.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Automorphism groups of cyclic codes

    Bienert, R. & Klopsch, B., Feb 2010, In: Journal of Algebraic Combinatorics. 31, 1, p. 33-52 20 p.

    Research output: Contribution to journalArticlepeer-review

  65. Published

    Automating Workflows using Dialetical Argumentation

    Urovi, V., Bromuri, S., Mcginnis, J., Stathis, K. & Omicini, A., 2008, In: International Journal on Computer Science and Information Systems. 3, 2, p. 110-125 16 p.

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Automating the evaluation of trustworthiness

    Sel, M. & Mitchell, C. J., 1 Sep 2021, Trust, Privacy and Security in Digital Business - 18th International Conference, TrustBus 2021, September 2021, Proceedings. Fischer-Huebner, S., Lambrinoudakis, C., Kotsis, G., Min Tjoa, A. & Khalil, I. (eds.). Springer-Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Published

    Automating the assessment of ICT risk

    Baiardi, F., Corò, F., Tonelli, F. & Sgandurra, D., 2014, In: Journal of Information Security and Applications. 19, 3, p. 182-193 12 p.

    Research output: Contribution to journalArticlepeer-review

  68. Published

    Automating Malware Scanning Using Workflows

    Stirling, D., Welch, I., Komisarczuk, P. & Seifert, C., 2009, 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGrid 2009, Shanghai, China, 18-21 May 2009. p. 562-567 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Published

    Automating JSP Program Design and Development

    Sutcliffe, A. G., Layzell, P. J. & Davies, C. G., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  70. Unpublished

    Automating interpretations of trustworthiness

    Sel, M., 2021, (Unpublished) Royal Holloway, University of London. 507 p.

    Research output: ThesisDoctoral Thesis

  71. Published

    Automatically generating stories from sensor data

    Reddington, J. & Tintarev, N., 1 Jan 2011, p. 407-410. 4 p.

    Research output: Contribution to conferencePaper

  72. Published

    Automatic, rapid screening of seed resistance in cowpea, Vigna unguiculata (L.) Walpers, to the seed beetle Callosobruchus maculatus (F.) (Coleoptera : Bruchidae) using acoustic monitoring

    Devereau, A. D., Gudrups, I., Appleby, J. H. & Credland, P. F., 2003, In: Journal of Stored Products Research. 39, 1, p. 117-129 13 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Automatic stimulus-response associations may be semantically mediated

    Brysbaert, M., Caessens, B. & Reynvoet, B., 1 Mar 2002, In: Psychonomic Bulletin and Review. 9, 1, p. 107-112

    Research output: Contribution to journalArticle

  74. Published

    Automatic semantic activation of embedded words: Is there a 'hat' in 'that'?

    Bowers, J. S., Davis, C. J. & Hanley, D. A., 2005, In: Journal of Memory and Language. 52, p. 131-143

    Research output: Contribution to journalArticlepeer-review

  75. Published

    Automatic recursion engineering of reduction incorporated parsers

    Johnstone, A. & Scott, E., 1 Sep 2007, In: Science of Computer Programming. 68, 2, p. 95-110 16 p.

    Research output: Contribution to journalArticlepeer-review

  76. Published

    Automatic path generation for multirotor descents through varying air masses above Ascension Island

    Greatwood, C., Richardson, T., Freer, J., Thomas, R., Brownlow, R., Lowry, D., Fisher, R. E. & Nisbet, E. G., 2016, AIAA Atmospheric Flight Mechanics Conference. American Institute of Aeronautics and Astronautics Inc, AIAA

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  77. Published

    Automatic internal calibration in liquid chromatography/Fourier transform ion cyclotron resonance mass spectrometry of protein digests

    Palmblad, M., Bindschedler, L. V., Gibson, T. M. & Cramer, R., 2006, In: Rapid communications in mass spectrometry : RCM. 20, 20, p. 3076-80 5 p.

    Research output: Contribution to journalArticlepeer-review

  78. Published

    Automatic indexing from a thesaurus using Bayesian networks: Application to the classification of parliamentary initiatives

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4724 LNAI. p. 865-877 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  79. Published

    Automatic detection of the duration of visual static and dynamic stimuli

    Durant, S., Sulykos, I. & Czigler, I., 1 May 2018, In: Brain Research. 1686, p. 34-41 8 p.

    Research output: Contribution to journalArticlepeer-review

  80. Published

    Automatic detection of orientation variance

    Durant, S., Sulykos, I. & Czigler, I., 29 Sep 2017, In: Neuroscience Letters. 658, p. 43-47 5 p.

    Research output: Contribution to journalArticlepeer-review

  81. Published

    Automatic detection of microaneurysms in diabetic retinopathy fundus images using the L*a*b color space

    Navarro, P., Alonso, D. & Stathis, K., 2016, In: JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION. 33, 1, p. 74-83 10 p.

    Research output: Contribution to journalArticlepeer-review

  82. Unpublished

    Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

    Rowe, R., 7 Aug 2016, (Unpublished).

    Research output: Contribution to conferenceAbstractpeer-review

  83. Published

    Automatic cyclic termination proofs for recursive procedures in separation logic

    Rowe, R. & Brotherston, J., 16 Jan 2017, CPP 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM, p. 53-65 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Published

    Automatic annotation of eukaryotic genes, pseudogenes and promoters

    Solovyev, V., Kosarev, P., Seledsov, I. & Vorobyev, D., 2006, In: Genome Biology. 7 Suppl 1, p. S10.1-12

    Research output: Contribution to journalArticlepeer-review

  85. Published

    Automatic analysis (aa): Efficient neuroimaging workflows and parallel processing using Matlab and XML

    Cusack, R., Vicente-Grabovetsky, A., Mitchell, D. J., Wild, C. J., Auer, T., Linke, A. C. & Peelle, J. E., 12 Jan 2015, In: Frontiers in Neuroinformatics. 8, JAN

    Research output: Contribution to journalArticlepeer-review

  86. Published

    Automated Workflows using Dialectical Argumentation

    McGinnis, J., Bromuri, S., Urovi, V. & Stathis, K., 1 May 2007, German e-Science Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. Published

    Automated whole-genome multiple alignment of rat, mouse, and human

    Brudno, M., Poliakov, A., Salamov, A., Cooper, G. M., Sidow, A., Rubin, E. M., Solovyev, V., Batzoglou, S. & Dubchak, I., 1 Apr 2004, In: Genome Research. 14, 4, p. 685-92 8 p.

    Research output: Contribution to journalArticlepeer-review

  88. Forthcoming

    Automated Verification of Go Programs via Bounded Model Checking

    Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.

    Research output: Contribution to journalConference articlepeer-review

  89. Published

    Automated Transformation of PDDL Representations

    Riddle, P. J., Barley, M. W., Franco, S. & Douglas, J., 14 May 2015, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015: 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 214-215 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. Published

    Automated taxonomy extraction from semantic business process models

    De Cesare, S., Juric, D. & Lycett, M., 7 Mar 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE Computer Society, Vol. 2016-March. p. 4394-4403 10 p. 7427732

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. Published

    Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

    Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Automated Semmes Weinstein monofilament examination replication using optical imaging and mechanical probe assembly

    Siddiqui, H. U. R., Spruce, M., Alty, S. R. & Dudley, S., 21 Jul 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging, ISBI 2015. IEEE Computer Society, Vol. 2015-July. p. 552-555 4 p. 7163933

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. Published

    Automated Planning for Urban Traffic Management

    McCluskey, T. L., Vallati, M. & Franco, S., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. Published

    Automated peripheral neuropathy assessment using optical imaging and foot anthropometry

    Siddiqui, H. U. R., Spruce, M., Alty, S. R. & Dudley, S., 1 Aug 2015, In: IEEE Transactions on Biomedical Engineering. 62, 8, p. 1911-1917 7 p., 7047824.

    Research output: Contribution to journalArticlepeer-review

  95. E-pub ahead of print

    Automated peripheral neuropathy assessment of diabetic patients using optical imaging and binary processing techniques

    Siddiqui, H. U. R., Alty, S. R., Spruce, M. & Dudley, S. E., 14 Feb 2013, (E-pub ahead of print) IEEE EMBS Special Topic Conference on Point-of-Care (POC) Healthcare Technologies: Synergy Towards Better Global Healthcare, PHT 2013. p. 200-203 4 p. 6461319

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. Published

    Automated multimodal spectral histopathology for quantitative diagnosis of residual tumour during basal cell carcinoma surgery

    Boitor, R., Kong, K., Shipp, D., Varma, S., Koloydenko, A. A., Kulkarni, K., Elsheikh, S., Schut, T., Caspers, P., Puppels, G., van der Wolf, M., Sokolova, E., Nijsten, T. E. C., Salence, B., Williams, H. & Notingher, I., 22 Nov 2017, In: Biomedical Optics Express. 8, 12, p. 5749-5766 18 p.

    Research output: Contribution to journalArticlepeer-review

  97. Published

    Automated generation of colluding apps for experimental research

    Blasco Alis, J. & Chen, T. M., May 2018, In: Journal of Computer Virology and Hacking Techniques. 14, 2, p. 127–138 12 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Automated Dynamic Analysis of Ransomware: Benefits, Limitations and use for Detection

    Sgandurra, D., Muñoz-González, L., Mohsen, R. & Lupu, E. C., 10 Sep 2016, In: ArXiv.org.

    Research output: Contribution to journalArticle

  99. Published

    Automated detection of Hainan gibbon calls for passive acoustic monitoring

    Dufourq, E., Durbach, I., Hansford, J. P., Hoepfner, A., Ma, H., Bryant, J. V., Stender, C. S., Li, W., Liu, Z., Chen, Q., Zhou, Z. & Turvey, S. T., Sep 2021, In: Remote Sensing in Ecology and Conservation. 7, 3, p. 475-487 13 p.

    Research output: Contribution to journalArticlepeer-review

  100. Published

    Automated Debugging for Arbitrarily Long Executions

    Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E. & Candea, G., May 2013, Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX

    Research output: Chapter in Book/Report/Conference proceedingConference contribution