Browse by Academic Unit (A-Z)

A

ALGorain, F.T. and Clark, J.A. orcid.org/0000-0002-9230-9739 (2022) Bayesian hyper-parameter optimisation for malware detection. Electronics, 11 (10). 1640. ISSN 2079-9292

ALGorain, F.T. orcid.org/0000-0003-0547-1402 and Clark, J.A. orcid.org/0000-0002-9230-9739 (2023) Covering arrays ML HPO for static malware detection. Eng, 4 (1). pp. 543-554.

Ababei, R.-V., Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Evans, R.F.L. et al. (1 more author) (2019) Anomalous damping dependence of the switching time in Fe/FePt bilayer recording media. Physical Review B, 99 (2). 024427. ISSN 2469-9950

Abbasi, M. and Clayton, R. (2014) Formulation of ATP sensitive K+ Current and Action Potential Shape in Models of Human Ventricular Myocytes. In: Computing in Cardioliogy. Computing in Cardioliogy Conference (CinC), 07-10 Sep 2014, Cambridge, MA (USA). Institute of Electrical and Electronics Engineers (IEEE) , 201 - 204. ISBN 978-1-4799-4346-3

Abbot, P., Abe, J., Alcock, J. et al. (134 more authors) (2011) Inclusive fitness theory and eusociality. Nature, 471 (7339). E1-E4. ISSN 0028-0836

Abd Yusof, NF and Lin, C orcid.org/0000-0003-3454-2468 (2021) Routine outcome monitoring in psychotherapy treatment using sentiment-topic modelling approach. International Journal on Advanced Science, Engineering and Information Technology, 11 (6). 2428. ISSN 2088-5334

Abdelrahman, N.Y. orcid.org/0000-0003-3198-3225, Vasilaki, E. orcid.org/0000-0003-3705-7070 and Lin, A.C. orcid.org/0000-0001-6310-9765 (2021) Compensatory variability in network parameters enhances memory performance in the Drosophila mushroom body. bioRxiv. (Submitted)

Acerbi, A., Lampos, V., Garnett, P. et al. (1 more author) (2013) The expression of emotions in 20th century books. PLOS ONE, 8 (3). e59030. ISSN 1932-6203

Adler, I., Köhler, N. and Peng, P. orcid.org/0000-0003-2700-5699 (2021) On testability of first-order properties in bounded-degree graphs. In: SODA '21: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms. SODA '21: ACM-SIAM Symposium on Discrete Algorithms, 10-13 Jan 2021, Virginia, Virtual Event. Association for Computing Machinery (ACM) , pp. 1578-1597. ISBN 9781611976465

Adler, I., Köhler, N. and Peng, P. orcid.org/0000-0003-2700-5699 (2021) GSF-locality is not sufficient for proximity-oblivious testing. In: Kabanets, V., (ed.) 36th Computational Complexity Conference (CCC 2021). Computational Complexity Conference (CCC), 20-22 Jul 2021, Virtual conference (Toronto, Ontario, Cananda). Leibniz International Proceedings in Informatics (LIPIcs), 200 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 34:1-34:27. ISBN 9783959771931

Adra, S., Sun, T., MacNeil, S. et al. (2 more authors) (2010) Development of a Three Dimensional Multiscale Computational Model of the Human Epidermis. PLoS One, 5 (1). e8511. ISSN 1932-6203

Adra, S.F., Dodd, T.J., Griffin, I.A. et al. (1 more author) (2009) Convergence acceleration operator for multiobjective optimization. IEEE Transactions on Evolutionary Computation, 13 (4). pp. 825-847. ISSN 1089-778X

Afaq, H., Grytsan, A., Damian, D. et al. (1 more author) (2019) In-silico modelling of oesophageal tissue for treatment of long gap oesophageal atresia. In: Virtual Physiological Human conference (VPH) 2018. Virtual Physiological Human conference (VPH) 2018, 05-07 Sep 2018, Zaragoza, Spain. . (Unpublished)

Aggarwal, S., Kumar, N. and Gope, P. orcid.org/0000-0003-2786-0273 (2021) An efficient blockchain-based authentication scheme for energy-trading in V2G networks. IEEE Transactions on Industrial Informatics, 17 (10). pp. 6971-6980. ISSN 1551-3203

Aglietti, V., Damoulas, T., Álvarez, M.A. et al. (1 more author) (2020) Multi-task causal learning with Gaussian processes. arXiv. (Submitted)

Agudelo-España, D., Álvarez, M.A. orcid.org/0000-0002-8980-4472 and Orozco, Á.A. (2017) Definition and composition of motor primitives using latent force models and hidden Markov models. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. CIARP 2016. Iberoamerican Congress on Pattern Recognition, 08/11/2016-11/11/2016, Lima, Peru. Lecture Notes in Computer Science, 10125 . Springer Verlag , pp. 249-256. ISBN 9783319522760

Aker, A., Derczynski, L. and Bontcheva, K. (2017) Simple open stance classification for rumour analysis. In: Mitkov, R. and Angelova, G., (eds.) Proceedings of the International Conference Recent Advances in Natural Language Processing, RANLP 2017. Recent Advances in Natural Language Processing, RANLP 2017, 04-06 Sep 2017, Varna, Bulgaria. INCOMA Ltd. , pp. 31-39.

Aker, A., Kurtic, E., Balamurali, A.R. et al. (4 more authors) (2016) A Graph-Based Approach to Topic Clustering for Online Comments to News. In: Ferro, N., Crestani, F., Moens, M.-F., Mothe, J., Silvestri, F., Di Nunzio, G.M., Hauff, C. and Silvello, G., (eds.) Advances in Information Retrieval. ECIR 2016: European Conference on Information Retrieval, 20-23 Mar 2016, Padua, Italy. Lecture Notes in Computer Science, 9626 . Springer International Publishing , pp. 15-29. ISBN 978-3-319-30671-1

Aker, A., Kurtic, E., Hepple, M. et al. (2 more authors) (2015) Comment-to-Article Linking in the Online News Domain. In: Proceedings of the SIGDIAL 2015 Conference. SigDial, 02-04 Sep 2015, Prague. ACL , pp. 245-249.

Aker, A., Paramita, M., Kurtic, E. et al. (4 more authors) (2016) Automatic Label Generation for News Comment Clusters. In: Proceedings of the 9th International Natural Language Generation Conference. 9th International Natural Language Generation Conference (INLG 2016), 05-08 Sep 2016, Edinburgh, UK. Association for Computational Linguistics , pp. 61-69.

Aker, A., Paramita, M.L., Barker, E. et al. (1 more author) (2014) Bootstrapping Term Extractors for Multiple Languages. In: Proceedings of the 9th LREC Conference. LREC 2014, Ninth International Conference on Language Resources and Evaluation, 26-31 May 2014, Reykjavik, Iceland. , pp. 483-489.

Aker, A., Paramita, M.L., Pinnis, M. et al. (1 more author) (2014) Bilingual dictionaries for all EU languages. In: LREC 2014 Proceedings. LREC 2014, 26-31 May 2014, Reykjavik, Iceland. European Language Resources Association , pp. 2839-2845. ISBN 978-2-9517408-8-4

Aker, A., Petrak, J. and Sabbah, F. (2017) An extensible multilingual open source lemmatizer. In: Proceedings of the International Conference Recent Advances in Natural Language Processing, RANLP 2017. International Conference Recent Advances in Natural Language Processing, 02-08 Sep 2017, Varna, Bulgaria. ACL , pp. 40-45.

Aker, A., Petrak, J. and Sabbah, F. (2017) An extensible multilingual open source lemmatizer. In: Proceedings of the International Conference Recent Advances in Natural Language Processing. International Conference Recent Advances in Natural Language Processing, RANLP 2017, 02-08 Sep 2017, Varna, Bulgaria. INCOMA Ltd , pp. 40-45. ISBN 9789544520489

Aker, A., Sliwa, A., Dalvi, F. et al. (1 more author) (2019) Rumour verification through recurring information and an inner-attention mechanism. Online Social Networks and Media, 13.

Al Ghamdi, M. and Gotoh, Y. orcid.org/0000-0003-1668-0867 (2018) Graph-based correlated topic model for trajectory clustering in crowded videos. In: 2018 IEEE Winter Conference on Applications of Computer Vision. 2018 IEEE Winter Conference on Applications of Computer Vision, 12-15 Mar 2018, Lake Tahoe, NV/CA. IEEE , pp. 1029-1037. ISBN 978-1-5386-4886-5

Al Ghamdi, M. and Gotoh, Y. orcid.org/0000-0003-1668-0867 (2020) Graph-based topic models for trajectory clustering in crowd videos. Machine Vision and Applications, 31. 39. ISSN 0932-8092

Al Harbi, N. and Gotoh, Y. (2017) Natural language descriptions for human activities in video streams. In: Alonso, J.M., Bugarin, A. and Reiter, E., (eds.) Proceedings of the 10th International Conference on Natural Language Generation. 10th International Conference on Natural Language Generation (INLG2017), 04-07 Sep 2017, Santiago de Compostela, Spain. Association for Computational Linguistics (ACL) , pp. 85-94. ISBN 9781945626524

Al Harbi, N. and Gotoh, Y. (2015) A unified spatio-temporal human body region tracking approach to action recognition. Neurocomputing, 161. 56 - 64. ISSN 0925-2312

Al-Hameed, S. orcid.org/0000-0003-3617-9906, Benaissa, M. orcid.org/0000-0001-7524-9116, Christensen, H. orcid.org/0000-0003-3028-5062 et al. (3 more authors) (2019) A new diagnostic approach for the identification of patients with neurodegenerative cognitive complaints. PLoS ONE, 14 (5). e0217388. ISSN 1932-6203

Al-Khazraji, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2018) A relevance comparison between interval and prefix labelling schemes. In: 2017 International Conference on Engineering and Technology (ICET). International Conference on Engineering and Technology 2017, 21-23 Aug 2017, Antalya, Turkey. IEEE . ISBN 978-1-5386-1948-3

Al-Shareef, S. and Hain, T. orcid.org/0000-0003-0939-3464 (2016) Colloquialising modern standard Arabic text for improved speech recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 08-12 Sep 2016, San Francisco, USA. , pp. 1345-1349.

Al-khazraji, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2018) The Emergence Computation of Overflow in Dynamic XML Tree Based on Prefix and Interval Labelling Schemes. In: 2017 International Conference on Engineering and Technology (ICET). The International Conference on Engineering & Technology 2017, 21-23 Aug 2017, Akdeniz University, Antalya, Turkey. IEEE . ISBN 978-1-5386-1949-0

AlSaleh, M., Moore, R., Christensen, H. et al. (1 more author) (2018) Discriminating between imagined speech and non-speech tasks using EEG. In: 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) , 18-21 Jul 2018, Honolulu, Hawaii. IEEE , pp. 1952-1955. ISBN 978-1-5386-3646-6

AlSaleh, M.M., Arvaneh, M. orcid.org/0000-0002-5124-3497, Christensen, H. orcid.org/0000-0003-3028-5062 et al. (1 more author) (2016) Brain-computer interface technology for speech recognition: A review. In: Proceedings of 2016 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA). 2016 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA), 13-16 Dec 2016, Jeju, South Korea. IEEE , pp. 1-5. ISBN 9781509024018

AlSaleh, M.M.S., Moore, R., Christensen, H. et al. (1 more author) (2019) Examining Temporal Variations in Recognizing Unspoken Words using EEG Signals. In: 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC). 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 07-10 Oct 2018, Miyazaki, Japan. IEEE , pp. 976-981. ISBN 978-1-5386-6650-0

Alabed, S. orcid.org/0000-0002-9960-7587, Alandejani, F., Dwivedi, K. et al. (21 more authors) (2022) Validation of artificial intelligence cardiac MRI measurements: relationship to heart catheterization and mortality prediction. Radiology, 305 (1). ISSN 0033-8419

Alamri, A. and Stevenson, R.M. orcid.org/0000-0002-9483-6006 (2016) A Corpus of Potentially Contradictory Research Claims from Cardiovascular Research Abstracts. Journal of Biomedical Semantics, 7. 36. ISSN 2041-1480

Alandejani, F., Alabed, S. orcid.org/0000-0002-9960-7587, Garg, P. et al. (23 more authors) (2022) Training and clinical testing of artificial intelligence derived right atrial cardiovascular magnetic resonance measurements. Journal of Cardiovascular Magnetic Resonance, 24 (1). 25.

Alberto, I., Hierons, R. orcid.org/0000-0002-4771-1446 and Manuel, N. (2019) Using Squeeziness to test component-based systems defined as Finite State Machines. Information and Software Technology, 112. pp. 132-147. ISSN 0950-5849

Albunian, N., Fraser, G. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2020) Causes and effects of fitness landscapes in unit test generation. In: GECCO 2020: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2020 : Genetic and Evolutionary Computation Conference, 08-12 Jul 2020, Cancún, Mexico. ACM Digital Library , pp. 1204-1212. ISBN 9781450371285

Aleem, S., Sheng, B., Li, P. et al. (2 more authors) (2019) Fast and accurate retinal identification system : using retinal blood vasculature landmarks. IEEE Transactions on Industrial Informatics, 15 (7). pp. 4099-4110. ISSN 1551-3203

Aleem, S., Yang, P. orcid.org/0000-0002-8553-7127, Masood, S. et al. (2 more authors) (2020) An accurate multi-modal biometric identification system for person identification via fusion of face and finger print. World Wide Web, 23 (2). pp. 1299-1317. ISSN 1386-145X

Aletras, N., Baldwin, T., Lau, J. et al. (1 more author) (2015) Evaluating Topic Representations for Exploring Document Collections. Journal of the Association for Information Science and Technology. ISSN 2330-1635

Aletras, N. and Chamberlain, B.P. (2018) Predicting Twitter user socioeconomic attributes with network and language information. In: Proceedings of the 29th ACM Conference on Hypertext and Social Media. 29th ACM Conference on Hypertext and Social Media, 09-12 Jul 2018, Baltimore, MD, USA. ACM , pp. 20-24. ISBN 978-1-4503-5427-1

Aletras, N. orcid.org/0000-0003-4285-1965 and Mittal, A. (2017) Labeling topics with images using a neural network. In: Jose, J.M., Hauff, C., Altıngovde, I.S., Song, D., Albakour, D., Watt, S. and Tait, J., (eds.) Advances in Information Retrieval : 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings. 39th European Conference on IR Research (ECIR 2017), 08-13 Apr 2017, Aberdeen, UK. Lecture Notes in Computer Science (10193). Springer International Publishing , pp. 500-505. ISBN 9783319566078

Algadhy, R., Gotoh, Y. orcid.org/0000-0003-1668-0867 and Maddock, S. (2019) 3D visual speech animation using 2D videos. In: ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP 2019, 12-17 May 2019, Brighton, UK. IEEE , pp. 2367-2371. ISBN 978-1-4799-8131-1

Alghamdi, N., Maddock, S., Barker, J. et al. (1 more author) (2017) The impact of automatic exaggeration of the visual articulatory features of a talker on the intelligibility of spectrally distorted speech. Speech Communication. ISSN 0167-6393

Alghamdi, N., Maddock, S., Marxer, R. et al. (2 more authors) (2018) A corpus of audio-visual Lombard speech with frontal and profile views. Journal of the Acoustical Society of America, 143 (6). pp. 523-529. ISSN 0001-4966

Alharbi, A., Briggs, W. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2018) Retrieving and ranking studies for systematic reviews: University of Sheffield's approach to CLEF eHealth 2018 Task 2. In: Cappellato, L., Ferro, N., Nie, J.-Y. and Soulier, L., (eds.) CEUR Workshop Proceedings. CLEF 2018 - Conference and Labs of the Evaluation Forum, 10-14 Sep 2018, Avignon, France. CEUR Workshop Proceedings .

Alharbi, A. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2017) Ranking abstracts to identify relevant evidence for systematic reviews: The University of Sheffield's approach to CLEF eHealth 2017 Task 2: Working notes for CLEF 2017. In: Cappellato, L., Ferro, N., Goeuriot, L. and Mandl, T., (eds.) CEUR Workshop Proceedings. Conference and Labs of the Evaluation Forum (CLEF 2017), 11-14 Sep 2017, Dublin, Ireland. CEUR .

Alharbi, A. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2019) Ranking studies for systematic reviews using query adaptation : University of Sheffield's approach to CLEF eHealth 2019 task 2 working notes for CLEF 2019. In: Cappellato, L., Ferro, N., Losada, D.E. and Müller, H., (eds.) Working Notes of CLEF 2019 - Conference and Labs of the Evaluation Forum. CLEF 2019 Conference and Labs of the Evaluation Forum, 09-12 Sep 2019, Lugano, Switzerland. CEUR Workshop Proceedings .

Alharbi, A. orcid.org/0000-0001-9327-7284 and Stevenson, R. orcid.org/0000-0002-9483-6006 (2019) Improving ranking for systematic reviews using query adaptation. In: Crestani, F., Braschler, M., Savoy, J., Rauber, A., Müller, H., Losada, D.E., Bürki, G.H., Cappellato, L. and Ferro, N., (eds.) CLEF 2019 Proceedings : Experimental IR Meets Multilinguality, Multimodality, and Interaction. CLEF 2019: Conference and Labs of the Evaluation Forum, 09-12 Sep 2019, Lugarno, Switzerland. Lecture Notes in Computer Science (11696). Springer , pp. 141-148. ISBN 9783030285760

Alharbi, A. and Stevenson, R. orcid.org/0000-0002-9483-6006 (2019) A dataset of systematic review updates. In: Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, 21-25 Jul 2019, Paris, France. ACM , pp. 1257-1260. ISBN 978-1-4503-6172-9

Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2017) Detecting stuttering events in transcripts of children’s speech. In: Camelin, N., Estève, Y. and Martín-Vide, C., (eds.) SLSP 2017: Statistical Language and Speech Processing. International Conference on Statistical Language and Speech Processing 2017, 23-25 Oct 2017, Le Mans, France. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10583 (volume 10583). Springer International Publishing , pp. 217-228. ISBN 9783319684550

Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2018) A lightly supervised approach to detect stuttering in children's speech. In: Proceedings of Interspeech 2018. Interspeech 2018, 02-06 Sep 2018, Hyderabad, India. ISCA , pp. 3433-3437.

Alharbi, S., Simons, A.J.H. orcid.org/0000-0002-5925-7148, Brumfitt, S. et al. (1 more author) (2017) Automatic recognition of children’s read speech for stuttering application. In: 6th. Workshop on Child Computer Interaction (WOCCI 2017), eds. K. Evanini, M. Najafian, S. Safavi and K. Berkling. 6th International Workshop on Child Computer Interaction, 13 Nov 2017, Glasgow, UK. International Speech Communication Association (ISCA) , Glasgow , pp. 1-6.

Alharbi, A. and Stevenson, R. orcid.org/0000-0002-9483-6006 (2020) Refining Boolean queries to identify relevant studies for systematic review updates. Journal of the American Medical Informatics Association, 27 (11). pp. 1658-1666. ISSN 1067-5027

Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2020) Sequence labeling to detect stuttering events in read speech. Computer Speech & Language, 62. 101052. ISSN 0885-2308

Alhinti, L., Christensen, H. orcid.org/0000-0003-3028-5062 and Cunningham, S. orcid.org/0000-0001-9418-8726 (2021) Acoustic differences in emotional speech of people with dysarthria. Speech Communication, 126. pp. 44-60. ISSN 0167-6393

Alhinti, L., Cunningham, S. orcid.org/0000-0001-9418-8726 and Christensen, H. orcid.org/0000-0003-3028-5062 (2020) Recognising emotions in dysarthric speech using typical speech data. In: Meng, H., Xu, B. and Zheng, T., (eds.) Interspeech 2020. Interspeech 2020, 25-29 Oct 2020, Shanghai, China. ISCA - International Speech Communication Association , pp. 4821-4825.

Ali, R., Sheng, B., Li, P. et al. (6 more authors) (2021) Optic disc and cup segmentation through fuzzy broad learning system for glaucoma screening. IEEE Transactions on Industrial Informatics, 17 (4). pp. 2476-2487. ISSN 1551-3203

Ali, S.G., Ali, R., Bin, S. et al. (8 more authors) (2022) Experimental protocol designed to employ Nd:YAG laser surgery for anterior chamber glaucoma detection via UBM. IET Image Processing, 16 (8). pp. 2171-2179. ISSN 1751-9659

Alkhaldi, N. and Winkler, J.R. (2015) Blind image deconvolution using the Sylvester resultant matrix. In: 2015 IEEE International Conference on Image Processing (ICIP). IEEE International Conference on Image Processing, 27-30 Sep 2015, Quebec City, Canada. IEEE , pp. 784-788.

Allen, T., Parvanov, A., Knight, S. et al. (1 more author) (2015) Using sketching to control heterogeneous groups. In: Borgo, R. and Turkay, C., (eds.) Computer Graphics and Visual Computing (CGVC). The Eurographics Association , 87 - 91. ISBN 978-3-905674-94-1

Alokaili, A., Aletras, N. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2020) Automatic generation of topic labels. In: Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '20), 25-30 Jul 2020, Online conference. SIGIR Proceedings . Association for Computing Machinery (ACM) , pp. 1965-1968. ISBN 9781450380164

Alokaili, A., Aletras, N. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2019) Re-ranking words to improve interpretability of automatically generated topics. In: Dobnik, S., Chatzikyriakidis, S. and Demberg, V., (eds.) Proceedings of 13th International Conference on Computational Semantics (IWCS). 13th International Conference on Computational Semantics (IWCS) , 23-27 May 2019, Gothenburg, Sweden. Association for Computational Linguistics (ACL) , pp. 43-54. ISBN 9781950737192

Alromih, A. orcid.org/0000-0002-5382-421X, Clark, J.A. and Gope, P. (2021) Electricity theft detection in the presence of prosumers using a cluster-based multi-feature detection model. In: 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm). 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), 25-28 Oct 2021, Aachen, Germany. Institute of Electrical and Electronics Engineers . ISBN 9781665430449

Alsharif, A., Kapfhammer, G.M. and McMinn, P.S. orcid.org/0000-0001-9137-7433 (2018) DOMINO: Fast and effective test data generation for relational database schemas. In: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). International Conference on Software Testing, Validation And Verification (ICST 2018), 09-13 Apr 2018, Västerås, Sweden. IEEE , pp. 12-22. ISBN 978-1-5386-5012-7

Alsharif, A., Kapfhammer, G.M. and McMinn, P. orcid.org/0000-0001-9137-7433 (2019) What factors make SQL test cases understandable for testers? A human study of automated test data generation techniques. In: 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME), 30 Sep - 04 Oct 2019, Cleveland, OH, USA. IEEE , pp. 437-448. ISBN 9781728130958

Alsubai, S. and North, S. orcid.org/0000-0002-8478-8960 (2020) Solving the intractable problem: optimal performance for worst case scenarios in XML twig pattern matching. IEEE Access, 8. pp. 192569-192586. ISSN 2169-3536

Alsubai, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2017) A Prime Number Approach to Matching an XML Twig Pattern including Parent-Child Edges. In: Proceedings of the 13th International Conference on Web Information Systems and Technologies. 13th International Conference on Web Information Systems and Technologies, 25-27 Apr 2017, Porto, Portugal. SCITEPRESS , pp. 204-211. ISBN 978-989-758-246-2

Alsubai, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2018) TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers. In: Web Information Systems and Technologies. 13th International Conference on Web Information Systems and Technologies, 25-27 Apr 2017, Porto, Portugal. Lecture Notes in Business Information Processing, 322 . Springer Verlag . ISBN 978-3-319-93526-3

Althomali, I., Kapfhammer, G.M. and McMinn, P. orcid.org/0000-0001-9137-7433 (2021) Automated visual classification of DOM-based presentation failure reports for responsive web pages. Software Testing, Verification and Reliability, 31 (4). e1756. ISSN 0960-0833

Althunayyan, M., Saxena, N., Li, S. et al. (1 more author) (2022) Evaluation of black-box web application security scanners in detecting injection vulnerabilities. Electronics, 11 (13). 2049.

Alva-Manchego, F. orcid.org/0000-0001-6218-8377, Martin, L., Bordes, A. et al. (3 more authors) (2020) ASSET : a dataset for tuning and evaluation of sentence simplification models with multiple rewriting transformations. arXiv. (Submitted)

Alva-Manchego, F., Martin, L., Scarton, C. et al. (1 more author) (2019) EASSE: easier automatic sentence simplification evaluation. In: Padó,, S. and Huang, R., (eds.) Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP): System Demonstrations. The 2019 Conference on Empirical Methods in Natural Language Processing And the 9th International Joint Conference on Natural Language Processing, 03-07 Nov 2019, Hong Kong, China. Association for Computational Linguistics , pp. 49-54. ISBN 9781950737925

Alva-Manchego, F., Scarton, C. orcid.org/0000-0002-0103-4072 and Specia, L. (2020) Data-driven sentence simplification: Survey and benchmark. Computational Linguistics, 46 (1). pp. 135-187. ISSN 0891-2017

Alva-Manchego, F., Scarton, C. and Specia, L. (2021) The (un)suitability of automatic evaluation metrics for text simplification. Computational Linguistics, 47 (4). pp. 861-889. ISSN 0891-2017

Alvarado, P.A., Torres-Valencia, C.A., Orozco-Gutiérrez, Á. et al. (3 more authors) (2016) Modeling and behavior of the simulation of electric propagation during deep brain stimulation. DYNA (Colombia), 83 (198). pp. 49-58. ISSN 0012-7353

Alvarez, M.A. orcid.org/0000-0002-8980-4472, Luengo, D. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2013) Linear Latent Force Models Using Gaussian Processes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 35 (11). pp. 2693-2705. ISSN 0162-8828

Alvarez, M.A., Rosasco, L. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2012) Kernels for Vector-Valued Functions: a Review. Foundations and Trends® in Machine Learning, 4 (3). pp. 195-266. ISSN 1935-8237

Alvarez Lopez, M.A., Dai, Z. and Lawrence, N.D. (2017) Efficient modeling of latent information in supervised learning using Gaussian processes. In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. and Garnett, R., (eds.) Advances in Neural Information Processing Systems 30 (NIPS 2017) pre-proceedings. Advances in Neural Information Processing Systems (NIPS) 2017, 04-09 Dec 2017, Long Beach, CA. Massachusetts Institute of Technology Press , pp. 5131-5139.

Alvi, F., Stevenson, R.M. orcid.org/0000-0002-9483-6006 and Clough, P. (2017) Plagiarism Detection in Texts Obfuscated with Homoglyphs. In: Jose, J.M., Hauff, C., Altıngovde, I.S., Song, D., Albakour, D., Watt, S. and Tait, J., (eds.) ECIR 2017: Advances in Information Retrieval. 39th European Conference on Information Retrieval, 08-13 Apr 2017, Aberdeen, Scotland . Lecture Notes in Computer Science . Springer, Cham , pp. 669-675. ISBN 978-3-319-56608-5

Alvi, F., Stevenson, R. orcid.org/0000-0002-9483-6006 and Clough, P. (2021) Paraphrase type identification for plagiarism detection using contexts and word embeddings. International Journal of Educational Technology in Higher Education, 18. 42. ISSN 2365-9440

Alzahrani, E., Richmond, P. orcid.org/0000-0002-4657-5518 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) A formula-driven scalable benchmark model for ABM, applied to FLAME GPU. In: Euro-Par 2017: Parallel Processing Workshops. Euro-Par 2017 International Workshops, 28-29 Aug 2017, Santiago de Compostela, Spain. Lecture Notes in Computer Science book series (LNCS) . Springer , pp. 703-714. ISBN 9783319751771

Alzahrani, F., Mirheidari, B., Blackburn, D. orcid.org/0000-0001-8886-1283 et al. (2 more authors) (2021) Eye blink rate based detection of cognitive impairment using in-the-wild data. In: 2021 9th International Conference on Affective Computing and Intelligent Interaction (ACII). 9th International Conference on Affective Computing & Intelligent Interaction (ACII 2021), 28 Sep - 01 Oct 2021, Nara, Japan (virtual conference). Institute of Electrical and Electronics Engineers . ISBN 9781665400206

Anness, A.R., Clark, A., Melhuish, K. et al. (7 more authors) (2022) Maternal hemodynamics and neonatal birth weight in pregnancies complicated by gestational diabetes: new insights from novel causal inference analysis modeling. Ultrasound in Obstetrics & Gynecology, 60 (2). pp. 215-222. ISSN 0960-7692

Aparicio, P. and Watton, P. orcid.org/0000-0002-5531-5953 (2017) Modelling the chemo-mechano-biology of intracranial aneurysm evolution: a patient-specific fluid-solid-growth simulation. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 Apr 2017, Pittsburgh, United States. CMBE , pp. 251-254.

Aparício, P., Thompson, M.S. and Watton, P.N. orcid.org/0000-0002-5531-5953 (2016) A novel chemo–mechano–biological model of arterial tissue growth and remodelling. Journal of Biomechanics, 49 (12). pp. 2321-2330. ISSN 0021-9290

Appleby, P.A., Shabir, S., Southgate, J. et al. (1 more author) (2015) Sources of variability in cytosolic calcium transients triggered by stimulation of homogeneous uro-epithelial cell monolayers. Interface, 12 (105).

Arcuri, A., Campos, J. and Fraser, G. (2016) Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). ICST 2016 : IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, 10/04/2016-15/04/2016, Chicago, Illinois. Institute of Electrical and Electronics Engineers , pp. 401-408. ISBN 978-1-5090-1826-0

Arcuri, A. and Fraser, G. (2016) Java Enterprise Edition Support in Search-Based JUnit Test Generation. In: Deb, K. and Sarro, F., (eds.) Search Based Software Engineering. International Symposium on Search Based Software Engineering, October 8-10, 2016, Raleigh, NC, USA. Lecture Notes in Computer Science, 9962 . Springer , pp. 3-17. ISBN 978-3-319-47105-1

Arcuri, A., Fraser, G. and Just, R. (2017) Private API Access and Functional Mocking in Automated Unit Test Generation. In: Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 13-17 Mar 2017, Tokyo, Japan. IEEE , pp. 126-137. ISBN 10.1109/ICST.2017.19

Arcuschin, I., Ciccaroni, C., Galeotti, J.P. et al. (1 more author) (2022) On the feasibility and challenges of synthesizing executable Espresso tests. In: Garrido, A. and Wong, W.E., (eds.) AST '22: Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test. AST '22: IEEE/ACM 3rd International Conference on Automation of Software Test, 17-18 May 2022, Pittsburgh, PA, USA. Association for Computing Machinery , pp. 92-102. ISBN 9781450392860

Ardin, P., Mangan, M. orcid.org/0000-0002-0293-8874, Wystrach, A. et al. (1 more author) (2015) How variation in head pitch could affect image matching algorithms for ant navigation. Journal of Comparative Physiology A, 201 (6). pp. 585-597. ISSN 0340-7594

Ardin, P., Peng, F., Mangan, M. orcid.org/0000-0002-0293-8874 et al. (2 more authors) (2016) Using an insect mushroom body circuit to encode route memory in complex natural environments. PLoS Computational Biology, 12 (2). e1004683. ISSN 1553-734X

Ardin, P.B., Mangan, M. orcid.org/0000-0002-0293-8874 and Webb, B. (2016) Ant homing ability is not diminished when traveling backwards. Frontiers in Behavioral Neuroscience, 10 (1). 69.

Arthurs, Y., Beeston, A. orcid.org/0000-0003-2796-1947 and Timmers, R. (2018) Perception of isolated chords: Examining frequency of occurrence, instrumental timbre, acoustic descriptors and musical training. Psychology of Music, 46 (5). pp. 662-681. ISSN 0305-7356

Asim, M., Yautsiukhin, A., Brucker, A.D. orcid.org/0000-0002-6355-1200 et al. (3 more authors) (2018) Security policy monitoring of BPMN-based service compositions. Journal of Software: Evolution and Process, 30 (9). e1944. ISSN 2047-7481

Astell, A.J., Andrews, J.A., Bennion, M.R. orcid.org/0000-0003-2318-1468 et al. (1 more author) (2021) Technology for healthy aging and wellbeing : co-producing solutions. Frontiers in Psychology, 12. 745947.

Attas, D., Power, N., Smithies, J. et al. (5 more authors) (2022) Automated detection of the competency of delivering guided self-help for anxiety via speech and language processing. Applied Sciences, 12 (17). 8608. ISSN 2076-3417

Augenstein, I., Derczynski, L. and Bontcheva, K. (2017) Generalisation in named entity recognition: A quantitative analysis. Computer Speech & Language, 44. pp. 61-83. ISSN 0885-2308

Augenstein, I., Maynard, D. and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2016) Distantly Supervised Web Relation Extraction for Knowledge Base Population. Semantic Web Journal. 1049-2260. ISSN 1570-0844

Augenstein, I., Rocktaeschel, T., Vlachos, A. orcid.org/0000-0003-2123-5071 et al. (1 more author) (2016) Stance Detection with Bidirectional Conditional Encoding. In: Proceedings of the Conference on Empirical Methods in Natural Language Processing. Empirical Methods in Natural Language Processing, 01-05 Nov 2016, Austin, Texas, USA. .

Augenstein, I., Rocktäschel, T., Vlachos, A. et al. (1 more author) (2016) Stance detection with bidirectional conditional encoding. In: Su, J., Duh, K. and Carreras, X., (eds.) Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing. 2016 Conference on Empirical Methods in Natural Language Processing, 01-05 Nov 2016, Austin, Texas, USA. ACL , pp. 876-885.

Augenstein, I., Rocktäschel, T., Vlachos, A. orcid.org/0000-0003-2123-5071 et al. (1 more author) (2016) Stance detection with bidirectional conditional encoding. In: Su, J., Duh, K. and Carreras, X., (eds.) Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing. 2016 Conference on Empirical Methods in Natural Language Processing, 01-05 Nov 2016, Austin, Texas, USA. ACL , pp. 876-885. ISBN 978-1-945626-25-8

Augenstein, I., Vlachos, A. and Maynard, D. (2015) Extracting Relations between Non-Standard Entities using Distant Supervision and Imitation Learning. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. UNSPECIFIED, 17-21 Sep 2015, Lisbon, Portugal. Association for Computational Linguistics , 747 - 757.

Avigad, J. orcid.org/0000-0003-1275-315X, Blanchette, J.C., Klein, G. et al. (3 more authors) (2018) Introduction to milestones in interactive theorem proving. Journal of Automated Reasoning, 61 (1-4). pp. 1-8. ISSN 0168-7433

Aziz, W., Dymetman, M. and Specia, L. orcid.org/0000-0002-5495-3128 (2014) Exact decoding for phrase-based statistical machine translation. In: EMNLP 2014 - 2014 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference. EMNLP 2014: Conference on Empirical Methods in Natural Language Processing, 25th –29th October 2014, Doha, Qatar. , pp. 1237-1249. ISBN 9781937284961

Azmoodeh, A., Dehghantanha, A. orcid.org/0000-0002-9294-7554, Conti, M. et al. (1 more author) (2018) Detecting crypto-ransomware in IoT networks based on energy consumption footprint. Journal of Ambient Intelligence and Humanized Computing, 9 (4). pp. 1141-1152. ISSN 1868-5137

B

Baars, A.I., Harman, M., Hassoun, Y. et al. (4 more authors) (2011) Symbolic search-based testing. In: Alexander, P., Pasareanu, C.S. and Hosking, J.G., (eds.) Proceedings of 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 06-10 Nov 2011, Lawrence, KS, USA. IEEE , pp. 53-62. ISBN 978-1-4577-1638-6

Bai, L., Ciravegna, F. orcid.org/0000-0001-5817-4810, Bond, R. et al. (1 more author) (2020) An indoor positioning system using Bluetooth Low Energy. IEEE Access, 8. pp. 136858-136871.

Bai, L., Ireson, N., Mazumdar, S. orcid.org/0000-0002-0748-7638 et al. (1 more author) (2017) Lessons Learned Using Wi-Fi and Bluetooth as Means to Monitor Public Service Usage. In: UbiComp '17 Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers. Pervasive Urban Applications Workshop at International Joint Conference on Pervasive and Ubiquitous Computing, 11-15 Sep 2017, Maui, Hawaii. ACM , pp. 432-440. ISBN 978-1-4503-5190-4

Bai, P., Ge, Y., Liu, F. et al. (1 more author) (2019) Joint interaction with context operation for collaborative filtering. Pattern Recognition, 88. pp. 729-738. ISSN 0031-3203

Bai, P., Milikovic, F., Ge, Y. et al. (3 more authors) (2022) Hierarchical clustering split for low-bias evaluation of drug-target interaction prediction. In: Proceeding of 2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). 2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 09-12 Dec 2021, Houston, TX, USA (Online). Institute of Electrical and Electronics Engineers , 641- 644. ISBN 9781665429825

Bai, P., Miljković, F., John, B. et al. (1 more author) (2023) Interpretable bilinear attention network with domain adaptation improves drug-target prediction. Nature Machine Intelligence. ISSN 2522-5839

Bakir, M.E. orcid.org/0000-0002-3012-8713, Gheorghe, M., Konur, S. et al. (1 more author) (2017) Comparative Analysis of Statistical Model Checking Tools. In: Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. 17th International Conference on Membrane Computing (CMC17), 25/07/2016-29/07/2016, Milan, Italy. Lecture Notes in Computer Science, 10105 . Springer Verlag . ISBN 978-3-319-54071-9

Bakir, M.E., Konur, S., Gheorghe, M. et al. (2 more authors) (2018) Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics, 34 (18). pp. 3187-3195. ISSN 1367-4803

Bakir, M.E. orcid.org/0000-0002-3012-8713 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2016) Selection Criteria for Statistical Model Checking. In: Proceedings of the Workshop on Membrane Computing, WMC 2016. Workshop on Membrane Computing, WMC 2016, 11-15 Jul 2016, Manchester, UK. , Bradford University , pp. 55-57.

Banerjee, A., Ray, S., Vorselaars, B. et al. (5 more authors) (2020) Use of machine learning and artificial intelligence to predict SARS-CoV-2 infection from full blood counts in a population. International Immunopharmacology, 86. 106705. ISSN 1567-5769

Barawi, M.H., Lin, C. orcid.org/0000-0003-3454-2468, Siddharthan, A. et al. (1 more author) (2019) Extractive and abstractive sentence labelling of sentiment-bearing topics. Frontiers of Computer Science. ISSN 2095-2228

Barbero, F. orcid.org/0000-0002-0959-6977 and Yang, F. (2022) Characterizing counterfactuals and dependencies over (generalized) causal teams. Notre Dame Journal of Formal Logic, 63 (3). pp. 301-341. ISSN 0029-4527

Barker, E., Paramita, M.L., Aker, A. et al. (3 more authors) (2016) The SENSEI Annotated Corpus: Human Summaries of Reader Comment Conversations in On-line News. In: Proceedings of the 17th Annual Meeting of the Special Interest Group on Discourse and Dialogue. 17th Annual Meeting of the Special Interest Group on Discourse and Dialogue , 13-15 Sep 2017, Los Angeles, USA. Association for Computational Linguistics , pp. 42-52.

Barker, J., Marxer, R., Vincent, E. et al. (1 more author) (2017) Guest Editorial for the special issue on Multi-Microphone Speech Recognition in Everyday Environments. Computer Speech & Language. ISSN 0885-2308

Barker, J. orcid.org/0000-0002-1684-5660, Marxer, R., Vincent, E. et al. (1 more author) (2016) The third 'CHiME' speech separation and recognition challenge: Analysis and outcomes. Computer Speech and Language. ISSN 0885-2308

Barron, A.B., Gurney, K.N., Meah, L.F.S. et al. (2 more authors) (2015) Decision-making and action selection in insects: inspiration from vertebrate-based theories. Frontiers in Behavioral Neuroscience, 9. 216. ISSN 1662-5153

Barron-Gonzalez, H., Lepora, N.F., Martinez-Hernandez, U. et al. (2 more authors) (2012) Towards a framework for tactile perception in social robotics. In: Prescott, T.J., Lepora, N.F., Mura, A. and Verschure, P.F.M.J., (eds.) Biomimetic and Biohybrid Systems. Living Machines 2012. First International Conference, Living Machines 2012, 09-12 Jul 2012, Barcelona, Spain. Lecture Notes in Computer Science (7375). Springer , pp. 335-336. ISBN 9783642315244

Barron-Gonzalez, H. and Prescott, T. orcid.org/0000-0003-4927-5390 (2014) Discrimination of social tactile gestures using biomimetic skin. In: Natraj, A., Cameron, S., Melhuish, C. and Witkowski, M., (eds.) Towards Autonomous Robotic Systems. 14th Annual Conference, TAROS 2013: Towards Autonomous Robotic Systems, 28-30 Aug 2013, Oxford, UK. Lecture Notes in Computer Science (8069). Springer , pp. 46-48. ISBN 9783662436448

Barrows, J., Radu, V. orcid.org/0000-0003-3502-4355, Hill, M. et al. (1 more author) (2022) Active learning with data distribution shift detection for updating localization systems. In: Proceedings of 2021 International Conference on Indoor Positioning and Indoor Navigation (IPIN). 2021 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 29 Nov - 02 Dec 2021, Lloret de Mar, Spain. IEEE . ISBN 9781665447348

Bauereiß, T., Gritti, A.P., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2017) CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees. In: 2017 IEEE Symposium on Security and Privacy (SP). 38th IEEE Symposium on Security and Privacy (SP), 22-26 May 2017, San Jose, CA, USA. IEEE , pp. 729-748. ISBN 9781509055340

Bauereiß, T., Pesenti Gritti, A., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4). pp. 113-139. ISSN 0168-7433

Bauereiß, T., Pesenti Gritti, A., Popescu, A. et al. (1 more author) (2016) CoSMed: a confidentiality-verified social media platform. In: Blanchette, J.C. and Merz, S., (eds.) Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. 7th International Conference, ITP 2016, 22-25 Aug 2016, Nancy, France. Lecture Notes in Computer Science, LNTCS,volume 9807 . Springer International Publishing , pp. 87-106. ISBN 9783319431437

Baxter, J., Cavalcanti, A., Gazda, M. et al. (1 more author) (2022) Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic. ISSN 1529-3785 (In Press)

Beavis, L., O'Malley, R., Mirheidari, B. et al. (2 more authors) (2021) How can automated linguistic analysis help to discern functional cognitive disorder from healthy controls and mild cognitive impairment? In: BJPsych Open. RCPsych Virtual International Congress 2021, 21-24 Jun 2021, Virtual. Royal College of Psychiatrists , S7-S7.

Beck, D., Cohn, T., Hardmeier, C. et al. (1 more author) (2015) Learning Structural Kernels for Natural Language Processing. In: Transactions of the Association for Computational Linguistics. Conference on Empirical Methods in Natural Language Processing, September 17–21, 2015, Lisbon, Portugal. Association for Computational Linguistics , pp. 461-473.

Beck, D., Cohn, T. and Specia, L. orcid.org/0000-0002-5495-3128 (2014) Joint Emotion Analysis via Multi-task Gaussian Processes. In: Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP). EMNLP, October 25-29, 2014, Doha, Qatar. ACL , pp. 1798-1803.

Becker, N., Müller, J.D.L., Rodrigues, J.D.C. et al. (2 more authors) (2014) Estratégias de evocação lexical com critério semântico em adultos após acidente vascular cerebral no hemisfério direito / Semantic verbal fluency strategies in patients after a right-hemisphere stroke. letrônica: Revista Digital do PPGL, 7 (1). pp. 325-347. ISSN 1984-4301

Beeston, A.V., Brown, G.J. and Watkins, A.J. (2014) Perceptual compensation for the effects of reverberation on consonant identification: Evidence from studies with monaural stimuli. Journal of the Acoustical Society of America, 136 (6). 3072 - 3084. ISSN 0001-4966

Belguith, S., Kaaniche, N. orcid.org/0000-0002-1045-6445 and Hammoudeh, M. (2019) Analysis of attribute‐based cryptographic techniques and their application to protect cloud services. Transactions on Emerging Telecommunications Technologies. ISSN 2161-3915

Belguith, S., Kaaniche, N. orcid.org/0000-0002-1045-6445, Hammoudeh, M. et al. (1 more author) (2020) PROUD : verifiable privacy-preserving outsourced attribute based signcryption supporting access policy update for cloud assisted IoT applications. Future Generation Computer Systems, 111. pp. 899-918. ISSN 0167-739X

Belguith, S., Kaaniche, N. orcid.org/0000-0002-1045-6445, Laurent, M. et al. (2 more authors) (2020) Accountable privacy preserving attribute based framework for authenticated encrypted access in clouds. Journal of Parallel and Distributed Computing, 135. pp. 1-20. ISSN 0743-7315

Belguith, S., Kaaniche, N. orcid.org/0000-0002-1045-6445 and Russello, G. (2020) CUPS : secure opportunistic cloud of things framework based on attribute-based encryption scheme supporting access policy update. Security and Privacy, 3 (4). e85. ISSN 2475-6725

Bell, P., Gales, M., Hain, T. orcid.org/0000-0003-0939-3464 et al. (8 more authors) (2015) The MGB Challenge: Evaluating Multi-genre Broadcast Media Recognition. In: Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 13-17 Dec 2015, Scottsdale, AZ. IEEE , pp. 687-693. ISBN 978-1-4799-7291-3

Ben Othmane, L., Bodden, E., Chehrazi, G. et al. (2 more authors) (2016) Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering. ISSN 2364-1185

Benemerito, I. orcid.org/0000-0002-4942-7852, Griffiths, W., Allsopp, J. et al. (7 more authors) (2021) Delivering computationally-intensive digital patient applications to the clinic: An exemplar solution to predict femoral bone strength from CT data. Computer Methods and Programs in Biomedicine, 208. 106200. ISSN 0169-2607

Bennion, M.R., Hardy, G., Moore, R.K. orcid.org/0000-0003-0065-3311 et al. (1 more author) (2017) E-therapies in England for stress, anxiety or depression: what is being used in the NHS? A survey of mental health services. BMJ Open, 7 (1). e014844.

Bennion, M.R. orcid.org/0000-0003-2318-1468, Hardy, G.E., Moore, R.K. orcid.org/0000-0003-0065-3311 et al. (2 more authors) (2020) Usability, acceptability and effectiveness of web-based conversational agents to facilitate problem solving in older adults : controlled study. Journal of Medical Internet Research, 22 (5). e16794.

Bennion, M. orcid.org/0000-0003-2318-1468, Baker, F. and Burrell, J. (2022) An unguided web-based resilience training programme for NHS keyworkers during the COVID-19 pandemic: a usability study. Journal of Technology in Behavioral Science, 7 (2). pp. 125-129. ISSN 2366-5963

Benson, A.P., Clayton, R.H., Holden, A.V. et al. (2 more authors) (2006) Endogenous driving and synchronization in cardiac and uterine virtual tissues: bifurcations and local coupling. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 364 (1842). pp. 1313-1327. ISSN 1471-2962

Beohar, H. orcid.org/0000-0001-5256-1334 and Cuijpers, P.J.L. (2014) Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A. pp. 45-69. ISSN 0167-6423

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2020) Conditional transition systems with upgrades. Science of Computer Programming, 186. 102320. ISSN 0167-6423

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (2 more authors) (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14 (1). ISSN 1860-5974

Beohar, H. orcid.org/0000-0001-5256-1334 and Küpper, S. (2019) Bisimulation maps in presheaf categories. In: König, B., (ed.) Electronic Notes in Theoretical Computer Science. 35th Conference on the Mathematical Foundations of Programming Semantics, 04-07 Jun 2019, London, UK. Elsevier , pp. 5-24.

Beohar, H. orcid.org/0000-0001-5256-1334 and Küpper, S. (2017) On path-based coalgebras and weak notions of bisimulation. In: Bonchi, F. and König, B., (eds.) 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 14-16 Jun 2017, Ljubljana, Slovenia. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik , 6:1-6:17. ISBN 9783959770330

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2022) Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic. In: Hansen, H.H. and Zanasi, F., (eds.) Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), 02-03 Apr 2022, Munich, Germany. Lecture Notes in Computer Science (13225). Springer Nature , pp. 1-22. ISBN 9783031107351

Berdan, R., Vasilaki, E., Khiat, A. et al. (3 more authors) (2016) Emulating short-term synaptic dynamics with memristive devices. Scientific Reports, 6. 18639. ISSN 2045-2322

Bevan, T., Hornsby, J., Merabet, N. et al. (2 more authors) (2018) A biomechanical model for fibril recruitment: Evaluation in tendons and arteries. Journal of Biomechanics, 74. pp. 192-196. ISSN 0021-9290

Bevan, T., Marabet, N., Hornsby, J. et al. (2 more authors) (2018) A biomechanical model for fibril recruitment: evaluation in tendons and arteries. In: Proceedings of the World Congress of Biomechanics 2018. World Congress of Biomechanics 2018, 08-12 Jul 2018, Dublin, Ireland. World Congress of Biomechanics .

Bhagdev, R., Chapman, S., Ciravegna, F. et al. (2 more authors) (2008) Hybrid Search: Effectively Combining Keywords and Semantic Searches. In: European Semantic Web Conference 2008. 5th European Semantic Web Conference, 01-05 Jun 2008, Tenerife (Spain). .

Bharadwaj, S., Bloem, R., Dimitrova, R. et al. (2 more authors) (2019) Synthesis of minimum-cost shields for multi-agent systems. In: 2019 American Control Conference (ACC). 2019 American Control Conference (ACC), 10-12 Jul 2019, Philadelphia, PA, USA. IEEE , pp. 1048-1055. ISBN 9781538679012

Bharadwaj, S., Dimitrova, R. and Topcu, U. (2019) Distributed synthesis of surveillance strategies for mobile sensors. In: 2018 IEEE Conference on Decision and Control (CDC). 2018 IEEE Conference on Decision and Control (CDC), 17-19 Dec 2018, Miami Beach, FL, USA. IEEE , pp. 3336-3342. ISBN 9781538613962

Bharadwaj, S., Dimitrova, R. and Topcu, U. (2019) Synthesis of surveillance strategies via belief abstraction. In: 2018 IEEE Conference on Decision and Control (CDC). 2018 IEEE Conference on Decision and Control (CDC), 17-19 Dec 2018, Miami Beach, FL, USA. IEEE , pp. 4159-4166. ISBN 9781538613962

Bharadwaj, S., Vinod, A.P., Dimitrova, R. et al. (1 more author) (2020) Near-optimal reactive synthesis incorporating runtime information. In: Proceedings of 2020 IEEE International Conference on Robotics and Automation (ICRA). 2020 IEEE International Conference on Robotics and Automation (ICRA), 31 May - 31 Aug 2020, Paris, France. IEEE , pp. 10342-10348. ISBN 9781728173962

Bhogal, P., Pederzani, G., Grytsan, A. et al. (7 more authors) (2019) The unexplained success of vasospasm treatments: insights using mechanistic mathematical modeling. Clinical Neuroradiology, 29 (4). pp. 763-774. ISSN 1869-1439

Bhogal, P. orcid.org/0000-0002-5514-5237, Pederzani, G., Grytsan, A. et al. (7 more authors) (2019) The unexplained success of stentplasty vasospasm treatment. Clinical Neuroradiology, 29 (4). pp. 763-774. ISSN 1869-1439

Bibikas, D., Kourtesis, D., Paraskakis, I. et al. (5 more authors) (2008) Organisational Knowledge Management Systems in the Era of Enterprise 2.0: The case of OrganiK. In: Flejter, D., Grzonkowski, S., Kaczmarek, T., Kowalkiewicz, M., Nagle, T. and Parkes, J., (eds.) BIS 2008 Workshops Proceedings. BIS 2008 , 06-07 May 2008, Innsbruck, Austria. CEUR-WS.org , 45 - 53.

Bibikas, D., Kourtesis, D., Paraskakis, I. et al. (5 more authors) (2008) A Sociotechnical Approach to Knowledge Management in the Era of Enterprise 2.0: the Case of OrganiK. Scalable Computing: Practice and Experience, 9 (4). pp. 315-327.

Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974

Bill, R., Brucker, A.D. orcid.org/0000-0002-6355-1200, Gogolla, J.C.M. et al. (2 more authors) (2018) Workshop in OCL and Textual Textual Modelling: Report on Recent Trends and Panel Discussion. In: Seidl, M. and Zschaller, S., (eds.) Software Technologies: Applications and Foundations. STAF 2017. Federation of International Conferences on Software Technologies: Applications and Foundations, 17-21 Jul 2017, Marburg, Germany. Lecture Notes in Computer Science (10748). Springer-Verlag , pp. 297-301. ISBN 978-3-319-74729-3

Binkley, D., Glenn, J., Alsharif, A. et al. (1 more author) (2020) An investigation into the effect of control and data dependence paths on predicate testability. In: Proceedings of 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM). 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM), 28 Sep - 02 Oct 2020, Adelaide, Australia. IEEE , pp. 160-170. ISBN 9781728192499

Blancas, M., Vouloutsi, V., Fernando, S. et al. (5 more authors) (2018) Analyzing children's expectations from robotic companions in educational settings. In: Humanoid Robotics (Humanoids), 2017 IEEE-RAS 17th International Conference on. 2017 IEEE-RAS 17th International Conference on Humanoid Robotics (Humanoids), 15-17 Nov 2017, Birmingham, UK. IEEE , pp. 749-755.

Blanchette, J.C., Gheri, L., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, 3 (POPL). 22. ISSN 2475-1421

Blanchette, J.C., Popescu, A. orcid.org/0000-0001-8747-0619 and Traytel, D. (2015) Foundational extensible corecursion : a proof assistant perspective. In: Fisher, K. and Reppy, J., (eds.) ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. ICFP 2015: 20th ACM SIGPLAN International Conference on Functional Programming, 31 Aug - 02 Sep 2015, Vancouver, BC, Canada. Association for Computing Machinery (ACM) , pp. 192-204. ISBN 9781450336697

Blanchette, J., Böhme, S., Popescu, A. et al. (1 more author) (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4). pp. 1-52. ISSN 1860-5974

Blanchette, J.C., Bouzy, A., Lochbihler, A. et al. (2 more authors) (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: Yang, H., (ed.) Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, 22-29 Apr 2017, Uppsala, Sweden. Lecture Notes in Computer Science, LNTCS,volume 10201 . Springer Berlin Heidelberg , pp. 111-140. ISBN 9783662544334

Blanchette, J.C., Meier, F., Popescu, A. et al. (1 more author) (2017) Foundational nonuniform (Co)datatypes for higher-order logic. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. IEEE . ISBN 9781509030194

Blanchette, J.C., Popescu, A. orcid.org/0000-0001-8747-0619 and Traytel, D. (2015) Foundational extensible corecursion: a proof assistant perspective. ACM SIGPLAN Notices, 50 (9). pp. 192-204. ISSN 0362-1340

Blanchette, J.C., Popescu, A. orcid.org/0000-0001-8747-0619 and Traytel, D. (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433

Blanchette, J.C., Popescu, A. orcid.org/0000-0001-8747-0619 and Traytel, D. (2015) Witnessing (Co)datatypes. In: Vitek, J., (ed.) Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, 11-18 Apr 2015, London, UK. Lecture Notes in Computer Science, 9032 . Springer Berlin , pp. 359-382. ISBN 9783662466681

Blomqvist, E., Maynard, D. orcid.org/0000-0002-1773-7020 and Gangemi, A. (2017) Preface. In: Blomqvist, E., Maynard, D., Gangemi, A., Hoekstra, R., Hitzler, P. and Hartig, O., (eds.) The semantic web: 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II. 14th International Semantic Web Conference, ESWC 2017, 28 May - 01 Jun 2017, Portorož, Slovenia. Lecture Notes in Computer Science, 10250 . Springer , V-VII. ISBN 9783319584508

Boiten, E. and Derrick, J. (2010) Incompleteness of relational simulations in the blocking paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423

Boito, M.Z., Bérard, A., Villavicencio, A. orcid.org/0000-0002-3731-9168 et al. (1 more author) (2018) Unwritten languages demand attention too! Word discovery with encoder-decoder models. In: 2017 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 16-20 Dec 2017, Okinawa, Japan. IEEE , pp. 458-465. ISBN 9781509047895

Boito, M.Z., Villavicencio, A. orcid.org/0000-0002-3731-9168 and Besacier, L. (2019) Empirical evaluation of sequence-to-sequence models for word discovery in low-resource settings. In: Kubin, G. and Kačič, Z., (eds.) Interspeech 2019 - Proceedings of the Annual Conference of the International Speech Communication Association. Interspeech 2019, 15-19 Sep 2019, Graz, Austria. Interspeech Proceedings . International Speech Communication Association (ISCA) , pp. 2688-2692.

Boito, M.Z., Villavicencio, A. orcid.org/0000-0002-3731-9168 and Besacier, L. (2020) Investigating language impact in bilingual approaches for computational language documentation. In: 1st Joint Workshop of Spoken Language Technologies for Under-resourced languages and Collaboration and Computing for Under-Resourced Languages (SLTU-CCURL 2020). 1st Joint SLTU and CCURL Workshop 2020, 10-12 May 2020, Marseille, France. Special Interest Group: Under-resourced Languages (SIGUL) . (In Press)

Boito, M.Z., Villavicencio, A. orcid.org/0000-0002-3731-9168 and Besacier, L. (2021) Investigating alignment interpretability for low-resource NMT. Machine Translation, 34. pp. 305-323. ISSN 0922-6567

Boito, M.Z., Yusuf, B., Ondel, L. et al. (2 more authors) (2022) Unsupervised word segmentation from discrete speech units in low-resource settings. In: Melero, M., Sakti, S. and Soria, C., (eds.) Proceedings of the LREC 2022 Workshop of the 1st Annual Meeting of the ELRA/ISCA Special Interest Group on Under-Resourced Languages (SIGUL 2022). 1st Annual Meeting of the ELRA/ISCA Special Interest Group on Under-Resourced Languages (SIGUL 2022), 24-25 Jun 2022, Marseille, France. European Language Resources Association (ELRA) , pp. 1-9. ISBN 9791095546917

Bokota, G., Magnowska, M., Kusmierczyk, T. et al. (3 more authors) (2016) Computational Approach to Dendritic Spine Taxonomy and Shape Transition Analysis. Frontiers in Computational Neuroscience, 10. 140. ISSN 1662-5188

Bontcheva, K. orcid.org/0000-0001-6152-9600, Gorrell, G. orcid.org/0000-0002-8324-606X and Wessels, B. (2013) Social media and information overload : survey results. arXiv. (Submitted)

Bontcheva, K. orcid.org/0000-0001-6152-9600, Roberts, I., Derczynski, L. et al. (1 more author) (2014) The GATE Crowdsourcing Plugin: Crowdsourcing Annotated Corpora Made Easy. In: Proceedings of the Demonstrations at the 14th Conference of the European Chapter of the Association for Computational Linguistics. The 14th Conference of the European Chapter of the Association for Computational Linguistics , 26-30 Apr 2014, Gothenburg, Sweden. Association for Computational Linguistics .

Bontcheva, K. L., Cunningham, H., Aswani, N. et al. (4 more authors) (2013) GATE Teamware: A Web-based Collaborative Text Annotation Framework. Language Resources and Evaluation.

Boorman, L.W. orcid.org/0000-0001-5189-0232, Damianou, A.C., Martinez-Hernandez, U. et al. (1 more author) (2015) Extending a Hippocampal Model for Navigation Around a Maze Generated from Real-World Data. In: Biomimetic and Biohybrid Systems. 4th International Conference, Living Machines 2015, July 28 - 31, 2015, Barcelona, Spain. Lecture Notes in Computer Science, 9222 . Springer International Publishing , pp. 441-452. ISBN 978-3-319-22978-2

Booton, R.D., Iwasa, Y., Marshall, J.A.R. et al. (1 more author) (2017) Stress-Mediated Allee Effects Can Cause the Sudden Collapse of Honey Bee Colonies. Journal of Theoretical Biology. ISSN 0022-5193

Booton, R.D., Yamaguchi, R., Marshall, J.A.R. orcid.org/0000-0002-1506-167X et al. (2 more authors) (2018) Interactions between immunotoxicants and parasite stress: Implications for host health. Journal of Theoretical Biology, 445. pp. 120-127. ISSN 0022-5193

Bosch, J.J., Marxer, R. and Gómez, E. (2016) Evaluation and combination of pitch estimation methods for melody extraction in symphonic classical music. Journal of New Music Research. pp. 1-17. ISSN 0929-8215

Bose, T., Bottom, F., Reina, A. et al. (1 more author) (2020) Frequency-sensitivity and magnitude-sensitivity in decision-making : predictions of a theoretical model-based study. Computational Brain & Behavior, 3 (1). pp. 66-85. ISSN 2522-0861

Bose, T., Reina, A. and Marshall, J.A.R. orcid.org/0000-0002-1506-167X (2017) Collective decision-making. Current Opinion in Behavioral Sciences, 16. pp. 30-34. ISSN 2352-1546

Bose, T., Reina, A. and Marshall, J.A.R. orcid.org/0000-0002-1506-167X (2019) Inhibition and excitation shape activity selection: Effect of oscillations in a decision-making circuit. Neural Computation, 31 (5). pp. 870-896. ISSN 0899-7667

Bose, T., Pirrone, A., Reina, A. et al. (1 more author) (2020) Comparison of magnitude-sensitive sequential sampling models in a simulation-based study. Journal of Mathematical Psychology, 94. 102298. ISSN 0022-2496

Boss, A.N., Banerjee, A., Mamalakis, M. orcid.org/0000-0002-4276-4119 et al. (8 more authors) (2022) Development of a mortality prediction model in hospitalised SARS-CoV-2 positive patients based on routine kidney biomarkers. International Journal of Molecular Sciences, 23 (13). 7260. ISSN 1422-0067

Bossek, J., Neumann, F., Peng, P. et al. (1 more author) (2020) More effective randomized search heuristics for graph coloring through dynamic optimization. In: GECCO 2020: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2020 : Genetic and Evolutionary Computation Conference, 08-12 Jul 2020, Cancún, Mexico. ACM Digital Library , pp. 1277-1285. ISBN 9781450371285

Bossek, J., Neumann, F., Peng, P. orcid.org/0000-0003-2700-5699 et al. (1 more author) (2019) Runtime analysis of randomized search heuristics for dynamic graph coloring. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 19). Genetic and Evolutionary Computation Conference (GECCO '19), 13-17 Jul 2019, Prague, Czech Republic. ACM , pp. 1443-1451. ISBN 9781450361118

Bossek, J. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2019) Time complexity analysis of RLS and (1 + 1) EA for the edge coloring problem. In: FOGA '19- Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 27-29 Aug 2019, Potsdam, Germany. ACM Digital Library . ISBN 9781450362542

Bossek, J., Neumann, F., Peng, P. orcid.org/0000-0003-2700-5699 et al. (1 more author) (2021) Time complexity analysis of randomized search heuristics for the dynamic graph coloring problem. Algorithmica, 83. pp. 3148-3179. ISSN 0178-4617

Bourne, M., Winkler, J. and Su, Y. (2020) The computation of multiple roots of a Bernstein basis polynomial. SIAM Journal on Scientific Computing, 42 (1). A452-A476. ISSN 1064-8275

Bourne, M., Winkler, J.R. and Su, Y. (2020) The computation of the degree of the greatest common divisor of three Bernstein basis polynomials. Journal of Computational and Applied Mathematics, 373. 112373. ISSN 0377-0427

Bourne, M., Winkler, J.R. and Su, Y. (2017) A non-linear structure-preserving matrix method for the computation of the coefficients of an approximate greatest common divisor of two Bernstein polynomials. Journal of Computational and Applied Mathematics, 320. pp. 221-241. ISSN 0377-0427

Bourne, M., Winkler, J.R. and Yi, S. (2017) The computation of the degree of an approximate greatest common divisor of two Bernstein polynomials. Applied Numerical Mathematics, 111. pp. 17-35. ISSN 0168-9274

Bourne, M., Winkler, J. and Yi, S. (2021) The computation of the greatest common divisor of three bivariate Bernstein polynomials defined in a rectangular domain. Applied Numerical Mathematics, 166. pp. 348-368. ISSN 0168-9274

Bourne, M., Winkler, J.R. and Su, Y. (2021) An approximate factorisation of three bivariate Bernstein basis polynomials defined in a triangular domain. Journal of Computational and Applied Mathematics, 390. 113381. ISSN 0377-0427

Brewster, C., Jupp, S., Luciano, J. et al. (3 more authors) (2009) Issues in learning an ontology from text. BMC Bioinformatics, 10 (Suppl ). S1. ISSN 1471-2105

Brockington, A., Ning, K., Heath, P.R. et al. (7 more authors) (2013) Unravelling the enigma of selective vulnerability in neurodegeneration: motor neurons resistant to degeneration in ALS show distinct gene expression characteristics and decreased susceptibility to excitotoxicity. Acta Neuropathologica, 125 (1). pp. 95-109. ISSN 0001-6322

Broughton, S.J., Jalal, M.A. and Moore, R.K. orcid.org/0000-0003-0065-3311 (2021) Investigating deep neural structures and their interpretability in the domain of voice conversion. In: Heřmanský, H., Černocký, H., Burget, L., Lamel, L., Scharenborg, O. and Motlicek, P., (eds.) Interspeech 2021. Interspeech 2021, 30 Aug - 03 Sep 2021, Brno, Czechia. ISCA - International Speech Communication Association , pp. 806-810.

Brucker, A.D. orcid.org/0000-0002-6355-1200, Brügger, L., Feliachi, A. et al. (6 more authors) (2016) HOL-TestGen 1.8.0 User Guide. Report. CNRS – Université de Paris Sud , Orsay, France.

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2010) HOL-TestGen 1.5.0 User Guide. Report. ETH Zurich. (Unpublished)

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2012) HOL-TestGen 1.7.0 User Guide. Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)

Brucker, A.D., Brügger, L. and Wolff, B. (2015) Formal Firewall Conformance Testing: An Application of Test and Proof Techniques. Software Testing, Verification and Reliability, 25 (1). pp. 34-71. ISSN 0960-0833

Brucker, A.D., Brügger, L. and Wolff, B. (2017) Formal Network Models and Their Application to Firewall Policies (UPF-Firewall). Archive of Formal Proofs. ISSN 2150-914X

Brucker, A.D. orcid.org/0000-0002-6355-1200, Cabot, J., Daniel, G. et al. (6 more authors) (2016) Recent Developments in OCL and Textual Modelling. In: Brucker, A.D., Cabot, J. and Herrera, AS.-B., (eds.) Proceedings of International Workshop on OCL and Textual Modeling (OCL 2016). 16th International Workshop on OCL and Textual Modeling, October 2, 2016, Saint-Malo, France. CEUR-WS.org , pp. 157-165.

Brucker, A.D., Doser, J. and Wolff, B. (2006) A Model Transformation Semantics and Analysis Methodology for SecureUML. Technical Report. ETH Technical Report (529). ETH, Department of Computer Science , Zurich.

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) A Formal Semantics of the Core DOM in Isabelle/HOL. In: WWW '18 Companion Proceedings of the The Web Conference 2018. The Web Conference 2018, 23-27 Apr 2018, Lyon, France. International World Wide Web Conferences Steering Committee , pp. 741-749. ISBN 978-1-4503-5640-4

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) Formalizing (web) standards: an application of test and proof. In: Dubois, C. and Wolff, B., (eds.) Tests and Proofs. 12th International Conference, TAP 2018, 27-29 Jun 2018, Toulouse, France. Lecture Notes in Computer Science, 10889 . Springer-Verlag , pp. 159-166. ISBN 978-3-319-92994-1

Brucker, A.D. and Herzberg, M. (2016) On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova Nation. In: Caballero, J. and Bodden, E., (eds.) Engineering Secure Software and Systems. ESSoS 2016, 06-08 Apr 2016, London, UK. Lecture Notes in Computer Science, 9639 . Springer International Publishing , pp. 72-88. ISBN 978-3-642-11746-6

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) A formal model of the Document Object Model. Archive of Formal Proofs. ISSN 2150-914X

Brucker, A.D., Longuet, D., Tuong, F. et al. (1 more author) (2013) On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version). Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)

Brucker, A.D. and Mödersheim, S.A. (2009) Integrating Automated and Interactive Protocol Verification (Extended Version). Report. IBM Research Zurich. (Unpublished)

Brucker, A.D., Rittinger, F. and Wolff, B. (2002) A CVS-Server Security Architecture — Concepts and Formal Analysis. Technical Report. Technical Report (182). Albert-Ludwigs-Universität Freiburg , Freiburg.

Brucker, A.D., Tuong, F. and Wolff, B. (2015) Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Report. LRI, Univ Paris Sud, CNRS, Centrale Supélec, Université Paris-Saclay, France. (Unpublished)

Brucker, A.D. and Wolff, B. (2001) Checking OCL Constraints in Distributed Systems Using J2EE/EJB. Technical Report. Technical Report (157). Albert-Ludwigs-Universität Freiburg , Freiburg.

Brucker, A.D. and Wolff, B. (2006) The HOL-OCL Book. Technical Report. ETH, Department of Computer Science , Zurich.

Brucker, A.D. and Wolff, B. (2005) HOL-TestGen 1.0.0 User Guide. Technical Report. Information Security, ETH-Zentrum , Zurich.

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Wolff, B. (2016) Monadic Sequence Testing and Explicit Test-Refinements. In: Aichernig, B.K. and Furia, C.A., (eds.) TAP 2016: Tests and Proofs. 10th International Conference, TAP 2016, Held as Part of STAF 2016, July 5-7, 2016, Vienna, Austria. Lecture Notes in Computer Science, 9762 . Springer, Cham , pp. 17-36. ISBN 978-3-642-38915-3

Brucker, A.D. and Wolff, B. (2002) A Note on Design Decisions of a Formalization of the OCL. Technical Report. Technical Report (168). Institut für Informatik University of Freiburg , Freiburg.

Brucker, A.D. and Wolff, B. (2004) Symbolic Test Case Generation for Primitive Recursive Functions. Technical Report. ETH technical report (449). ETH, Department of Computer Science , Zurich.

Brucker, A.D. orcid.org/0000-0002-6355-1200, Zhou, B., Malmignati, F. et al. (2 more authors) (2017) Modelling, Validating, and Ranking of Secure Service Compositions. Software: Practice and Expierence (SPE). ISSN 0038-0644

Brunet, P., Pous, D. and Struth, G. (2017) On decidability of concurrent Kleene algebra. In: Meyer, R. and Nestmann, U., (eds.) LIPIcs. 28th International Conference on Concurrency Theory (CONCUR 2017) , 05-08 Sep 2018, Berlin, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959770484

Buchbinder, N., Coester, C. orcid.org/0000-0003-3744-0977 and Naor, J. (2023) Online k-taxi via Double Coverage and time-reverse primal-dual. Mathematical Programming, 197 (2). pp. 499-527. ISSN 0025-5610

Buehlmann, C., Mangan, M. orcid.org/0000-0002-0293-8874 and Graham, P. (2020) Multimodal interactions in insect navigation. Animal Cognition, 23 (6). pp. 1129-1141. ISSN 1435-9448

Burg, S.L. orcid.org/0000-0001-7870-9843, Washington, A.L., Villanova, J. et al. (8 more authors) (2020) X-ray nano-tomography of complete scales from the ultra-white beetles Lepidiota stigma and Cyphochilus. Scientific Data, 7 (1). 163. ISSN 2052-4463

Buxton, D.R. orcid.org/0000-0001-5735-5927, Kerdegari, H., Mokaram, S. et al. (2 more authors) (2019) A window into the robot ‘mind’ : using a graphical real-time display to provide transparency of function in a brain-based robot. In: Martinez-Hernandez, U., Vouloutsi, V., Mura, A., Mangan, M. and Asada, M., (eds.) Biomimetic and Biohybrid Systems. 8th International Conference, Living Machines 2019, 09-12 Jul 2019, Nara, Japan. Springer International Publishing , pp. 316-320. ISBN 9783030247409

Bäckström, C., Jonsson, P. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2018) Novel Structural Parameters for Acyclic Planning Using Tree Embeddings. In: Lang, J., (ed.) International Joint Conferences on Artificial Intelligence Organization. International Joint Conferences on Artificial Intelligence Organization 2018, 13-19 Jul 2018, Stockholm. IJCAI , pp. 4653-4659. ISBN 978-0-9992411-2-7

C

Cabirol, A. orcid.org/0000-0001-9376-1826, Cope, A.J. orcid.org/0000-0001-6042-1542, Barron, A.B. et al. (1 more author) (2018) Relationship between brain plasticity, learning and foraging performance in honey bees. PLoS One, 13 (4). e0196749. ISSN 1932-6203

Caglayan, O., Madhyastha, P., Specia, L. et al. (1 more author) (2019) Probing the need for visual context in multimodal machine translation. In: Burstein, J., Doran, C. and Solorio, T., (eds.) Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers). 2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics, 02-07 Jun 2019, Minneapolis, MN, USA. Association for Computational Linguistics , pp. 4159-4170.

Callison-Burch, C., Koehn, P., Monz, C. et al. (3 more authors) (2012) Findings of the 2012 Workshop on Statistical Machine Translation. In: Proceedings of the Seventh Workshop on Statistical Machine Translation. 7th Workshop on Statistical Machine Translation, 07-08 Jun 2012, Montreal, Canada. Association for Computational Linguistics (ACL) , pp. 10-51. ISBN 9781937284206

Camastra, F. and Filippone, M. (2009) A comparative evaluation of nonlinear dynamics methods for time series prediction. Neural Computing and Applications, 18 (8). pp. 1021-1029. ISSN 0941-0643

Cameron, D., Fernando, S., Collins, E. et al. (5 more authors) (2015) Presence of life-like robot expressions influences children's enjoyment of human-robot interactions in the field. In: Proceedings of the AISB Convention 2015. 4th International Symposium on New Frontiers in Human-Robot Interaction, 21.04.2015 - 22.04.2015, Canterbury, UK. The Society for the Study of Artificial Intelligence and Simulation of Behaviour .

Cameron, D. orcid.org/0000-0001-8923-5591, Fernando, S., Collins, E. et al. (4 more authors) (2016) Impact of robot responsiveness and adult involvement on children's social behaviours in human-robot interaction. arXiv. (Submitted)

Cameron, D., Fernando, S., Millings, A. et al. (3 more authors) (2015) Children's Age Influences Their Perceptions of a Humanoid Robot as Being Like a Person or Machine. In: Biomimetic and Biohybrid Systems. 4th International Conference, Living Machines 2015, July 28 - 31, 2015, Barcelona, Spain. Lecture Notes in Computer Science, 9222 . Springer Verlag , pp. 348-353. ISBN 978-3-319-22978-2

Cameron, D. orcid.org/0000-0001-8923-5591, Millings, A. orcid.org/0000-0002-7849-6048, Fernando, S. et al. (5 more authors) (2018) The effects of robot facial emotional expressions and gender on child-robot interaction in a field study. Connection Science. ISSN 0954-0091

Camilleri, D., Boorman, L. orcid.org/0000-0001-5189-0232, Martinez, U. et al. (2 more authors) (2016) A bioinspired approach to vision. In: Alboul, L., Damian, D. and Aitken, J., (eds.) Towards Autonomous Robotic Systems. TAROS 2016: 17th Annual Conference Towards Autonomous Robotic Systems, 26 Jun - 01 Jul 2016, Sheffield, UK. Lecture Notes in Computer Science, 9716 . Springer, Cham , pp. 40-52. ISBN 9783319403786

Camilleri, D., Damianou, A., Jackson, H. et al. (2 more authors) (2016) iCub visual memory inspector: Visualising the iCub’s thoughts. In: Biomimetic and Biohybrid Systems. 5th International Conference, Living Machines 2016, July 19-22, 2016, Edinburgh, UK. Lecture Notes in Computer Science, 9793 . Springer International Publishing , pp. 48-57. ISBN 9783319424163

Camilleri, D. and Prescott, T. orcid.org/0000-0003-4927-5390 (2017) Analysing the limitations of deep learning for developmental robotics. In: Biomimetic and Biohybrid Systems. 6th International Conference, Living Machines 2017, July 26–28, 2017, Stanford, CA, USA. Lecture Notes in Computer Science (10384 ). Springer , pp. 86-94. ISBN 9783319635361

Camilleri, D. and Prescott, T. orcid.org/0000-0003-4927-5390 (2018) Living in a machine: Experiencing the world through a robotic avatar. In: Vouloutsi, V., Halloy, J., Mura, A., Mangan, M., Lepora, N., Prescott, T. and Verschure, P., (eds.) Biomimetic and Biohybrid Systems. 7th International Conference, Living Machines 2018, 17-20 Jul 2018, Paris, France. Lecture Notes in Computer Science, 10928 . Springer Verlag , pp. 64-72. ISBN 9783319959719

Camilleri, D. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2018) Action recognition with unsynchronised multi-sensory data. In: 2017 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics (ICDL-EpiRob). 2017 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics (ICDL-EpiRob), 18-21 Sep 2017, Lisbon, Portugal. IEEE , pp. 53-59. ISBN 9781538637166

Camilleri, D., Szollosy, M. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2020) Teleport -- variable autonomy across platforms. In: Belpaeme, T., Young, J., Gunes, H. and Riek, L.D., (eds.) HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. 2020 ACM/IEEE International Conference on Human-Robot Interaction - HRI'20, 23 Mar 2020, Cambridge, UK (cancelled). Association for Computing Machinery (ACM) , p. 70. ISBN 9781450370578

Cano, A.E., Mazumdar, S. and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2014) Social influence analysis in microblogging platforms - A topic-sensitive based approach. Semantic Web, 5 (5). pp. 357-372. ISSN 1570-0844

Cao, B., Kang, X., Zhao, J. et al. (3 more authors) (2018) Differential evolution-based 3-D directional wireless sensor network deployment optimization. IEEE Internet of Things Journal, 5 (5). pp. 3594-3605.

Cao, B., Zhao, J., Yang, P. orcid.org/0000-0002-8553-7127 et al. (4 more authors) (2020) Multi-objective 3D topology optimization of next generation wireless data center network. IEEE Transactions on Industrial Informatics, 16 (5). pp. 3597-3605. ISSN 1551-3203

Cao, B., Zhao, J., Yang, P. orcid.org/0000-0002-8553-7127 et al. (6 more authors) (2018) Distributed parallel cooperative coevolutionary multi-objective large-scale immune algorithm for deployment of wireless sensor networks. Future Generation Computer Systems, 82. pp. 256-267. ISSN 0167-739X

Cao, B., Zhao, J., Yang, P. orcid.org/0000-0002-8553-7127 et al. (3 more authors) (2018) 3-D multiobjective deployment of an industrial wireless sensor network for maritime applications utilizing a distributed parallel algorithm. IEEE Transactions on Industrial Informatics, 14 (12). pp. 5487-5495. ISSN 1551-3203

Cao, B., Zhao, J., Yang, P. et al. (7 more authors) (2019) Multiobjective feature selection for microarray data via distributed parallel algorithms. Future Generation Computer Systems, 100. pp. 952-981. ISSN 0167-739X

Cao, B., Zhao, J., Yang, P. orcid.org/0000-0002-8553-7127 et al. (3 more authors) (2019) 3-D deployment optimization for heterogeneous wireless directional sensor networks on smart city. IEEE Transactions on Industrial Informatics, 15 (3). pp. 1798-1808. ISSN 1551-3203

Cao, B., Fan, S., Zhao, J. et al. (3 more authors) (2020) Quantum-enhanced multiobjective large-scale optimization via parallelism. Swarm and Evolutionary Computation, 57. 100697. ISSN 2210-6502

Cao, H., Si, C., Sun, Q. et al. (3 more authors) (2022) ABCAttack : a gradient-free optimization black-box attack for fooling deep image classifiers. Entropy, 24 (3). 412.

Cardona, H.D.V., Alvarez, M.A. and Orozco, A.A. (2015) Generalized Wishart processes for interpolation over diffusion tensor fields. In: Advances in Visual Computing. 11th International Symposium, ISVC 2015, December 14-16, 2015, Las Vegas, NV, USA. Lecture Notes in Computer Science (9475). Springer , pp. 499-508. ISBN 978-3-319-27862-9

Casanueva, I., Hain, T. orcid.org/0000-0003-0939-3464 and Green, P. (2016) Improving generalisation to new speakers in spoken dialogue state tracking. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 08-12 Sep 2016, San Francisco, USA. , pp. 2726-2730.

Casanueva, I., Hain, T., Nicolao, M. et al. (1 more author) (2016) Using phone features to improve dialogue state tracking generalisation to unseen states. In: Proceeding of SIGDIAL 2016. The 17th Annual SIGdial Meeting on Discourse and Dialogue, 13-15 Sep 2016, Los Angeles, USA. . ISBN 978-1-945626-23-4

Cash, H. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2019) Improving the visual comfort of virtual reality telepresence for robotics. In: Salichs, M.A., Ge, S.S., Barakova, E.I., Cabibihan, J.-J., Wagner, A.R., Castro-González, A. and He, H., (eds.) Social Robotics. ICSR 2019: International Conference on Social Robotics, 26-29 Nov 2019, Madrid, Spain. Lecture Notes in Computer Science (11876). Springer International Publishing , pp. 697-706. ISBN 9783030358877

Caspar, L. orcid.org/0000-0002-8518-9433 and Moore, R.K. orcid.org/0000-0003-0065-3311 (2017) PrimEmo : a neural implementation of survival circuits supporting primitive emotions. In: Bryson, J., De Vos, M. and Padget, J., (eds.) Proceedings of AISB Annual Convention 2017. AISB Convention : Society with AI, 18-22 Apr 2017, Bath, UK. The Society for the study of Artificial Intelligence and Simulation of Behaviour , pp. 173-180.

Cassey, T.C., Evens, D.R., Bogacz, R. et al. (2 more authors) (2013) Adaptive Sampling of Information in Perceptual Decision-Making. PLOS ONE, 8 (11). e78993.

Cauchi, B., Siedenburg, K., Santos, J.F. et al. (3 more authors) (2019) Non-intrusive speech quality prediction using modulation energies and LSTM-network. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 27 (7). pp. 1151-1163. ISSN 2329-9290

Cavalcanti, A., Baxter, J., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2019) Testing robots using CSP. In: Beyer, D. and Keller, C., (eds.) 13th International Conference on Tests and Proofs (TAP 2019). 13th International Conference on Tests and Proofs, 09-11 Oct 2019, Porto, Portugal. Lecture Notes in Computer Science, 11823 . Springer , pp. 21-38. ISBN 9783030311568

Cavalcanti, A., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic, 21 (3). 24. ISSN 1529-3785

Cernak, M., Nöth, E., Rudzicz, F. et al. (11 more authors) (2017) On the impact of non-modal phonation on phonological features. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 05-09 Mar 2017, New Orleans, LA, USA. IEEE , pp. 5090-5094. ISBN 9781509041176

Cernak, M., Orozco-Arroyave, J.R., Rudzicz, F. et al. (3 more authors) (2017) Characterisation of voice quality of Parkinson’s disease using differential phonological posterior features. Computer Speech & Language, 46. pp. 196-208. ISSN 0885-2308

Cerqueira, F.R., Ferreira, R.S., Oliveira, A.P. et al. (4 more authors) (2012) MUMAL: multivariate analysis in shotgun proteomics using machine learning techniques. BMC Genomics, 13 Sup. S4. ISSN 1471-2164

Chalkidis, I., Androutsopoulos, I. and Aletras, N. (2019) Neural legal judgment prediction in English. In: Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics. 57th Annual Meeting of the Association for Computational Linguistics, 28 Jul - 02 Aug 2019, Florence, Italy. ACL , pp. 4317-4323.

Chalkidis, I., Fergadiotis, M., Kotitsas, S. et al. (3 more authors) (2020) An empirical study on large-scale multi-label text classification including few and zero-shot labels. arXiv. (Submitted)

Chalkidis, I., Fergadiotis, M., Malakasiotis, P. et al. (2 more authors) (2020) LEGAL-BERT : The Muppets straight out of law school. arXiv. (Submitted)

Chalkidis, I., Fergadiotis, E., Malakasiotis, P. et al. (2 more authors) (2019) Extreme multi-label legal text classification: a case study in EU legislation. In: Proceedings of the Natural Legal Language Processing Workshop 2019. Natural Legal Language Processing Workshop 2019, 07 Jun 2019, Minneapolis, Minnesota, USA. Association for Computational Linguistics , pp. 78-87. ISBN 9781950737031

Chalkidis, I., Fergadiotis, M., Tsarapatsanis, D. et al. (3 more authors) (2021) Paragraph-level rationale extraction through regularization : a case study on European Court of Human Rights cases. arXiv. (Submitted)

Chalkidis, I., Jana, A., Hartung, D. et al. (4 more authors) (2021) LexGLUE : a benchmark dataset for legal language understanding in English. arXiv. (Submitted)

Chambers, J.M. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2010) Response times for visually guided saccades in persons with Parkinson's disease : a meta-analytic review. Neuropsychologia, 48 (4). pp. 887-899. ISSN 0028-3932

Chandrasekhar, A., Marshall, J.A.R. orcid.org/0000-0002-1506-167X, Austin, C. et al. (2 more authors) (2021) Better tired than lost: turtle ant trail networks favor coherence over short edges. PLoS Computational Biology, 17 (10). e1009523. ISSN 1553-734X

Chang, E.T., Strong, M. orcid.org/0000-0003-1486-8233 and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2015) Correction: Bayesian Sensitivity Analysis of a Cardiac Cell Model Using a Gaussian Process Emulator. PLoS One, 10 (8). e0137004. ISSN 1932-6203

Chang, E.T.Y., Coveney, S. and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2017) Variance Based Sensitivity Analysis of IKrIKr in a Model of the Human Atrial Action Potential Using Gaussian Process Emulators. In: Pop, M. and Wright, G., (eds.) Functional Imaging and Modelling of the Heart 2017, Proceedings. 9th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2017 , June 11-13, 2017, Toronto, ON, Canada. Lecture Notes in Computer Science, 10263 (10263). Springer, Cham , pp. 249-259. ISBN 9783319594477

Chang, E.T.Y., Lin, Y.T., Galla, T. et al. (2 more authors) (2016) A Stochastic Individual-Based Model of the Progression of Atrial Fibrillation in Individuals and Populations. PLoS ONE, 11 (4). e0152349. ISSN 1932-6203

Chang, E.T.Y. and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2016) Uncertainty and sensitivity analysis of the Courtemanche-Ramirez-Nattel human atrial cell model using Gaussian Process emulators. In: 2015 Computing in Cardiology Conference (CinC). 2015 Computing in Cardiology Conference (CinC), 06-09 Sep 2015, 2015 Computing in Cardiology Conference (CinC). IEEE , pp. 857-860. ISBN 9781509006854

Charlton, J. orcid.org/0000-0001-8402-6723, Gonzalez, L.R.M., Maddock, S. orcid.org/0000-0003-3179-0263 et al. (1 more author) (2019) Fast simulation of crowd collision avoidance. In: Gavrilova, M., Chang, J., Thalmann, N.M., Hitzer, E. and Ishikawa, H., (eds.) Advances in Computer Graphics. 36th Computer Graphics International Conference (CGI 2019), 17-20 Jun 2019, Calgary, AB, Canada. Lecture Notes in Computer Science (11542). Springer , pp. 266-277. ISBN 9783030225131

Charlton, J. orcid.org/0000-0001-8402-6723, Gonzalez, L.R.M., Maddock, S. et al. (1 more author) (2020) Simulating crowds and autonomous vehicles. In: Gavrilova, M.L., Tan, C.J.K., Chang, J. and Thalmann, N.M., (eds.) Transactions on Computational Science XXXVII : Special Issue on Computer Graphics. Lecture Notes in Computer Science (12230). Springer , pp. 129-143. ISBN 9783662619827

Charlton, J.A., Maddock, S. and Richmond, P. (2019) Two-dimensional batch linear programming on the GPU. Journal of Parallel and Distributed Computing, 126. pp. 152-160. ISSN 0743-7315

Cheah, L.A., Gilbert, J.M., Gonzalez, J.A. et al. (4 more authors) (2017) Towards an intraoral-based silent speech restoration system for post-laryngectomy voice replacement. In: Biomedical Engineering Systems and Technologies. BIOSTEC 2016 9th International Joint Conference on Biomedical Engineering Systems and Technologies, 21-23 Feb 2016, Rome. https://doi.org/10.1007/978-3-319-54717-6, 690 . , pp. 22-38. ISBN 9783319547169

Cheema, M., Nazir, A., Yang, P. orcid.org/0000-0002-8553-7127 et al. (7 more authors) (2021) Modified GAN-cAED to minimize risk of unintentional liver major vessels cutting by controlled segmentation using CTA/SPET-CT. IEEE Transactions on Industrial Informatics, 17 (12). pp. 7991-8002. ISSN 1551-3203

Chelihi, M.A., Elutilo, A., Ahmed, I. et al. (2 more authors) (2017) An Android Cloud Storage Apps Forensic Taxonomy. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 285-305. ISBN 9780128053034

Chen, F., Zhao, Z., Min, G. et al. (4 more authors) (2018) Speed control of mobile chargers serving wireless rechargeable networks. Future Generation Computer Systems, 80. pp. 242-249. ISSN 0167-739X

Chen, O., Ragni, A. orcid.org/0000-0003-0634-4456, Gales, M. et al. (1 more author) (2018) Active memory networks for language modeling. In: Proceedings of Interspeech 2018. Interspeech 2018, 02-06 Sep 2018, Hyderabad, India. International Speech Communication Association (ISCA) , pp. 3338-3342.

Chen, X., Liu, X., Ragni, A. et al. (2 more authors) (2017) Future word contexts in neural network language models. In: 2017 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). 2017 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 16-20 Dec 2017, Okinawa, Japan. IEEE . ISBN 9781509047895

Chen, X., Liu, X., Ragni, A. et al. (2 more authors) (2018) Future word contexts in neural network language models. In: 2017 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). IEEE Automatic Speech Recognition and Understanding Workshop (ASRU), 16-20 Dec 2017, Okinawa, Japan. IEEE , pp. 97-103. ISBN 9781509047895

Chen, X., Liu, X., Wang, Y. et al. (3 more authors) (2019) Exploiting future word contexts in neural network language models for speech recognition. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 27 (9). pp. 1444-1454. ISSN 2329-9290

Chen, X., Ragni, A., Liu, X. et al. (1 more author) (2017) Investigating bidirectional recurrent neural network language models for speech recognition. In: Proceedings of Interspeech 2017. Interspeech 2017, 20-24 Aug 2017, Stockholm, Sweden. International Speech Communication Association (ISCA) , pp. 269-273.

Chen, X., Ragni, A. orcid.org/0000-0003-0634-4456, Vasilakes, J. et al. (3 more authors) (2017) Recurrent neural network language models for keyword search. In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 05-09 Mar 2017, New Orleans, LA, USA. IEEE , pp. 5775-5779. ISBN 9781509041183

Chen, M. and Hain, T. orcid.org/0000-0003-0939-3464 (2020) Unsupervised acoustic unit representation learning for voice conversion using WaveNet auto-encoders. In: Meng, H., Xu, B. and Zheng, T., (eds.) Interspeech 2020. Interspeech 2020, 25-29 Oct 2020, Shanghai, China. ISCA - International Speech Communication Association , pp. 4866-4870.

Chen, M., Shi, Y. and Hain, T. orcid.org/0000-0003-0939-3464 (2021) Towards low-resource StarGAN voice conversion using weight adaptive instance normalization. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 06-11 Jun 2021, Toronto, ON, Canada. Institute of Electrical and Electronics Engineers . ISBN 9781728176062

Chen, P., Wang, R. and Yang, P. orcid.org/0000-0002-8553-7127 (2023) Editorial: deep learning in crop diseases and insect pests. Frontiers in Plant Science, 14. 1145458. ISSN 1664-462X

Chen, T., Lin, C. orcid.org/0000-0003-3454-2468, Huang, H. et al. (2 more authors) (2022) EtriCA: Event-triggered context-aware story generation augmented by cross attention. In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), 07-11 Dec 2022, Abu Dhabi. Association for Computational Linguistics . (In Press)

Chen, Y., Mensah, S. orcid.org/0000-0003-0779-5574, Ma, F. et al. (2 more authors) (2021) Collaborative filtering grounded on knowledge graphs. Pattern Recognition Letters, 151. pp. 55-61. ISSN 0167-8655

Chen, Z., Chen, Y., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2020) Four-valued monitorability of ω-regular languages. In: Lin, S.-W., Hou, Z. and Mahoney, B., (eds.) Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), 01-03 Mar 2021, Singapore. Lecture Notes in Computer Science (12531). Springer International Publishing , pp. 198-214. ISBN 9783030634056

Cheng, F., Birder, L., Kullman, F.A. et al. (5 more authors) (2017) Layer dependent role of collagen recruitment during loading of the rat bladder wall. Biomechanics and Modeling in Mechanobiology. ISSN 1617-7959

Cheng, F., Birder, L., Watton, P. orcid.org/0000-0002-5531-5953 et al. (1 more author) (2019) Modeling adaptive remodeling of the bladder wall during aging. In: Proceedings of the 2019 Summer Biomechanics, Bioengineering, and Biotransport Conference. Summer Biomechanics, Bioengineering and Biotransport Conference, 25-28 Jun 2019, Seven Springs, PA, USA. SB3C Foundation, Inc , pp. 415-416. ISBN 9780578512341

Cheng, F., Robertson, A.M., Birder, L. et al. (4 more authors) (2017) An experimental approach for understanding the layer dependent role of collagen recruitment during loading in the rat bladder wall. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 Apr 2017, Pittsburgh, United States. CMBE , pp. 396-399. ISBN 978-0-9562914-4-8

Cheng, F., Watton, P.N. orcid.org/0000-0002-5531-5953, Pederzani, G. et al. (6 more authors) (2022) A constrained mixture-micturition-growth (CMMG) model of the urinary bladder: Application to partial bladder outlet obstruction (BOO). Journal of the Mechanical Behavior of Biomedical Materials, 134. 105337. ISSN 1751-6161

Cheng, Y., Li, S., Liu, B. et al. (4 more authors) (2021) Guiding the growth : difficulty-controllable question generation through step-by-step rewriting. In: Zong, C., Xia, F. and Navigli, R., (eds.) Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing. 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (ACL-IJCNLP 2021), 01-06 Aug 2021, Bangkok, Thailand (virtual conference). Association for Computational Linguistics (ACL) , pp. 5968-5978. ISBN 9781954085527

Child, N., Clayton, R.H. orcid.org/0000-0002-8438-7518, Roney, C.R. et al. (13 more authors) (2018) Unraveling the underlying arrhythmia mechanism in persistent atrial fibrillation: Results from the STARLIGHT study. Circulation: Arrhythmia and Electrophysiology, 11 (6). e005897. ISSN 1941-3149

Chimeh, M.K., Heywood, P., Pennisi, M. et al. (2 more authors) (2019) Parallel pair-wise interaction for multi-agent immune systems modelling. In: 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 03-06 Dec 2018, Madrid, Spain. IEEE , pp. 1367-1373. ISBN 9781538654897

Chimeh, M.K. and Richmond, P. orcid.org/0000-0002-4657-5518 (2018) Simulating heterogeneous behaviours in complex systems on GPUs. Simulation Modelling Practice and Theory, 83. pp. 3-17. ISSN 1569-190X

Chisholm, R., Maddock, S. orcid.org/0000-0003-3179-0263 and Richmond, P. (2020) Improved GPU near neighbours performance for multi-agent simulations. Journal of Parallel and Distributed Computing, 137. pp. 53-64. ISSN 0743-7315

Chisholm, R. orcid.org/0000-0003-3379-9042, Richmond, P. and Maddock, S. (2017) A Standardised Benchmark for Assessing the Performance of Fixed Radius Near Neighbours. In: Euro-Par 2016: Parallel Processing Workshops. The 4th Workshop on Parallel and Distributed Agent-Based Simulations (PADABS), 22-26 Aug 2016, Grenoble, France. Springer, Cham , pp. 311-321. ISBN 978-3-319-58942-8

Chistikov, D., Dimitrova, R. and Majumdar, R. (2015) Approximate counting in SMT and value estimation for probabilistic programs. In: Baier, C. and Tinelli, C., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015. Tools and Algorithms for the Construction and Analysis of Systems, 11-18 Apr 2015, London, UK. Lecture Notes in Computer Science (9035). Springer , pp. 320-334. ISBN 9783662466803

Chistikov, D., Dimitrova, R. and Majumdar, R. (2017) Approximate counting in SMT and value estimation for probabilistic programs. Acta Informatica, 54 (8). pp. 729-764. ISSN 0001-5903

Choudhary, A., Saha, A. orcid.org/0000-0002-1685-4057, Krueger, S. et al. (4 more authors) (2021) Weak-winner phase synchronization: a curious case of weak interactions. Physical Review Research, 3 (2). 023144. ISSN 2643-1564

Christopher, L., Choo, K.-K.R. and Dehghantanha, A. (2017) Honeypots for employee information security awareness and education training: A conceptual EASY training model. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 111-129. ISBN 978-0-12-805303-4

Chrysostomou, G. and Aletras, N. orcid.org/0000-0003-4285-1965 (2021) Enjoy the salience: towards better transformer-based faithful explanations with word salience. arXiv. (Submitted)

Chrysostomou, G. and Aletras, N. orcid.org/0000-0003-4285-1965 (2021) Improving the faithfulness of attention-based explanations with task-specific information for text classification. arXiv. (Submitted)

Chrysostomou, G. and Aletras, N. orcid.org/0000-0003-4285-1965 (2021) Variable instance-level explainability for text classification. arXiv. (Submitted)

Ciravegna, F. orcid.org/0000-0001-5817-4810, Gao, J., Ingram, C. et al. (3 more authors) (2018) Mapping mobility to support crisis management. In: ISCRAM 2018 Conference Proceedings. 15th Annual Conference for Information Systems for Crisis Response and Management, 20-23 May 2018, Rochester NY, USA. Rochester Institute of Technology , pp. 305-316. ISBN 978-0-692-12760-5

Ciravegna, F. orcid.org/0000-0001-5817-4810, Gao, J., Ireson, N. et al. (3 more authors) (2019) Active 10: Brisk walking to support regular physical activity. In: Proceedings of 13th EAI International Conference on Pervasive Computing Technologies for Healthcare. PervasiveHealth 2019, 20-23 May 2019, Trento, Italy. ACM , pp. 11-20. ISBN 978-1-4503-6126-2

Ciravegna, F. orcid.org/0000-0001-5817-4810, Mazumdar, S., Ireson, N. et al. (1 more author) (2016) Seeing through the Eyes of the Citizens during Emergencies. In: The 12th International Conference on Information Systems for Crisis Response and Management. 12th International Conference on Information Systems for Crisis Response and Management, 23-25 May 2016, Rio de Janeiro, Brazil. International Association for Information Systems for Crisis Response and Management .

Ciravegna, F. orcid.org/0000-0001-5817-4810, Jones, N., Lanfranchi, V. orcid.org/0000-0003-3148-2535 et al. (7 more authors) (2019) A digital system supporting effective remote multi-agency home visits. In: Desideri, L., de Witte, L., Chattat, R. and Hoogerwerf, E.-J., (eds.) Technology and Disability. AAATE 2019 - Global Challenges in Assistive Technology: Research, Policy & Practice, 27-30 Aug 2019, Bologna, Italy. IOS Press , S184.

Clark, D., Hierons, R. orcid.org/0000-0002-4771-1446 and Patel, K. (2019) Normalised squeeziness and failed error propagation. Information Processing Letters, 149. pp. 6-9. ISSN 0020-0190

Clark, A., Walkinshaw, N. and Hierons, R. orcid.org/0000-0002-4771-1446 (2021) Test case generation for agent-based models : a systematic literature review. Information and Software Technology, 135. 106567. ISSN 0950-5849

Clark, A.G., Foster, M., Walkinshaw, N. et al. (1 more author) (2022) Metamorphic testing with causal graphs. In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST) 2023. 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023, 16-20 Apr 2023, Dublin, Ireland. Institute of Electrical and Electronics Engineers (IEEE) . (In Press)

Clayton, R.H and Holden, A.V (2004) Filament behavior in a computational model of ventricular fibrillation in the canine heart. IEEE Transactions on Biomedical Engineering Bme, 51 (1). pp. 28-34. ISSN 0018-9294

Clayton, R.H. orcid.org/0000-0002-8438-7518 (2018) Dispersion of Recovery and Vulnerability to Re-entry in a Model of Human Atrial Tissue With Simulated Diffuse and Focal Patterns of Fibrosis. Frontiers in Physiology, 9. 1052.

Clayton, R.H. (2009) Influence of cardiac tissue anisotropy on re-entrant activation in computational models of ventricular fibrillation. Physica D-Nonlinear Phenomena, 238 (11-12). pp. 951-961. ISSN 0167-2789

Clayton, R.H. orcid.org/0000-0002-8438-7518, Aboelkassem, Y., Cantwell, C.D. et al. (8 more authors) (2020) An audit of uncertainty in multi-scale cardiac electrophysiology models. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 378 (2173). 20190335. ISSN 1364-503X

Clayton, R.H. and Holden, A.V. (2005) Dispersion of cardiac action potential duration and the initiation of re-entry: A computational study. Biomedical Engineering Online, 4 (11). ISSN 1475-925X

Clayton, R.H. and Taggart, P. (2005) Regional differences in APD restitution can initiate wavebreak and re-entry in cardiac tissue: A computational study. BioMedical Engineering OnLine, 4 (54). ISSN 1475-925X

Clayton, R.H. orcid.org/0000-0002-8438-7518 and Bishop, M.J. (2015) Computational models of ventricular arrhythmia mechanisms: recent developments and future prospects. Drug Discovery Today: Disease Models, 14. pp. 17-22. ISSN 1740-6757

Clegg, B., North, S. orcid.org/0000-0002-8478-8960, McMinn, P. orcid.org/0000-0001-9137-7433 et al. (1 more author) (2019) Simulating student mistakes to evaluate the fairness of automated grading. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 25-31 May 2019, Montreal, QC, Canada. IEEE , pp. 121-125. ISBN 9781728110011

Clegg, B., Villa-Uriol, M.-C., McMinn, P. et al. (1 more author) (2021) Gradeer : an open-source modular hybrid grader. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE 21), 25-28 May 2021, Virtual conference. IEEE (Institute of Electrical and Electronics Engineers) , pp. 60-65. ISBN 9781665401388

Clopath, C., Ziegler, L., Vasilaki, E. orcid.org/0000-0003-3705-7070 et al. (2 more authors) (2008) Tag-Trigger-Consolidation: A Model of Early and Late Long-Term-Potentiation and Depression. PLoS Computational Biology, 4 (12). e1000248. ISSN 1553-734X

Close, G. orcid.org/0000-0002-9478-5421, Hain, T. orcid.org/0000-0003-0939-3464 and Goetze, S. orcid.org/0000-0003-1044-7343 (2022) MetricGAN+/-: increasing robustness of noise reduction on unseen data. In: Proceedings of 2022 30th European Signal Processing Conference (EUSIPCO). 2022 30th European Signal Processing Conference (EUSIPCO), 29 Aug - 02 Sep 2022, Belgrade, Serbia. Institute of Electrical and Electronics Engineers (IEEE) , Belgrade, Serbia , pp. 165-169. ISBN 9781665467995

Close, G., Hollands, S., Hain, T. et al. (1 more author) (2022) Non-intrusive speech intelligibility estimated by metric prediction for hearing impaired individuals for the clarity prediction challenge 1. In: Interspeech 2022 - 23rd Annual Conference of the International Speech Communication Association. Interspeech 2022 - Human and Humanizing Speech Technology, 18-22 Sep 2022, Incheon, Korea. International Speech Communication Association , pp. 3483-3487.

Clough, P., Gaizauskas, R., Piao, S.S.L. et al. (1 more author) (2002) METER: MEasuring TExt Reuse. In: Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics. ACL-02, 07-12 Jul 2002, Philadelphia. ACL , 152 - 159.

Clough, P., Gaizauskas, R.J. and Piao, S.S. (2002) Building and annotating a corpus for the study of journalistic text reuse. In: LREC 2002. The Third International Conference on Language Resources and Evaluation, 29-31 May 2002, Las Palmas, Spain. European Language Resources Association , pp. 1678-1685.

Clough, P., Hall, M., Goodale, P. et al. (1 more author) (2015) Supporting Exploration and Use of Digital Cultural Heritage Materials: the PATHS Perspective. In: Ruthven, I. and Chowdhury, G.G., (eds.) Cultural Heritage Information: Access and management. Facet Publishing , 197 - 220. ISBN 9781856049306

Clough, P., Ireson, N. and Marlow, J. (2009) Extending Domain-Specific Resources to Enable Semantic Access to Cultural Heritage Data. Journal of Digital Information, 10 (6).

Clough, P., Sanderson, M., Abouammoh, M. et al. (2 more authors) (2009) Multiple approaches to analysing query diversity. In: Allan, J., Aslam, J.A., Sanderson, M., Zhai, C. and Zobel, J., (eds.) Proceedings of the 32nd International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR 2009, 19-23 Jul 2009, Boston, Massachusetts. ACM , 734 - 735. ISBN 978-1-60558-483-6

Clough, P. and Stevenson, M. (2011) Developing a corpus of plagiarised short answers. Language Resources and Evaluation , 45 (1). pp. 5-24. ISSN 1574-020X

Clough, P. and Stevenson, M. (2003) Evaluating the Contribution of EuroWordNet and Word Sense Disambiguation to Cross-language Information Retrieval. In: Sojka, P., Pala, K., Smrz, P., Fellbaum, C. and Vossen, P., (eds.) Proceedings of GWC 2004: The Second Global Wordnet Conference. The Second Global Wordnet Conference 2004, 20-23 Jan 2004, Brno, Czech Republic. , 97 - 105.

Codreanu, V., Dröge, B., Williams, D. et al. (8 more authors) (2016) Evaluating automatically parallelized versions of the support vector machine. Concurrency and Computation: Practice and Experience, 28 (7). pp. 2274-2294. ISSN 1532-0626

Cogurcu, Y.E., Douthwaite, J.A. and Maddock, S. orcid.org/0000-0003-3179-0263 (2022) Augmented reality for safety zones in human-robot collaboration. In: Turner, M. and Vangorp, P., (eds.) Computer Graphics & Visual Computing (CGVC) 2022. Computer Graphics & Visual Computing (CGVC) 2022, 15-16 Sep 2022, Virtual conference. Eurographics Digital Library .

Cogurcu, Y.E. and Maddock, S. orcid.org/0000-0003-3179-0263 (2021) An augmented reality system for safe human-robot collaboration. In: 4th UK-RAS Conference for PhD Students & Early-Career Researchers on "Robotics at Home". 4th UK-RAS Conference for PhD Students & Early-Career Researchers on “Robotics at Home”, 02 Jun 2021, Virtual conference. UK-RAS Network .

Collins, E.C., Prescott, T.J. orcid.org/0000-0003-4927-5390, Yoshikawa, Y. et al. (1 more author) (2019) Measuring the effectiveness of biomimetic robots as therapeutic tools : translating the felt security scale from English to Japanese. In: Martinez-Hernandez, U., Vouloutsi, V., Mura, A., Mangan, M., Asada, M., Prescott, T.J. and Verschure, P.F.M.J., (eds.) Biomimetic and Biohybrid Systems. Living Machines 2019, 09-12 Jul 2019, Nara, Japan. Lecture Notes in Computer Science (11556). Springer International Publishing , pp. 63-75. ISBN 9783030247409

Conneau, A., Kiela, D., Schwenk, H. et al. (2 more authors) (2017) Supervised learning of universal sentence representations from natural language inference data. In: Palmer, M., Hwa, R. and Riedel, S., (eds.) Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing, 07-11 Sep 2017, Copenhagen, Denmark. Association for Computational Linguistics , pp. 670-680. ISBN 9781945626838

Conneau, A., Schwenk, H., Cun, Y.L. et al. (1 more author) (2017) Very deep convolutional networks for text classification. In: Lapata, M., Blunsom, P. and Koller, A., (eds.) Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers. 15th EACL Conference (EACL 2017), 03-07 Apr 2017, Valencia, Spain. Association for Computational Linguistics , pp. 1107-1116. ISBN 9781945626340

Cooke, M., Garcia Lecumberri, M.L., Barker, J. orcid.org/0000-0002-1684-5660 et al. (1 more author) (2019) Lexical frequency effects in English and Spanish word misperceptions. Journal of the Acoustical Society of America, 145 (2). EL136-EL141. ISSN 0001-4966

Cope, A.J. orcid.org/0000-0001-6042-1542, Sabo, C. orcid.org/0000-0002-3946-4609, Gurney, K. et al. (2 more authors) (2016) A Model for an Angular Velocity-Tuned Motion Detector Accounting for Deviations in the Corridor-Centering Response of the Bee. PLoS Comput Biol, 12 (5). e1004887. ISSN 1553-734X

Cope, A.J. orcid.org/0000-0001-6042-1542, Sabo, C. orcid.org/0000-0002-3946-4609, Vasilaki, E. et al. (2 more authors) (2017) A computational model of the integration of landmarks and motion in the insect central complex. PLoS One, 12 (2). e0172325.

Cope, A.J. orcid.org/0000-0001-6042-1542, Vasilaki, E. orcid.org/0000-0003-3705-7070, Minors, D. orcid.org/0000-0002-0527-3433 et al. (3 more authors) (2018) Abstract concept learning in a simple neural network inspired by the insect brain. PLoS Computational Biology, 14 (9). e1006435. ISSN 1553-7358

Cordeiro, S., Ramisch, C., Idiart, M. et al. (1 more author) (2016) Predicting the compositionality of nominal compounds: Giving word embeddings a hard time. In: Erk, K. and Smith, N.A., (eds.) Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Long Papers). 54th Annual Meeting of the Association for Computational Linguistics, 07-12 Aug 2016, Berlin, Germany. Association for Computational Linguistics , pp. 1986-1997. ISBN 9781510827585

Cordeiro, S., Ramisch, C. and Villavicencio, A. orcid.org/0000-0002-3731-9168 (2016) mwetoolkit+sem: Integrating word embeddings in the mwetoolkit for semantic MWE processing. In: Calzolari, N., Choukri, K., Declerck, T., Goggi, S., Grobelnik, M., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. and Piperidis , S., (eds.) Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC'16). Tenth International Conference on Language Resources and Evaluation (LREC'16), 23-28 May 2016, Portorož, Slovenia. European Language Resources Association (ELRA) , pp. 1221-1225. ISBN 9782951740891

Cordeiro, S., Villavicencio, A. orcid.org/0000-0002-3731-9168, Idiart, M. et al. (1 more author) (2019) Unsupervised compositionality prediction of nominal compounds. Computational Linguistics, 45 (1). pp. 1-57. ISSN 0891-2017

Cordeiro, S.R., Ramisch, C. and Villavicencio, A. orcid.org/0000-0002-3731-9168 (2016) UFRGS&LIF at SemEval-2016 task 10: Rule-based MWE identification and predominant-supersense tagging. In: Bethard, S., Carpuat, M., Cer, D., Jurgens, D., Nakov, P. and Torsten, Z., (eds.) Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval-2016). 10th International Workshop on Semantic Evaluation (SemEval-2016), 16-17 Jun 2016, San Diego, California. Association for Computational Linguistics , pp. 910-917. ISBN 9781941643952

Corrado, C., Williams, S., Sim, I. et al. (6 more authors) (2018) An algorithm to sample an anatomy with uncertainty. In: 2018 Computing in Cardiology Conference (CinC). 2018 Computing in Cardiology Conference, 23-26 Sep 2018, Maastricht, The Netherlands. Computing in Cardiology . ISBN 9781728109589

Corus, D., Dang, D.C., Eremeev, A.V. et al. (1 more author) (2014) Level-Based Analysis of Genetic Algorithms and Other Search Processes. In: Parallel Problem Solving from Nature – PPSN XIII. The 13th PPSN: International Conference on Parallel Problem Solving from Nature, September 13-17, 2014, Ljubljana, Slovenia. Lecture Notes in Computer Science (8672). Springer , pp. 912-921.

Corus, D., He, J., Jansen, T. et al. (3 more authors) (2017) On Easiest Functions for Mutation Operators in Bio-Inspired Optimisation. Algorithmica, 78 (2). pp. 714-740. ISSN 0178-4617

Corus, D., Lehre, P.K., Neumann, F. et al. (1 more author) (2016) A Parameterised Complexity Analysis of Bi-level Optimisation with Evolutionary Algorithms. Evolutionary Computation, 24 (1). pp. 183-203. ISSN 1063-6560

Corus, D., Lissovoi, A., Oliveto, P. et al. (1 more author) (2021) On steady-state evolutionary algorithms and selective pressure: Why inverse rank-based allocation of reproductive trials is best. ACM Transactions on Evolutionary Learning and Optimization, 1 (1). 2. ISSN 2688-299X

Corus, D. and Oliveto, P.S. (2020) On the benefits of populations for the exploitation speed of standard steady-state genetic algorithms. Algorithmica, 82 (12). pp. 3676-3706. ISSN 0178-4617

Corus, D. and Oliveto, P.S. (2019) On the benefits of populations on the exploitation speed of standard steady-state genetic algorithms. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference. GECCO '19, 13-17 Jul 2019, Prague, Czech Republic. ACM , pp. 1452-1460. ISBN 978-1-4503-6111-8

Corus, D. and Oliveto, P.S. (2017) Standard Steady State Genetic Algorithms Can Hillclimb Faster than Mutation-only Evolutionary Algorithms. IEEE Transactions on Evolutionary Computation. ISSN 1089-778X

Corus, D., Oliveto, P.S. and Yazdani, D. (2018) Artificial Immune Systems can find arbitrarily good approximations for the NP-Hard partition problem. In: Auger, A., Fonseca, C., Lourenço, N., Machado , P., Paquete, L. and Whitley, D., (eds.) Parallel Problem Solving from Nature – PPSN XV, PT II. PPSN: 15th International Conference on Parallel Problem Solving from Nature, 08-12 Sep 2018, Coimbra, Portugal. Lecture Notes in Computer Science, 11102 . Springer, Cham , pp. 16-28. ISBN 9783319992587

Corus, D., Oliveto, P.S. and Yazdani, D. (2019) Artificial immune systems can find arbitrarily good approximations for the NP-hard number partitioning problem. Artificial Intelligence, 274. pp. 180-196. ISSN 0004-3702

Corus, D., Oliveto, P.S. and Yazdani, D. (2019) On inversely proportional hypermutations with mutation potential. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2019, 13-17 Jul 2019, Prague, Czech Republic. ACM , pp. 215-223. ISBN 978-1-4503-6111-8

Corus, D., Oliveto, P.S. and Yazdani, D. (2020) When hypermutations and ageing enable artificial immune systems to outperform evolutionary algorithms. Theoretical Computer Science, 832. pp. 166-185. ISSN 0304-3975

Corus, D., Oliveto, P.S. and Yazdani, D. (2021) Fast immune system-inspired hypermutation operators for combinatorial optimization. IEEE Transactions on Evolutionary Computation, 25 (5). pp. 956-970. ISSN 1089-778X

Cosenza, B., Popov, N., Juurlink, B. et al. (5 more authors) (2018) OpenABL: A domain-specific language for parallel and distributed agent-based simulations. In: Aldinucci, M., Padovani, L. and Torquati, M., (eds.) Euro-Par 2018: Parallel Processing. 24th International Conference on Parallel and Distributed Computing, 27-31 Aug 2018, Turin, Italy. Lecture Notes in Computer Science, 11014 . Springer, Cham , pp. 505-518. ISBN 9783319969824

Cosenza, B., Popov, N., Juurlink, B. et al. (5 more authors) (2021) Easy and efficient agent-based simulations with the OpenABL language and compiler. Future Generation Computer Systems, 116. pp. 61-75. ISSN 0167-739X

Covantes Osuna, E. orcid.org/0000-0001-5991-6927, Gao, W., Neumann, F. et al. (1 more author) (2020) Design and analysis of diversity-based parent selection schemes for speeding up evolutionary multi-objective optimisation. Theoretical Computer Science, 832. pp. 123-142. ISSN 0304-3975

Covantes Osuna, E., Gao, W., Neumann, F. et al. (1 more author) (2017) Speeding Up Evolutionary Multi-objective Optimisation Through Diversity-Based Parent Selection. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 17). Genetic and Evolutionary Computation Conference (GECCO 2017), 15/07/2017 - 19/07/2017, Berlin. ACM , pp. 553-560.

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2017) Analysis of the Clearing Diversity-Preserving Mechanism. In: FOGA '17 Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms (FOGA '17), 12-15 Jan 2017, Copenhagen, Denmark. Association for Computing Machinery . ISBN 978-1-4503-4651-1

Covantes Osuna, E. orcid.org/0000-0001-5991-6927 and Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) Empirical analysis of diversity-preserving mechanisms on example landscapes for multimodal optimisation. In: Auger, A., Fonseca, C., Lourenço, N., Machado, P., Paquete, L. and Whitley, D., (eds.) Parallel Problem Solving from Nature – PPSN XV. PPSN 2018: 15th International Conference on Parallel Problem Solving from Nature, 08-12 Sep 2018, Coimbra, Portugal. Lecture Notes in Computer Science, 11102 . Springer Verlag , pp. 207-219. ISBN 9783319992587

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2019) On the Runtime Analysis of the Clearing Diversity-Preserving Mechanism. Evolutionary Computation, 27 (3). pp. 403-433. ISSN 1063-6560

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) Runtime Analysis of Probabilistic Crowding and Restricted Tournament Selection for Bimodal Optimisation. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2018). Genetic and Evolutionary Computation Conference (GECCO 2018), 15-19 Jul 2018, Kyoto, Japan. ACM . ISBN 978-1-4503-5618-3

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2020) Runtime analysis of crowding mechanisms for multimodal optimisation. IEEE Transactions on Evolutionary Computation, 24 (3). pp. 581-592. ISSN 1089-778X

Coveney, S. and Clarke, N. (2014) Pattern Formation in Polymer Blend Thin Films: Surface Roughening Couples to Phase Separation. Physical Review Letters, 113. 218301. ISSN 0031-9007

Coveney, S. and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2020) Sensitivity and uncertainty analysis of two human atrial cardiac cell models using gaussian process emulators. Frontiers in Physiology, 11. 364.

Coveney, S., Corrado, C., Roney, C. et al. (7 more authors) (2020) Probabilistic interpolation of uncertain local activation times on human atrial manifolds. IEEE Transactions on Biomedical Engineering, 67 (1). pp. 99-109. ISSN 0018-9294

Coveney, S. orcid.org/0000-0002-7134-3196, Corrado, C., Roney, C.H. et al. (7 more authors) (2020) Gaussian process manifold interpolation for probabilistic atrial activation maps and uncertain conduction velocity. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 378 (2173). 20190345. ISSN 1364-503X

Coveney, S. and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2018) Fitting two human atrial cell models to experimental data using Bayesian history matching. Progress in Biophysics & Molecular Biology, 139. pp. 43-58. ISSN 0079-6107

Coveny, S., Roney, C., Corrado, C. et al. (4 more authors) (2022) Calibrating cardiac electrophysiology models using latent Gaussian processes on atrial manifolds. Scientific Reports, 12. 16572. ISSN 2045-2322

Crampin, E.J., Smith, N.P., Langham, A.E. et al. (2 more authors) (2006) Acidosis in models of cardiac ventricular myocytes. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 364 (1842). pp. 1171-1186. ISSN 1471-2962

Csuhaj-Varjú, E., Gheorghe, M., Stannett, M. orcid.org/0000-0002-2794-8614 et al. (1 more author) (2015) Spatially Localised Membrane Systems. Fundamenta Informaticae, 138 (1-2). pp. 193-205. ISSN 0169-2968

Cui, J., Kingsbury, B., Ramabhadran, B. et al. (16 more authors) (2016) Multilingual representations for low resource speech recognition and keyword search. In: 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 13-17 Dec 2015, Scottsdale, AZ, USA. IEEE , pp. 259-266. ISBN 9781479972913

Cummins, N., Pan, Y., Ren, Z. et al. (8 more authors) (2020) A comparison of acoustic and linguistics methodologies for Alzheimer’s dementia recognition. In: Meng, H., Xu, B. and Zheng, T., (eds.) Interspeech 2020. Interspeech 2020, 25-29 Oct 2020, Shanghai, China. ISCA - International Speech Communication Association , pp. 2182-2186.

Cunningham, H. orcid.org/0000-0001-5901-5483, Tablan, V., Roberts, A. et al. (1 more author) (2013) Getting More out of Biomedical Documents with GATE's Full Lifecycle Open Source Text Analytics. PLoS Computational Biology, 9 (2). e1002854. ISSN 1553-734X

Cunningham, S., Green, P., Christensen, H. orcid.org/0000-0003-3028-5062 et al. (5 more authors) (2017) Cloud-Based Speech Technology for Assistive Technology Applications (CloudCAST). Studies in Health Technology and Informatics, 242. pp. 322-329. ISSN 0926-9630

Cunningham, H. orcid.org/0000-0001-5901-5483, Maynard, D. orcid.org/0000-0002-1773-7020, Bontcheva, K. orcid.org/0000-0001-6152-9600 et al. (1 more author) (2002) GATE : an architecture for development of robust HLT applications. In: Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics. 40th Annual Meeting of the Association for Computational Linguistics, 07-12 Jul 2002, Philadelphia, PA, USA. Association for Computational Linguistics (ACL) , Philadelphia, USA , pp. 168-175. ISBN 1558608834

Czumaj, A., Fichtenberger, H., Peng, P. orcid.org/0000-0003-2700-5699 et al. (1 more author) (2020) Testable properties in general graphs and random order streaming. In: Byrka, J. and Meka, R., (eds.) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020). 24th International Conference on Randomization and Computation (RANDOM 2020), 17-19 Aug 2020, Online conference. Leibniz International Proceedings in Informatics (LIPIcs) (176). Schloss Dagstuhl--Leibniz-Zentrum fur Informatik , 16:1-16:20. ISBN 9783959771641

Czumaj, A., Peng, P. orcid.org/0000-0003-2700-5699 and Sohler, C. (2015) Testing cluster structure of graphs. In: STOC '15: Proceedings of the forty-seventh annual ACM symposium on Theory of Computing. STOC '15: Symposium on Theory of Computing, 14-17 Jun 2015, Portland, Oregon, USA. Association for Computing Machinery (ACM) , pp. 723-732. ISBN 9781450335362

D

Dadzie, A.S., Bhagdev, R., Chakravarthy, A. et al. (6 more authors) (2009) Applying semantic web technologies to knowledge sharing in aerospace engineering. Journal of Intelligent Manufacturing, 20 (5). pp. 611-623. ISSN 0956-5515

Dadzie, Aba-Sah, Bhagdev, R., Chakravarthy, A. et al. (6 more authors) (2009) Applying semantic web technologies to knowledge sharing in aerospace engineering. Journal of Intelligent Manufacturing, 20 (5). pp. 611-623. ISSN 0956-5515 (Print) 1572-8145 (Online)

Dalvandi, S., Dongol, B., Doherty, S. et al. (1 more author) (2022) Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL. Journal of Automated Reasoning, 66 (1). pp. 141-171. ISSN 0168-7433

Damianou, A., Ek, C.H., Boorman, L. orcid.org/0000-0001-5189-0232 et al. (2 more authors) (2015) A Top-Down Approach for a Synthetic Autobiographical Memory System. In: Biomimetic and Biohybrid Systems. 4th International Conference, Living Machines 2015, July 28 - 31, 2015, Barcelona, Spain. Lecture Notes in Computer Science, 9222 . Springer International Publishing , pp. 280-292. ISBN 978-3-319-22978-2

Damianou, A. and Lawrence, N.D. (2015) Semi-described and semi-supervised learning with Gaussian processes. (Unpublished)

Damianou, A.C. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2013) Deep Gaussian Processes. In: Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics. Sixteenth International Conference on Artificial Intelligence and Statistics, 29 Apr - 01 May 2013, Scottsdale, AZ, USA. JMLR Workshop and Conference Proceedings, 31 . JMLR .

Damianou, A.C., Titsias, M.K. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2016) Variational inference for latent variables and uncertain inputs in Gaussian processes. Journal of Machine Learning Research, 17. ISSN 1532-4435

Dandapani, S., Gundiah, N., Luo, X. et al. (1 more author) (2019) Soft tissue growth and remodelling framework: application in myocardial infarction. In: Virtual Physiological Human Conference (VPH) 2018. Virtual Physiological Human Conference (VPH) 2018, 05-07 Sep 2018, Zaragoza, Spain. . (Unpublished)

Dandapani, S., Gundiah, N., Luo, X.Y. et al. (1 more author) (2017) A constrained mixture model of the left ventricle and its application to simulating myocardial infarction. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 Apr 2017, Pittsburgh, United States. CMBE , pp. 1273-1276. ISBN 978-0-9562914-4-8

Dang, D., Friedrich, T., Kötzing, T. et al. (5 more authors) (2016) Emergence of Diversity and its Benefits for Crossover in Genetic Algorithms. In: Parallel Problem Solving from Nature – PPSN XIV. Parallel Problem Solving from Nature (PPSN 2016), 17-21 Sep 2016, Edinburgh, UK. Lecture Notes in Computer Science, 9921 . Springer International Publishing .

Dang, D.C., Friedrich, T., Kötzing, T. et al. (5 more authors) (2017) Escaping Local Optima Using Crossover with Emergent Diversity. IEEE Transactions on Evolutionary Computation. ISSN 1089-778X

Dargahi, T., Dehghantanha, A. and Conti, M. (2017) Forensics Analysis of Android Mobile VoIP Apps. In: Choo, K.-K.R. and Dehghantanha , A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 7-20. ISBN 9780128053034

Dargahi, T., Dehghantanha, A. and Conti, M. (2017) Investigating Storage as a Service Cloud Platform: pCloud as a Case Study. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 185-204. ISBN 9780128053034

Dario, P., Verschure, P.F.M.J., Prescott, T. orcid.org/0000-0003-4927-5390 et al. (12 more authors) (2011) Robot companions for citizens. In: Giacobino, E. and Pfeifer, R., (eds.) Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11). 2nd European Future Technologies Conference and Exhibition 2011 (FET 11), 04-06 May 2011, Budapest, Hungary. Procedia Computer Science, 7 . Elsevier , pp. 47-51.

Dashevskyi, S., Brucker, A.D. and Massacci, F. (2016) On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. In: Caballero, J., Bodden, E. and Athanasopoulos, E., (eds.) Engineering Secure Software and Systems. ESSoS, 06-08 Apr 2016, London, UK. Lecture Notes in Computer Science (9639 ). Springer Verlag (Germany) , pp. 190-206. ISBN 978-3-642-11746-6

Dashevskyi, S., Brucker, A.D. orcid.org/0000-0002-6355-1200 and Massacci, F. (2019) A Screening Test for Disclosed Vulnerabilities in FOSS Components. IEEE Transactions on Software Engineering, 45 (10). pp. 945-966. ISSN 0098-5589

Dautov, R., Paraskakis, I. and Stannett, M. (2014) Towards a framework for monitoring cloud application platforms as sensor networks. Cluster Computing, 17 (4). 1203 - 1213. ISSN 1386-7857

Dautov, R., Paraskakis, I. and Stannett, M. orcid.org/0000-0002-2794-8614 (2014) Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. Journal of Cloud Computing: Advances, Systems and Applications, 3 (1). 13. ISSN 2192-113X

Davidge, K.S., Sanguinetti, G., Yee, C.H. et al. (6 more authors) (2009) Carbon monoxide-releasing antibacterial molecules target respiration and global transcriptional regulators. Journal of Biological Chemistry, 284 (7). pp. 4516-4524. ISSN 0021-9258

Davies, S., Lucas, A. orcid.org/0000-0002-3165-3923, Ricolfe-Viala, C. et al. (1 more author) (2021) A database for learning numbers by visual finger recognition in developmental neuro-robotics. Frontiers in Neurorobotics, 15 (1). 619504.

Dawidek, R.W., Hayward, T.J., Vidamour, I.T. et al. (16 more authors) (2021) Dynamically‐driven emergence in a nanomagnetic system. Advanced Functional Materials, 31 (15). 2008389. ISSN 1616-301X

Deena, S., Hasan, M., Doulaty, M. et al. (2 more authors) (2016) Combining feature and model-based adaptation of RNNLMs for multi-genre broadcast speech recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 08-12 Sep 2016, San Francisco, USA. , pp. 2343-2347.

Deena, S. orcid.org/0000-0001-5417-0556, Hasan, M., Doulaty, M. et al. (2 more authors) (2019) Recurrent neural network language model adaptation for multi-genre broadcast speech recognition and alignment. IEEE/ACM Transactions on Audio, Speech and Language Processing, 27 (3). pp. 572-582. ISSN 2329-9290

Deena, S., Ng, R.W.M., Madhyashta, P. et al. (2 more authors) (2017) Semi-supervised adaptation of RNNLMs by fine-tuning with domain-specific auxiliary features. In: Proceedings of INTERSPEECH 2017: Conference of the International Speech Communication Association. INTERSPEECH 2017: Conference of the International Speech Communication Association, 20-24 Aug 2017, Stockholm. ISCA , pp. 2715-2719.

Deena, S., Ng, R.W.M., Madhyashtha, P. et al. (2 more authors) (2018) Exploring the use of Acoustic Embeddings in Neural Machine Translation. In: Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop. 2017 IEEE Automatic Speech Recognition and Understanding Workshop, December 16-20, 2017, Okinawa, Japan. IEEE . ISBN 978-1-5090-4788-8

Dehghantanha, A., Azmoodeh , A. and Choo, K.-K.R. (2019) Robust Malware Detection for Internet Of (Battlefield) Things Devices Using Deep Eigenspace Learning. IEEE Transactions on Sustainable Computing, 4 (1). pp. 88-95. ISSN 2377-3782

Deininger, D., Dimitrova, R. and Majumdar, R. (2016) Symbolic model checking for factored probabilistic models. In: Artho, C., Legay, A. and Peled, D., (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Automated Technology for Verification and Analysis, 17-20 Oct 2016, Chiba, Japan. Lecture Notes in Computer Science (9938). Springer , pp. 444-460. ISBN 9783319465197

Demetriou, G., Skadina, I., Keskustalo, H. et al. (6 more authors) (2004) Cross-lingual document retrieval categorisation and navigation based on distributed services. In: Proceedings of the First Baltic Conference. Human Language Technologies – the Baltic Perspective, April 21 and 22, 2004, Rīga, Latvia. .

Derczynski, L., Augenstein, I. and Bontcheva, K. (2015) USFD: Twitter NER with Drift Compensation and Linked Data. In: Proceedings of the ACL 2015 Workshop on Noisy User-generated Text. ACL 2015 Workshop on Noisy User-generated Text (W-NUT), 31 July, 2015, Beijing, China. Association for Computational Linguistics , pp. 48-53.

Derczynski, L. and Bontcheva, K. (2015) Efficient named entity annotation through pre-empting. In: International Conference Recent Advances in Natural Language Processing, RANLP. Recent Advances in Natural Language Processing, 05-11 Sep 2015, Hissar, Bulgaria. Association for Computational Linguistics , pp. 123-130.

Derczynski, L., Bontcheva, K., Liakata, M. et al. (3 more authors) (2017) SemEval-2017 Task 8: RumourEval: Determining rumour veracity and support for rumours. In: Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017). 11th International Workshop on Semantic Evaluation (SemEval-2017), 03-04 Aug 2017, Vancouver, Canada. Association for Computational Linguistics , pp. 69-76.

Derczynski, L. and Chester, S. Generalised Brown Clustering and Roll-Up Feature Generation. In: Proceedings of the conference of the Association for Advancement of Artificial Intelligence. UNSPECIFIED. .

Derczynski, L., Chester, S. and Bøgh, K.S. (2015) Tune your brown clustering, please. In: International Conference Recent Advances in Natural Language Processing, RANLP. Recent Advances in Natural Language Processing, Sep 7–9 2015, Hissar, Bulgaria. Association for Computational Linguistics , pp. 110-117.

Derczynski, L., Maynard, D., Rizzo, G. et al. (5 more authors) (2014) Analysis of named entity recognition and linking for tweets. Information Processing & Management, 51 (2). 32 - 49. ISSN 0306-4573

Derczynski, L., Meesters, K., Bontcheva, K. orcid.org/0000-0001-6152-9600 et al. (1 more author) (2018) Helping crisis responders find the informative needle in the tweet haystack. In: Boersma, K. and Tomaszewski, B., (eds.) Proceedings of the 15th ISCRAM Conference. 15th International Conference on Information Systems for Crisis Response and Management, 20-23 May 2018, Rochester, NY, USA. International Association for Information Systems for Crisis Response and Management (ISCRAM) , pp. 649-662. ISBN 9780692127605

Derczynski, L., Strötgen, J., Campos, R. et al. (1 more author) (2015) Time and information retrieval: Introduction to the special issue. Information Processing and Management, 51 (6). 786 -790. ISSN 0306-4573

Derczynski, L., Wang, J., Gaizauskas, R. orcid.org/0000-0002-3356-5126 et al. (1 more author) (2008) A data driven approach to query expansion in question answering. In: Coling 2008: Proceedings of the 2nd workshop on Information Retrieval for Question Answering. Coling 2008: The 2nd workshop on Information Retrieval for Question Answering, 2008-08-24., Manchester, UK. ACL Anthology , pp. 34-41.

Derderian, K., Hierons, R.M. orcid.org/0000-0002-4771-1446, Harman, M. et al. (1 more author) (2010) Estimating the feasibility of transition paths in extended finite state machines. Automated Software Engineering, 17. 1. pp. 33-56. ISSN 0928-8910

Derrick, J., Doherty, S., Dongol, B. et al. (3 more authors) (2017) Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects of Computing. pp. 1-29. ISSN 0934-5043

Derrick, J., North, S. and Simons, A.J.H. (2008) Z2SAL-building a model checker for Z. In: Borger, E., Butler, M., Bowen, J.P. and Boca, P., (eds.) Abstract State Machines, B and Z, Proceedings of. ABZ 2008, September 16-18, 2008, London, UK. Springer , 280 - 293. ISBN 978-3-540-87602-1

Derrick, J., North, S. and Simons, A.J.H. (2011) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 23 (1). pp. 43-71. ISSN 0934-5043

Derrick, J. and Smith, G. (2017) An observational approach to defining linearizability on weak memory models. In: Bouajjani, A. and Silva , A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017. 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 19-22 Jun 2017, Neuchâtel, Switzerland. Lecture Notes in Computer Science (10321). Springer, Cham , pp. 108-123. ISBN 9783319602240

Derrick, J., Smith, G. and Dongol, B. (2014) Verifying Linearizability on TSO Architectures. In: Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods. iFM 2014: The 11th International Conference on Integrated Formal Methods, 09/09/2014-11/09/2014, Bertinoro, Italy. Lecture Notes in Computer Science , 8739 . Springer Verlag , pp. 341-356. ISBN 978-3-319-10180-4

Derrick, J., Smith, G., Groves, L. et al. (1 more author) (2014) Using coarse-grained abstractions to verify linearizability on TSO architectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8855. pp. 1-16. ISSN 0302-9743

Dewar, M.A., Kadirkamanathan, V., Opper, M. et al. (1 more author) (2010) Parameter estimation and inference for stochastic reaction-diffusion systems: application to morphogenesis in D. melanogaster. BMC Systems Biology , 4. Art no.21. ISSN 1752-0509

Dey, T.K., Peng, P. orcid.org/0000-0003-2700-5699, Rossi, A. et al. (1 more author) (2019) Spectral concentration and greedy k-clustering. Computational Geometry, 76. pp. 19-32. ISSN 0925-7721

Dharmaprani, D., Jenkins, E., Aguilar, M. et al. (12 more authors) (2021) M/M/Infinity birth-death processes – a quantitative representational framework to summarize and explain phase singularity and wavelet dynamics in atrial fibrillation. Frontiers in Physiology, 11 (1). 616866.

Dharmaprani, D., Jenkins, E.V., Quah, J.X. et al. (10 more authors) (2022) A governing equation for rotor and wavelet number in human clinical ventricular fibrillation: Implications for sudden cardiac death. Heart Rhythm, 19 (2). pp. 295-305. ISSN 1547-5271

Dietzel, A. and Maynard, D. (2015) Climate Change: A Chance for Political Re-Engagement? In: 65th PSA Annual International Conference, 30 Mar - 01 Apr 2015, Sheffield, UK. (Unpublished)

Dimitrova, R., Ferrer Fioriti, L.M., Hermanns, H. et al. (1 more author) (2016) Probabilistic CTL* : the deductive way. In: Chechik, M. and Raskin, J.-F., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Tools and Algorithms for the Construction and Analysis of Systems, 02-08 Apr 2016, Eindhoven, The Netherlands. Lecture Notes in Computer Science (9636). Springer , pp. 280-296. ISBN 9783662496732

Dimitrova, R. and Finkbeiner, B. (2008) Abstraction refinement for games with incomplete information. In: Hariharan, R., Mukund, M. and Vinay, V., (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 09-11 Dec 2008, Bangalore, India. Leibniz International Proceedings in Informatics (LIPIcs), 2 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 175-186. ISBN 9783939897088

Dimitrova, R. and Finkbeiner, B. (2012) Counterexample-guided synthesis of observation predicates. In: Jurdziński, M. and Ničković, D., (eds.) Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, 18-20 Sep 2012, London, UK. Lecture Notes in Computer Science (7595). Springer , pp. 107-122. ISBN 9783642333644

Dimitrova, R. and Finkbeiner, B. (2013) Lossy channel games under incomplete information. In: Mogavero, F., Murano , A. and Vardi, M.Y., (eds.) Proceedings 1st International Workshop on Strategic Reasoning. 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science (EPTCS) (112). Open Publishing Association , pp. 43-51.

Dimitrova, R. and Finkbeiner, B. (2009) Synthesis of fault-tolerant distributed systems. In: Liu, Z. and Ravn, A.P., (eds.) Automated Technology for Verification and Analysis - ATVA 2009. Automated Technology for Verification and Analysis - ATVA 2009, 14-16 Oct 2009, Macao, China. Lecture Notes in Computer Science (5799). Springer , pp. 321-336. ISBN 9783642047602

Dimitrova, R., Finkbeiner, B., Kovacs, M. et al. (2 more authors) (2012) Model checking information flow in reactive systems. In: Kuncak, V. and Rybalchenko, A., (eds.) Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Verification, Model Checking, and Abstract Interpretation - VMCAI 2012, 22-24 Jan 2012, Philadelphia, PA, USA. Lecture Notes in Computer Science (7148). Springer , pp. 169-185. ISBN 9783642279393

Dimitrova, R., Finkbeiner, B. and Rabe, M.N. (2012) Monitoring temporal information flow. In: Margaria, T. and Steffen, B., (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2012, 15-18 Oct 2012, Heraklion, Crete, Greece. Lecture Notes in Computer Science, 1 (7609). Springer , pp. 342-357. ISBN 9783642340253

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Approximate automata for omega-regular languages. In: Chen, Y.-F., Cheng, C.-H. and Esparza, J., (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019. Automated Technology for Verification and Analysis, 28-31 Oct 2019, Taipei, Taiwan. Lecture Notes in Computer Science (11781). Springer , pp. 334-349. ISBN 9783030317836

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Synthesizing approximate implementations for unrealizable specifications. In: Dillig, I. and Tasiran, S., (eds.) Computer Aided Verification - 31st International Conference, CAV 2019. Computer Aided Verification, 15-18 Jul 2019, New York City, NY, USA. Lecture Notes in Computer Science, 1 (11561). Springer , pp. 241-258. ISBN 9783030255398

Dimitrova, R., Fu, J. and Topcu, U. (2016) Robust optimal policies for Markov decision processes with safety-threshold constraints. In: 2016 IEEE 55th Conference on Decision and Control (CDC). 2016 IEEE 55th Conference on Decision and Control (CDC), 12-14 Dec 2016, Las Vegas, NV, USA. IEEE , pp. 7081-7086. ISBN 9781509018383

Dimitrova, R., Gavran, I., Majumdar, R. et al. (2 more authors) (2017) The robot routing problem for collecting aggregate stochastic rewards. In: Meyer, R. and Nestmann, U., (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017). 28th International Conference on Concurrency Theory, 04-09 Sep 2017, Berlin, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 13:1-13:17. ISBN 9783959770484

Dimitrova, R., Gazda, M., Mousavi, M.R. et al. (2 more authors) (2020) Conformance-based doping detection for cyber-physical systems. In: Gotsman, A. and Sokolova, A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 15-19 Jun 2020, Valletta, Malta. Lecture Notes in Computer Science (12136). Springer International Publishing , pp. 59-77. ISBN 9783030500856

Dimitrova, R., Ghasemi, M. and Topcu, U. (2018) Maximum realizability for linear temporal logic specifications. In: Lahiri, S.K. and Wang, C., (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018. Automated Technology for Verification and Analysis, 07-10 Oct 2018, Los Angeles, CA, USA. Lecture Notes in Computer Science (11138). Springer , pp. 458-475. ISBN 9783030010898

Dimitrova, R., Ghasemi, M. and Topcu, U. (2020) Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica, 57 (1-2). pp. 107-135. ISSN 0001-5903

Dimitrova, R. and Majumdar, R. (2014) Deductive control synthesis for alternating-time logics. In: Mitra, T. and Reineke, J., (eds.) EMSOFT '14: Proceedings of the 14th International Conference on Embedded Software. ESWEEK'14: Tenth Embedded System Week, 12-17 Oct 2014, New Delhi, India. ACM Digital Library , pp. 1-10. ISBN 9781450330527

Dimitrova, R. and Majumdar, R. (2015) Reachability analysis of reversal-bounded automata on series-parallel graphs. In: Esparza, J. and Tronci, E., (eds.) Electronic Proceedings in Theoretical Computer Science. 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), 21-22 Sep 2015, Genoa, Italy. Open Publishing Association , pp. 100-114.

Dimitrova, R. and Majumdar, R. (2018) Reachability analysis of reversal-bounded automata on series–parallel graphs. Acta Informatica, 55 (2). pp. 153-189. ISSN 0001-5903

Dimitrova, R. and Podelski, A. (2008) Is lazy abstraction a decision procedure for broadcast protocols? In: Logozzo, F., Peled, D.A. and Zuck, L.D., (eds.) Verification, Model Checking, and Abstract Interpretation - VMCAI 2008. Verification, Model Checking, and Abstract Interpretation - VMCAI 2008, 07-09 Jan 2008, San Francisco, USA. Lecture Notes in Computer Science (4905). Springer , pp. 98-111. ISBN 9783540781622

Ding, J., Xiang, T., Ou, Z. et al. (5 more authors) (2022) Tell me how to survey: literature review made simple with automatic reading path generation. In: Proceedings of 2022 IEEE 38th International Conference on Data Engineering (ICDE). 2022 IEEE 38th International Conference on Data Engineering (ICDE), 09-12 May 2022, Kuala Lumpur, Malaysia. IEEE , pp. 3426-3438. ISBN 978-1-6654-0884-4

Ding, X., Chen, H., Zhang, X. et al. (3 more authors) (2023) Re-parameterizing your optimizers rather than architectures. In: Proceedings of the Eleventh International Conference on Learning Representations (ICLR 2023). The Eleventh International Conference on Learning Representations (ICLR), 01-05 May 2023, Kigali Rwanda. OpenReview . (In Press)

Doerr, B., Lissovoi, A. and Oliveto, P.S. (2019) Evolving boolean functions with conjunctions and disjunctions via genetic programming. In: GECCO '19 : Proceedings of the Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference - GECCO 2019, 13-17 Jul 2019, Prague, Czech Republic. ACM Digital Library . ISBN 9781450361118

Doerr, B., Lissovoi, A., Oliveto, P.S. et al. (1 more author) (2018) On the runtime analysis of selection hyper-heuristics with adaptive learning periods. In: Aguirre, H.E. and Takadama, K., (eds.) GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference. GECCO '18 Genetic and Evolutionary Computation Conference, 15-19 Jul 2018, Kyoto, Japan. ACM , pp. 1015-1022. ISBN 978-1-4503-5618-3

Doherty, S. and Derrick, J. (2016) Linearizability and Causality. In: Software Engineering and Formal Methods. 14th International Conference, SEFM 2016, 04-08 Jul 2016, Vienna, Austria. Lecture Notes in Computer Science, 9763 . Springer , pp. 45-60. ISBN 978-3-319-41590-1

Doherty, S., Dongol, B., Derrick, J. et al. (2 more authors) (2017) Proving opacity of a pessimistic STM. In: Fatourou , P., Jiménez, E. and Pedone, F., (eds.) Leibniz International Proceedings in Informatics. 20th International Conference on Principles of Distributed Systems (OPODIS 2016), December 13-16, 2016, Madrid, Spain. Dagstuhl Publishing , Germany , 35.1-35.17. ISBN 9783959770316

Dominey, P.F., Prescott, T.J. orcid.org/0000-0003-4927-5390, Bohg, J. et al. (7 more authors) (2016) Implications of action-oriented paradigm shifts in cognitive science. In: Engel, A.K., Friston, K. and Kragic, D., (eds.) The Pragmatic Turn : Toward Action-Oriented Views in Cognitive Science. Mit Press . ISBN 9780262034326

Donaldson, I. J., Amin, S., Hensman, J. J. et al. (6 more authors) (2012) Genome-wide occupancy links Hoxa2 to Wnt-beta-catenin signaling in mouse embryonic development. Nucleic Acids Research , 40 (9). pp. 3990-4001. ISSN 0305-1048

Dongol, B. and Derrick, J. (2015) Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Science of Computer Programming, 111. pp. 214-247. ISSN 0167-6423

Dongol, B., Derrick, J. and Smith, G. (2014) Reasoning Algebraically About Refinement on TSO Architectures. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 8687. pp. 151-168. ISSN 0302-9743

Dongol, B., Hayes, I.J. and Struth, G. (2021) Convolution algebras: Relational convolution, generalised modalities and incidence algebras. Logical Methods in Computer Science, 17 (1). 13:1-13:34. ISSN 1860-5974

Dosso, J.A., Bandari, E., Malhotra, A. et al. (5 more authors) (2022) User perspectives on emotionally aligned social robots for older adults and persons living with dementia. Journal of Rehabilitation and Assistive Technologies Engineering, 9. ISSN 2055-6683

Doulaty, M., Saz, O., Ng, R.W.M. et al. (1 more author) (2016) Automatic Genre and Show Identification of Broadcast Media. In: Proceedings of the 17th Annual Conference of the International Speech Communication Association (Interspeech). Interspeech 2016, 08-12 Sep 2016, San Francisco. ISCA .

Doulaty, M., Saz, O., Ng, R.W.M. et al. (1 more author) (2015) Latent Dirichlet Allocation Based Organisation of Broadcast Media Archives for Deep Neural Network Adaptation. In: Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 13-17 Dec 2015, Scottsdale, AZ. IEEE , pp. 130-136. ISBN 978-1-4799-7291-3

Doulaty Bashkand, M., Saz, O. and Hain, T. (2015) Data-Selective Transfer Learning for Multi-Domain Speech Recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 16th Annual Conference of the International Speech Communication Association, 06-10 Sep 2015, Dresden, Germany. ISCA (International Speech Communication Association) , pp. 2897-2901.

Doulaty Bashkand, M., Saz, O. and Hain, T. (2015) Unsupervised Domain Discovery Using Latent Dirichlet Allocation for Acoustic Modelling in Speech Recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 16th Annual Conference of the International Speech Communication Association, 06-10 Sep 2015, Dresden, Germany. ISCA (International Speech Communication Association) , pp. 3640-3644.

Douthwaite, J.A., Lesage, B., Gleirscher, M. et al. (4 more authors) (2021) A modular digital twinning framework for safety assurance of collaborative robotics. Frontiers in Robotics and AI, 8. 758099. ISSN 2296-9144

Dowling, B. orcid.org/0000-0003-3234-6527, Hauck, E. orcid.org/0000-0001-8691-6754, Riepel, D. orcid.org/0000-0002-4990-0929 et al. (1 more author) (2022) Strongly anonymous ratcheted key exchange. In: Agrawal, S. and Lin, D., (eds.) Advances in Cryptology – ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part III. 28th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2022), 05-09 Dec 2022, Taipei, Taiwan. Lecture Notes in Computer Science, LNCS 13793 . Springer Nature Switzerland , pp. 119-150. ISBN 9783031229688

Doyle, M., Xu, X., Gu, Y. et al. (3 more authors) (2016) Modular Hydraulic Propulsion: A Robot that Moves by Routing Fluid Through Itself. In: 2016 IEEE International Conference on Robotics and Automation. 2016 IEEE International Conference on Robotics and Automation (ICRA 2016), 16-21 May 2016, Stockholm, Sweden. IEEE , pp. 5189-5196.

Dunkerton, S.E., Jeve, Y.B., Walkinshaw, N. et al. (2 more authors) (2018) Predicting postpartum hemorrhage (PPH) during cesarean delivery using the Leicester PPH Predict tool: a retrospective cohort study. American Journal of Perinatology, 35 (2). pp. 163-169. ISSN 0735-1631

Duque, A., Stevenson, R.M. orcid.org/0000-0002-9483-6006, Martinez-Romo, J. et al. (1 more author) (2018) Co-occurrence graphs for word sense disambiguation in the biomedical domain. Artificial Intelligence in Medicine, 87. pp. 9-19. ISSN 0933-3657

Durrande, N., Hensman, J., Rattray, M. et al. (1 more author) (2016) Detecting periodicities with Gaussian processes. PeerJ Computer Science, 2. e50. ISSN 2376-5992

Dvořák, P., Eiben, E., Ganian, R. et al. (2 more authors) (2021) The complexity landscape of decompositional parameters for ILP : programs with few global variables and constraints. Artificial Intelligence, 300. 103561. ISSN 0004-3702

Dwivedi, K., Sharkey, M., Condliffe, R. et al. (8 more authors) (2021) Pulmonary hypertension in association with lung disease : quantitative CT and artificial intelligence to the rescue? State-of-the-art review. Diagnostics, 11 (4). 679.

Dykes, J., Abdul-Rahman, A., Archambault, D. et al. (30 more authors) (2022) Visualization for epidemiological modelling : challenges, solutions, reflections and recommendations. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 380 (2233). ISSN 1364-503X

de La Gorce, M., Williams, T., Rogers, M. et al. (1 more author) (2012) Real-time Video-based Character Animation. In: Pucher, M., Cosker, D., Hofer, G., Berger, M. and Smith, W., (eds.) Proceedings of the 3rd Symposium on Facial Analysis and Animation. FAA: The 3rd International Symposium on Facial Analysis and Animation, 21 September 2012, Vienna, Austria. ACM International Conference Proceeding Series . Association for Computing Machinery (ACM) . ISBN 978-1-4503-1793-1

de Melo Quintela, B., Hervas-Raluy, S., Garcia-Aznar, J.M. et al. (3 more authors) (2022) A theoretical analysis of the scale separation in a model to predict solid tumour growth. Journal of Theoretical Biology, 547. 111173. ISSN 0022-5193

de Saille, S. orcid.org/0000-0002-8183-7771, Greenwood, A., Law, J. orcid.org/0000-0002-4966-3556 et al. (5 more authors) (2022) Using LEGO® SERIOUS® Play with stakeholders for RRI. Journal of Responsible Technology, 12. 100055. ISSN 2666-6596

E

Edmondson, J., Cunningham, H. orcid.org/0000-0001-5901-5483, Densley Tingley, D. et al. (11 more authors) (2020) The hidden potential of urban horticulture. Nature Food, 1. pp. 155-159.

Edmondson, L.R., Jimenez-Rodriguez, A. and Saal, H.P. orcid.org/0000-0002-7544-0196 (2019) Nonlinear scaling of resource allocation in sensory bottlenecks. In: Advances in Neural Information Processing Systems 32 (NIPS 2019). 33rd Conference on Neural Information Processing Systems, 08 Dec - 14 Nov 2019, Vancouver, Canada. Neural Information Processing Systems Foundation, Inc. .

Eftonova, T., Kiran, M. and Stannett, M. orcid.org/0000-0002-2794-8614 (2017) Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. International Journal of System Dynamics Applications, 6 (1). pp. 1-20. ISSN 2160-9772

Eiben, E. orcid.org/0000-0003-2628-3435, Ganian, R., Kangas, K. et al. (1 more author) (2019) Counting linear extensions: Parameterizations by treewidth. Algorithmica, 81 (4). pp. 1657-1683. ISSN 0178-4617

Eiben, E., Ganian, R., Knop, D. et al. (1 more author) (2019) Solving integer quadratic programming via explicit and structural restrictions. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, 27 Jan - 01 Feb 2019, Honolulu, Hawaii, USA. Association for the Advancement of Artificial Intelligence (AAAI) , pp. 1477-1484. ISBN 9781577358091

Eiben, E., Ganian, R., Knop, D. et al. (1 more author) (2018) Unary Integer Linear Programming with Structural Restrictions. In: Lang, J., (ed.) International Joint Conferences on Artificial Intelligence Organization (IJCAI). International Joint Conferences on Artificial Intelligence Organization , 13-19 Jul 2018, Stockholm. IJCAI , pp. 1284-1290. ISBN 978-0-9992411-2-7

Eiben, E., Ganian, R. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2018) A Structural Approach to Activity Selection. In: Lang, J., (ed.) International Joint Conferences on Artificial Intelligence Organization. International Joint Conferences on Artificial Intelligence Organization 2018, 13-19 Jul 2018, Stockholm. IJCAI , pp. 203-209. ISBN 978-0-9992411-2-7

Eiben, E., Ganian, R. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2020) Using decomposition-parameters for QBF: Mind the prefix! Journal of Computer and System Sciences, 110. pp. 1-21. ISSN 0022-0000

El Hannani, A., Errattahi, R., Salmam, F.Z. et al. (2 more authors) (2021) Evaluation of the effectiveness and efficiency of state-of-the-art features and models for automatic speech recognition error detection. Journal of Big Data, 8. 5. ISSN 2196-1115

El-Fakih, K., Hierons, R. orcid.org/0000-0002-4771-1446 and Turker, U.C. (2021) K-branching UIO sequences for partially specified observable non-deterministic FSMs. IEEE Transactions on Software Engineering, 47 (5). pp. 1029-1040. ISSN 0098-5589

Elbedweihy, K.M., Wrigley, S.N., Clough, P. et al. (1 more author) (2015) An overview of semantic search evaluation initiatives. Web Semantics: Science, Services and Agents on the World Wide Web, 30. 82 - 105. ISSN 1570-8268

Eleftherakis, G., Pappas, D., Lagkas, T. et al. (2 more authors) (2015) Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks. International Journal of Distributed Sensor Networks. 139735. ISSN 1550-1329

Elgendy, I.T. orcid.org/0000-0002-8416-5480, Girgis, M.R. and Sewisy, A.A. (2020) A GA-based approach to automatic test data generation for ASP.NET web applications. IAENG International Journal of Computer Science, 47 (3). pp. 557-564. ISSN 1819-656X

Elgendy, I.T. orcid.org/0000-0002-8416-5480, Girgis, M.R. and Sewisy, A.A. (2020) An automated tool for data flow testing of ASP.NET web applications. Applied Mathematics & Information Sciences, 14 (4). pp. 679-691. ISSN 1935-0090

Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Galante, M. and Sanvito, S. (2019) Role of longitudinal fluctuations in L10 FePt. Physical Review B, 100 (21). 214434. ISSN 2469-9950

Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Ababei, R.-V., Wood, R. et al. (2 more authors) (2017) Manifestation of higher-order inter-granular exchange in magnetic recording media. Applied Physics Letters, 111 (8). 082405. ISSN 0003-6951

Ellis, M.O.A. orcid.org/0000-0003-0338-8920 and Chantrell, R.W. (2015) Switching times of nanoscale FePt: finite size effects on the linear reversal mechanism. Applied Physics Letters, 106 (16). 162407. ISSN 0003-6951

Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Evans, R.F.L., Ostler, T.A. et al. (4 more authors) (2015) The Landau-Lifshitz equation in atomistic models. Low Temperature Physics, 41 (9). pp. 705-712. ISSN 1063-777X

Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Fullerton, E.E. and Chantrell, R.W. (2016) All-optical switching in granular ferromagnets caused by magnetic circular dichroism. Scientific Reports, 6. 30522. ISSN 2045-2322

Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Stamenova, M. and Sanvito, S. (2017) Multiscale modeling of current-induced switching in magnetic tunnel junctions using ab initio spin-transfer torques. Physical Review B, 96 (22). 224410. ISSN 2469-9950

Epiphaniou, G., Karadimas, P., Ismail, D.K.B. et al. (3 more authors) (2018) Nonreciprocity compensation combined with turbo codes for secret key generation in vehicular ad hoc social IoT networks. IEEE Internet of Things Journal, 5 (4). pp. 2496-2505.

Epton, T., Norman, P., Sheeran, P. et al. (10 more authors) (2013) A theory-based online health behavior intervention for new university students: study protocol. BMC Public Health, 13. 107. ISSN 1471-2458

Eriksson, T.S.E., Watton, P. orcid.org/0000-0002-5531-5953, Luo, X.Y. et al. (1 more author) (2014) Modelling volumetric growth in a thick walled fibre reinforced artery. Journal of the Mechanics and Physics of Solids, 73. pp. 134-150. ISSN 0022-5096

Errattahi, R., El Hannani, A., Ouahmane, H. et al. (1 more author) (2016) Automatic Speech Recognition Errors Detection Using Supervised Learning Techniques. In: 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA). 13th International Conference of Computer Systems and Applications (AICCSA), Nov 29 – Dec 02, 2016, Agadir, Morocco. IEEE .

Errattahia, R., Hannani, A.E.L., Hain, T. orcid.org/0000-0003-0939-3464 et al. (1 more author) (2019) System-independent ASR error detection and classification using Recurrent Neural Network. Computer Speech and Language, 55. pp. 187-199. ISSN 0885-2308

Esposito, U., Giugliano, M. and Vasilaki, E. orcid.org/0000-0003-3705-7070 (2015) Adaptation of short-term plasticity parameters via error-driven learning may explain the correlation between activity-dependent synaptic properties, connectivity motifs and target specificity. Frontiers in Computational Neurscience, 8. 175. ISSN 1662-5188

Esposito, U., Giugliano, M., van Rossum, M. et al. (1 more author) (2014) Measuring symmetry, asymmetry and randomness in neural network connectivity. PLOS ONE, 9 (7). e100805. ISSN 1932-6203

Esposito, U. and Vasilaki, E. (2015) Detection of multiple and overlapping bidirectional communities within large, directed and weighted networks of neurons. (Unpublished)

Evans, M.H., Pearson, M.J., Lepora, N.F. et al. (2 more authors) (2012) Whiskered texture classification with uncertain contact pose geometry. In: 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems, 07-12 Oct 2012, Vilamoura, Portugal. IEEE , pp. 7-13. ISBN 9781467317375

Eze, P.U., Walker, D.C. and Achumba, I.E. (2016) Constructive Initialization of a Genetic Algorithm for the Solution of a Highly Constrained Departmental Timetabling Problem. International Journal of Soft Computing and Engineering, 6 (4). pp. 18-25. ISSN 2231-2307

Ezeani, I., Hepple, M. orcid.org/0000-0003-1488-257X and Onyenwe, I. (2016) Automatic Restoration of Diacritics for Igbo Language. In: Sojka, P., Horák, A., Kopeček, I. and Pala, K., (eds.) Text, Speech, and Dialogue. Text, Speech, and Dialogue (TSD 2016), 12-16 Sep 2016, Brno, CzechRepublic. Lecture Notes in Computer Science, 9924 . Springer International Publishing , pp. 198-205. ISBN 978-3-319-45510-5

Ezeani, I. orcid.org/0000-0001-8286-9997, Hepple, M. orcid.org/0000-0003-1488-257X, Onyenwe, I. et al. (1 more author) (2018) Multi-task projected embedding for Igbo. In: Sojka, P., Horák, A., Kopeček, I. and Pala, K., (eds.) Text, Speech, and Dialogue : 21st International Conference, Proceedings. 21st International Conference on Text, Speech, and Dialogue, 11-14 Sep 2018, Brno, Czech Republic. Springer , pp. 285-294. ISBN 9783030007935

Ezeani, I., Hepple, M.R. orcid.org/0000-0003-1488-257X and Onyenwe, I. (2017) Lexical Disambiguation of Igbo using Diacritic Restoration. In: Proceedings of the 1st Workshop on Sense, Concept and Entity Representations and their Applications. Conference of the European Chapter of the Association for Computational Linguistics, 03-07 Apr 2017, Valencia, Spain. Association for Computational Linguistics , pp. 53-60.

Ezeani, I. orcid.org/0000-0001-8286-9997, Piao, S., Neale, S. et al. (2 more authors) (2019) Leveraging pre-trained embeddings for Welsh taggers. In: Augenstein, I., Gella, S., Ruder, S., Kann, K., Can, B., Welbl, J., Conneau, A., Ren, X. and Rei, M., (eds.) Proceedings of the 4th Workshop on Representation Learning for NLP (RepL4NLP-2019). 4th Workshop on Representation Learning for NLP (RepL4NLP-2019), 02 Aug 2019, Florence, Italy. Association for Computational Linguistics (ACL) , pp. 270-280.

F

Fahrenberg, U., Johansen, C., Struth, G. et al. (1 more author) (2023) Catoids and modal convolution algebras. Algebra universalis, 84. 10. ISSN 0002-5240

Fan, D., Yang, J., Zhang, J. et al. (4 more authors) (2018) Effectively measuring respiratory flow with portable pressure data using back propagation neural network. IEEE Journal of Translational Engineering in Health and Medicine, 6. ISSN 2168-2372

Fan, Q., Yin, H., Min, G. et al. (5 more authors) (2018) Video delivery networks : challenges, solutions and future directions. Computers & Electrical Engineering, 66. pp. 332-341. ISSN 0045-7906

Farooq, M.U. and Hain, T. orcid.org/0000-0003-0939-3464 (2022) Investigating the impact of cross-lingual acoustic-phonetic similarities on multilingual speech recognition. In: Interspeech 2022 - 23rd Annual Conference of the International Speech Communication Association. Interspeech 2022 - Human and Humanizing Speech Technology, 18-22 Sep 2022, Incheon, Korea. International Speech Communication Association , pp. 3849-3853.

Farooq, M.U., Haniya Narayana, D.A. and Hain, T. orcid.org/0000-0003-0939-3464 (2022) Non-linear pairwise language mappings for low-resource multilingual acoustic model fusion. In: Interspeech 2022 - 23rd Annual Conference of the International Speech Communication Association. Interspeech 2022 - Human and Humanizing Speech Technology, 18-22 Sep 2022, Incheon, Korea. International Speech Communication Association , pp. 4850-4854.

Farooqi, N. and North, S. (2014) Time cost evaluation of trust based access control for XML databases. In: 2014 9th International Conference for Internet Technology and Secured Transactions, ICITST 2014. 2014 9th International Conference for Internet Technology and Secured Transactions (ICITST), 08-10 Dec 2014, London, UK. IEEE , pp. 324-326. ISBN 9781908320391

Farrell, T., Bakir, M. and Bontcheva, K. orcid.org/0000-0001-6152-9600 (2021) MP Twitter engagement and abuse post-first COVID-19 lockdown in the UK : white paper. arXiv. (Submitted)

Farrell, T., Gorrell, G. orcid.org/0000-0002-8324-606X and Bontcheva, K. orcid.org/0000-0001-6152-9600 (2020) Vindication, virtue and vitriol: A study of online engagement and abuse toward British MPs during the COVID-19 pandemic. Journal of Computational Social Science, 3. pp. 401-403. ISSN 2432-2717

Fawcett, T.W., Marshall, J.A.R. and Higginson, A.D. (2015) The Evolution of Mechanisms Underlying Behaviour. Current Zoology, 61 (2). 221 - 225. ISSN 1674-5507

Felderer, M., Büchlein, M., Johns, M. et al. (3 more authors) (2015) Security Testing: A Survey. In: Memon, A., (ed.) Advances in Computers, Volume 101. Elsevier , Cambridge, MA, USA , pp. 1-51. ISBN 9780128051580

Fernandez, M., Piccolo, L., Alani, H. et al. (3 more authors) (2017) Pro-environmental campaigns via social media: analysing awareness and behaviour patterns. Journal of Web Science, 3 (1).

Fernandez-Fernandez, C.A. and Simons, A.J.H. (2014) An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method. Journal of Applied Research and Technology, 12 (5). pp. 908-918. ISSN 1665-6423

Fernando, S., Collins, E.C., Duff, A. et al. (3 more authors) (2014) Optimising robot personalities for symbiotic interaction. In: Biomimetic and Biohybrid Systems. Third International Conference, Living Machines 2014, July 30 – August 1, 2014, Milan, Italy. Lecture Notes in Computer Science, 8608 . Springer International Publishing , pp. 392-395. ISBN 9783319094342

Fernando, S., Moore, R.K. orcid.org/0000-0003-0065-3311, Cameron, D. et al. (4 more authors) (2016) Automatic recognition of child speech for robotic applications in noisy environments. arXiv. (Submitted)

Ferreira, W. and Vlachos, A. orcid.org/0000-0003-2123-5071 (2016) Emergent: a novel data-set for stance classification. In: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. The 15th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 12-17 Jun 2016, San Diego, CA, USA. ACL . ISBN 978-1-941643-91-4

Fichtenberger, H., Gao, M. and Peng, P. (2020) Sampling arbitrary subgraphs exactly uniformly in sublinear time. In: Czumaj, A., Dawar, A. and Merelli, E., (eds.) The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020). The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), 08-11 Jul 2020, Saarbrücken, Germany. Schloss Dagstuhl--Leibniz-Zentrum für Informatik , 45:1-45:13. ISBN 9783959771382

Fichtenberger, H., Peng, P. orcid.org/0000-0003-2700-5699 and Sohler, C. (2019) Every testable (infinite) property of bounded-degree graphs contains an infinite hyperfinite subproperty. In: Chan, T., (ed.) Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA19). 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA19), 06-09 Jan 2019, San Diego, California. SIAM . ISBN 978-1-61197-548-2

Filippone, M. (2009) Dealing with non-metric dissimilarities in fuzzy central clustering algorithms. International Journal of Accounting, 50 (2). pp. 363-384. ISSN 0020-7063

Filippone, M., Camastra, F., Masulli, F. et al. (1 more author) (2008) A survey of kernel and spectral methods for clustering. Pattern Recognition, 41 (1). pp. 176-190. ISSN 0031-3203

Filippone, M. and Sanguinetti, G. (2010) Information theoretic novelty detection. Pattern Recognition, 43 (3). pp. 805-814. ISSN 0031-3203

Fischer, T., Puigbò, J.Y., Camilleri, D. et al. (7 more authors) (2018) iCub-HRI: A software framework for complex human-robot interaction scenarios on the iCub humanoid robot. Frontiers in Robotics and AI, 5.

Fomicheva, M. and Specia, L. orcid.org/0000-0002-5495-3128 (2016) Reference bias in monolingual machine translation evaluation. In: 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Short Papers. The 54th Annual Meeting of the Association for Computational Linguistics, 07-12 Aug 2016, Berlin, Germany. ACL Home Association for Computational Linguistics , pp. 77-82. ISBN 9781510827592

Fomicheva, M. and Specia, L. (2019) Taking MT evaluation metrics to extremes : beyond correlation with human judgments. Computational Linguistics, 45 (3). pp. 515-558. ISSN 0891-2017

Fomicheva, M., Specia, L. orcid.org/0000-0002-5495-3128 and Guzmán, F. (2020) Multi-hypothesis machine translation evaluation. In: Jurafsky, D., Chai, J., Schluter, N. and Tetreault, J., (eds.) Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. 58th Annual Meeting of the Association for Computational Linguistics, 05-10 Jul 2020, Seattle, Washington. Association for Computational Linguistics , pp. 1218-1232. ISBN 9781952148255

Fomicheva, M., Sun, S., Fonseca, E.R. et al. (6 more authors) (2020) MLQE-PE : a multilingual quality estimation and post-editing dataset. arXiv. (Submitted)

Fomicheva, M., Sun, S., Yankovskaya, L. et al. (6 more authors) (2020) Unsupervised quality estimation for neural machine translation. Transactions of the Association for Computational Linguistics, 8 (2020). pp. 539-555. ISSN 2307-387X

Fomicheva, M., Specia, L. and Aletras, N. orcid.org/0000-0003-4285-1965 (2021) Translation error detection as rationale extraction. arXiv. (Submitted)

Font Llenas, A., Talamali, M., Xu, X. et al. (2 more authors) (2018) Quality-sensitive foraging by a robot swarm through virtual pheromone trails. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A., Reina, A. and Trianni, V., (eds.) Swarm Intelligence (ANTS 2018). 11th International Conference on Swarm Intelligence (ANTS 2018), 29-31 Oct 2018, Rome, Italy. Lecture Notes in Computer Science, 11172 . Springer Verlag , pp. 135-149. ISBN 978-3-030-00532-0

Forcada, M.L., Scarton, C., Specia, L. orcid.org/0000-0002-5495-3128 et al. (2 more authors) (2018) Exploring gap filling as a cheaper alternative to reading comprehension questionnaires when evaluating machine translation for gisting. In: Proceedings of the Third Conference on Machine Translation. Third Conference on Machine Translation (WMT18), 31 Oct - 01 Nov 2018, Brussels, Belgium. ACL , pp. 192-203.

Foster, M., Hughes, M., O'Brien, G. et al. (4 more authors) (2020) Do sophisticated evolutionary algorithms perform better than simple ones? In: GECCO 2020: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2020 : Genetic and Evolutionary Computation Conference, 08-12 Jul 2020, Cancún, Mexico. ACM Digital Library , pp. 184-192. ISBN 9781450371285

Foster, Simon and Struth, Georg (2011) Integrating an Automated Theorem Prover into Agda. In: NASA Formal Methods Symposium. NASA Formal Methods Symposium, 18-20 Apr 2011, Pasadena, CA. Lecture Notes in Computer Science (6617). Springer , pp. 116-130.

Foster, M. orcid.org/0000-0001-8233-9873, Derrick, J. and Walkinshaw, N. (2022) Reverse-engineering EFSMs with data dependencies. In: Testing Software and Systems. ICTSS 2021 : The 33rd IFIP International Conference on Testing Software and Systems, 10-11 Nov 2021, Virtual conference. Lecture Notes in Computer Science . Springer Nature , pp. 37-54. ISBN 9783031046728

Fox, C.W., Evans, M.H., Lepora, N.F. et al. (3 more authors) (2011) CrunchBot : a mobile whiskered robot platform. In: Groß, R., Alboul, L., Melhuish, C., Witkowski, M., Prescott, T.J. and Penders, J., (eds.) 12th TAROS: Conference Towards Autonomous Robotic Systems. 12th TAROS: Conference Towards Autonomous Robotic Systems, 31 Aug - 02 Sep 2011, Sheffield, UK. Lecture Notes in Computer Science (6856). Springer , pp. 102-113. ISBN 9783642232312

Fox, C.W., Evans, M.H., Pearson, M.J. et al. (1 more author) (2012) Towards hierarchical blackboard mapping on a whiskered robot. Robotics and Autonomous Systems, 60 (11). pp. 1356-1366. ISSN 0921-8890

Fox, C.W., Liu, Y., Zwyssig, E. et al. (1 more author) (2013) The Sheffield Wargames Corpus. In: Proceedings of Interspeech 2013. Interspeech 2013, 25-29 Aug 2013, Lyon, France. ISCA .

Frank, S., Elliott, D. and Specia, L. orcid.org/0000-0002-5495-3128 (2018) Assessing multilingual multimodal image description: Studies of native speaker preferences and translator choices. Natural Language Engineering, 24 (3). pp. 393-413. ISSN 1351-3249

Fraser, G. and Arcuri, A. (2015) 1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite. Empirical Software Engineering, 20 (3). 611 - 639. ISSN 1382-3256

Fraser, G. and Arcuri, A. (2014) Achieving scalable mutation-based generation of whole test suites. Empirical Software Engineering, 20 (3). 783 - 812. ISSN 1382-3256

Fraser, G. and Arcuri, A. (2016) EvoSuite at the SBST 2016 Tool Competition. In: Proceedings of the 9th International Workshop on Search-Based Software Testing. 9th International Workshop on Search-Based Software Testing, 14/05/2016 - 22/05/2016, Austin, Texas. Association for Computing Machinery , pp. 33-36. ISBN 978-1-4503-4166-0

Fraser, G., Arcuri, A. and McMinn, P. (2014) A Memetic Algorithm for whole test suite generation. Journal of Systems and Software, 103. 311 - 327. ISSN 0164-1212

Fraser, G., Latoza, T.D. and Mariani, L. (2015) 2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015). In: Proceedings - International Conference on Software Engineering. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 16-24 May 2015, Florence, Italy. IEEE , pp. 975-976. ISBN 9781479919345

Fraser, G., McMinn, P. and Arcuri, A. (2014) A Memetic Algorithm for whole test suite generation. Journal of Systems and Software. ISSN 0164-1212

Fraser, G., McMinn, P., Staats, M. et al. (2 more authors) (2013) Does automated white-box test generation really help software testers? 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. 291 - 301.

Fraser, G., Staats, M., McMinn, P. et al. (2 more authors) (2015) Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. ACM Transactions on Software Engineering and Methodology, 24 (4). 23. ISSN 1049-331X

Fraser, G. and Walkinshaw, N. (2015) Assessing and generating test sets in terms of behavioural adequacy. Software Testing Verification and Reliability, 25 (8). pp. 749-780. ISSN 0960-0833

Fu, J., Dimitrova, R. and Topcu, U. (2014) Abstractions and sensor design in partial-information, reactive controller synthesis. In: 2014 American Control Conference. American Control Conference - ACC 2014, 04-06 Jun 2014, Portland, OR, USA. IEEE , pp. 2297-2304. ISBN 9781479932726

Fullstone, G., Wood, J., Holcombe, M.. et al. (1 more author) (2015) Modelling the Transport of Nanoparticles under Blood Flow using an Agent-based Approach. Scientific Reports, 5. 10649 . ISSN 2045-2322

Funk, A., Aker, A., Barker, E. et al. (3 more authors) (2017) The SENSEI Overview of Newspaper Readers’ Comments. In: Jose, J.M., Hauff, C., Alt ingovde, I.S., Song, D., Albakour, D., Watt, S. and Tait, J., (eds.) Advances in Information Retrieval. ECIR 2017. 39th European Conference on IR Research, ECIR 2017, 08-13 Apr 2017, Aberdeen, UK. Lecture Notes in Computer Science (10193). Springer , pp. 758-761. ISBN 978-3-319-56608-5

Fusi, N., Lippert, C., Lawrence, N.D. orcid.org/0000-0001-9258-1030 et al. (1 more author) (2014) Warped linear mixed models for the genetic analysis of transformed phenotypes. Nature Communications , 5. 4890.

Fusi, N., Stegle, O. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2012) Joint Modelling of Confounding Factors and Prominent Genetic Regulators Provides Increased Accuracy in Genetical Genomics Studies. PLoS Computational Biology, 8 (1). e1002330. ISSN 1553-734X

G

Gagliardi, M. (2022) Human attachment as a multi-dimensional control system: a computational implementation. Frontiers in Psychology, 13.

Gaizauskas, R., Demetriou, G., Artymiuk, P.J. et al. (1 more author) (2003) Protein structures and information extraction from biological texts: The PASTA system. Bioinformatics, 19 (1). 135 - 143. ISSN 1367-4803

Gaizauskas, R., Paramita, M.L., Barker, E. et al. (3 more authors) (2015) Extracting bilingual terms from the Web. Terminology, 21 (2). pp. 205-236. ISSN 0929-9971

Gajarsky, J., Hlineny, P., Obdrzalek, J. et al. (5 more authors) (2017) Kernelization using structural parameters on sparse graph classes. Journal of Computer and System Sciences, 84. pp. 219-242. ISSN 0022-0000

Gajbhiye, A., Fomicheva, M., Alva-Manchego, F. et al. (4 more authors) (2021) Knowledge distillation for quality estimation. In: Zong, C., Xia, F., Li, W. and Navigli, R., (eds.) Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021. The Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 01-06 Aug 2021, Bangkok, Thailand (virtual conference). Association for Computational Linguistics (ACL) , pp. 5091-5099. ISBN 9781954085541

Galanis, D., Labropoulou, P., Roberts, I. orcid.org/0000-0002-7296-5851 et al. (7 more authors) (2022) Contributing to the European Language Grid as a provider. In: Rehm, G., (ed.) European Language Grid: A Language Technology Platform for Multilingual Europe. Cognitive Technologies . Springer Cham , Cham , pp. 67-93. ISBN 978-3-031-17257-1

Galante, M., Ellis, M.O.A. orcid.org/0000-0003-0338-8920 and Sanvito, S. (2019) Nontrivial spatial dependence of the spin torques in L10 FePt-based tunneling junctions. Physical Review B, 99 (1). 014401. ISSN 2469-9950

Galeotti, J.P., Furia, C.A., May, E. et al. (2 more authors) (2015) Inferring loop invariants by mutation, dynamic analysis, and static checking. IEEE Transactions on Software Engineering, 41 (10). 1019 - 1037. ISSN 0098-5589

Gales, M.J.F., Knill, K.M. and Ragni, A. (2017) Low-resource speech recognition and keyword-spotting. In: Karpov, A., Potapova, R. and Mporas, I., (eds.) Speech and Computer : 19th International Conference, SPECOM 2017. 19th International Conference, SPECOM 2017, 12-16 Sep 2017, Hatfield, UK. Springer International Publishing , pp. 3-19. ISBN 9783319664286

Gales, M.J.F., Knill, K.M. and Ragni, A. orcid.org/0000-0003-0634-4456 (2015) Unicode-based graphemic systems for limited resource languages. In: 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP 2015 - IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 19-24 Apr 2015, Brisbane, QLD, Australia. IEEE . ISBN 9781467369978

Gales, M.J.F., Knill, K.M., Ragni, A. orcid.org/0000-0003-0634-4456 et al. (1 more author) (2014) Speech recognition and keyword spotting for low-resource languages : Babel project research at CUED. In: Fourth International Workshop on Spoken Language Technologies for Under-Resourced Languages (SLTU-2014). Fourth International Workshop on Spoken Language Technologies for Under-Resourced Languages (SLTU-2014), 14-16 May 2014, St. Petersburg, Russia. International Speech Communication Association (ISCA) , pp. 16-23.

Gales, M.J.F., Ragni, A. orcid.org/0000-0003-0634-4456, AlDamarki, H. et al. (1 more author) (2010) Support vector machines for noise robust ASR. In: 2009 IEEE Workshop on Automatic Speech Recognition & Understanding. IEEE Workshop on Automatic Speech Recognition & Understanding (ASRU), 13-17 Dec 2009, Merano, Italy. IEEE , pp. 205-210. ISBN 9781424454785

Gales, M.J.F., Ragni, A. orcid.org/0000-0003-0634-4456, Zhang, A. et al. (1 more author) (2012) Structured discriminative models for speech recognition. In: Symposium on Machine Learning in Speech and Language Processing (MLSLP). Symposium on Machine Learning in Speech and Language Processing (MLSLP), 14 Sep 2012, Portland, Oregon, USA. International Speech Communication Association .

Gambardella, G., Peluso, I., Montefusco, S. et al. (4 more authors) (2015) A reverse-engineering approach to dissect post-translational modulators of transcription factor's activity from transcriptional data. BMC Bioinformatics, 16. 279. ISSN 1471-2105

Gamito, M.N. and Maddock, S.C. (2006) Anti-aliasing with stratified B-spline filters of arbitrary degree. Computer Graphics Forum, 25 (2). pp. 163-172. ISSN 1467-8659

Gamito, M.N. and Maddock, S.C. (2007) Progressive refinement rendering of implicit surfaces. Computers & Graphics, 31 (5). pp. 698-709. ISSN 0097-8493

Gamito, M.N. and Maddock, S.C. (2007) Ray casting implicit fractal surfaces with reduced affine arithmetic. The Visual Computer, 23 (3). pp. 155-165. ISSN 1432-2315

Gamito, M.N. and Maddock, S.C. (2007) Topological correction of hypertextured implicit surfaces for ray casting. In: IEEE International Conference on Shape Modeling and Applications. IEEE International Conference on Shape Modeling and Applications, 13-15 Jun 2007, Lyon, France. IEEE , pp. 103-112. ISBN 0-7695-2815-5

Gamito, M.N. and Maddock, S.C. (2008) Topological correction of hypertextured implicit surfaces for ray casting. The Visual Computer, 24 (6). pp. 397-409. ISSN 1432-2315

Gamito, M.N. and Maddock, S.C. (2007) A progressive refinement approach for the visualisation of implicit surfaces. In: Braz, J., Ranchordas, A., Araújo, H. and Jorge, J., (eds.) Advances in Computer Graphics and Computer Vision : International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers. Communications in Computer and Information Science, 4 (Part 3). Springer , Berlin Heidelberg , pp. 93-108. ISBN 978-3-540-75274-5

Gandhi, S.V., Walker, D.C., Brown, B.H. et al. (1 more author) (2006) Comparison of human uterine cervical electrical impedance measurements derived using two tetrapolar probes of different sizes. BioMedical Engineering OnLine, 5 (62). ISSN 1475-925X

Ganian, R., Kanj, I.A., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (1 more author) (2018) Parameterized Algorithms for the Matrix Completion Problem. In: Dy, J.G. and Krause, A., (eds.) Proceedings of Machine Learning Research. International Conference on Machine Learning, 10-15 Jul 2018, Stockholmsmässan, Stockholm Sweden. Proceedings of Machine Learning Research , pp. 1642-1651.

Ganian, R., Klute, F. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2021) On structural parameterizations of the bounded-degree vertex deletion problem. Algorithmica, 83 (1). pp. 297-336. ISSN 0178-4617

Ganian, R., Lodha, N., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (1 more author) (2019) SAT-encodings for treecut width and treedepth. In: Kobourov, S. and Meyerhenke, H., (eds.) 2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX). Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX), 07-08 Jan 2019, San Diego, California, USA. Society for Industrial and Applied Mathematics , pp. 117-129. ISBN 978-1-61197-549-9

Ganian, R., Narayanaswamy, N.S., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (2 more authors) (2019) On the complexity landscape of connected f-factor problems. Algorithmica, 81 (6). pp. 2606-2632. ISSN 0178-4617

Ganian, R. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2019) Solving integer linear programs by exploiting variable-constraint interactions : a survey. Algorithms, 12 (12). 248. ISSN 1999-4893

Ganian, R. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2018) The complexity landscape of decompositional parameters for ILP. Artificial Intelligence, 257. pp. 61-71. ISSN 0004-3702

Ganian, R., Ordyniak, S. orcid.org/0000-0003-1935-651X and Szeider, S. (2019) A join-based hybrid parameter for constraint satisfaction. In: Schiex, T. and de Givry, S., (eds.) Principles and Practice of Constraint Programming. 25th International Conference, CP 2019, 30 Sep - 04 Oct 2019, Stamford, CT, USA. Springer , pp. 195-212. ISBN 9783030300470

Gao, J. and Mazumdar, S. (2016) Exploiting Linked Open Data to Uncover Entity Types. In: Gandon, F., Cabrio, E., Stankovic, M. and Zimmermann, A., (eds.) Semantic Web Evaluation Challenges. Second SemWebEval Challenge at ESWC 2015, May 31 - June 4, 2015, Portorož, Slovenia. 548, 548 . Springer International Publishing , pp. 51-62. ISBN 978-3-319-25517-0

Gao, J., Zhang, Z. and Gentile, A.L. The LODIE team (University of Sheffield) Participation at the TAC2015 Entity Discovery Task of the Cold Start KBP Track. In: Proceedings of the 2015 Text Analysis Conference. TAC Knowledge Base Population (KBP) 2015, 16-17 Nov 2015, Gaithersburg, Maryland USA. . (Submitted)

Gao, J. orcid.org/0000-0002-3610-8748, Han, S., Song, X. et al. (1 more author) (2020) RP-DNN : a Tweet level propagation context based deep neural networks for early rumor detection in social media. In: Calzolari, N., Béchet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. and Piperidis, S., (eds.) Proceedings of the 12th Language Resources and Evaluation Conference (LREC 2020). LREC 2020 : International Conference on Language Resources and Evaluation, 11-16 May 2020, Marseille, France. European Language Resources Association , pp. 6094-6105. ISBN 9791095546344

Garcia, H.F., Alvarez Lopez, M.A. and Orozco, A.A. (2017) Dynamic Facial Landmarking Selection for Emotion Recognition using Gaussian Processes. Journal on Multimodal User Interfaces, 11 (4). pp. 327-340. ISSN 1783-8738

Garcia, M., Kramer Vieira, T., Scarton, C. et al. (2 more authors) (2021) Assessing idiomaticity representations in vector models with a noun compound dataset labeled at type and token levels. In: Proceedings of ACL-IJCNLP 2021. Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 01-06 Aug 2021, Bangkok, Thailand. Association for Computational Linguistics (ACL) . (In Press)

Garcia, M., Vieira, T.K., Scarton, C. et al. (2 more authors) (2021) Probing for idiomaticity in vector space models. In: Merlo, P., Tiedemann, J. and Tsarfaty, R., (eds.) Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics. 16th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2021), 19-23 Apr 2021, Virtual conference. Association for Computational Linguistics (ACL) , pp. 3551-3564.

García, H.F., Álvarez, M.A. orcid.org/0000-0002-8980-4472 and Orozco, Á.A. (2017) Bayesian optimization for fitting 3D morphable models of brain structures. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. CIARP 2016. 21st Iberoamerican Congress, CIARP 2016, 08/11/2016-11/11/2016, Lima, Peru. Lecture Notes in Computer Science, 10125 . Springer Verlag , pp. 291-299. ISBN 9783319522760

García-Martínez, M., Aransa, W., Bougares, F. et al. (1 more author) (2020) Addressing data sparsity for neural machine translation between morphologically rich languages. Machine Translation, 34 (1). pp. 1-20. ISSN 0922-6567

Gaspers, S., Misra, N., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (2 more authors) (2017) Backdoors into heterogeneous classes of SAT and CSP. Journal of Computer and System Sciences, 85. pp. 38-56. ISSN 0022-0000

Gaurav, A., Song, X., Manhas, S. et al. (4 more authors) (2022) Reservoir computing for temporal data classification using a dynamic solid electrolyte ZnO thin film transistor. Frontiers in Electronics, 3. 869013.

Gazda, M. and Hierons, R. orcid.org/0000-0002-4771-1446 (2023) Removing redundant refusals: minimal complete test suites for failure trace semantics. Information and Computation, 291. 105009. ISSN 0890-5401

Gazda, M. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2021) Removing redundant refusals: minimal complete test suites for failure trace semantics. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings of the 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 Jun - 02 Jul 2021, Rome, Italy. IEEE . ISBN 9781665448963

Ge, Y., Peng, P. and Lu, H. orcid.org/0000-0002-0349-2181 (2021) Mixed-order spectral clustering for complex networks. Pattern Recognition, 117. 107964. ISSN 0031-3203

Gehring, T., Luksys, G., Sandi, C. et al. (1 more author) (2015) Detailed classification of swimming paths in the Morris Water Maze: multiple strategies within one trial. Scientific Reports, 5. 14562 . ISSN 2045-2322

Gehring, T., Vasilaki, E. and Giugliano, M. (2015) Highly Scalable Parallel Processing of Extracellular Recordings of Multielectrode Arrays. In: Engineering in Medicine and Biology Society (EMBC), 2015 37th Annual International Conference of the IEEE. 37th Annual International Conference of the IEEE, 25-29 Aug 2015, Milan, Italy. IEEE .

Gentile, A.L., Zhang, Z. and Ciravegna, F. (2015) Early Steps Towards Web Scale Information Extraction with LODIE. AI Magazine, 36 (1). 55 - 64.

Georgopoulos, N.T., Kirkwood, L.A., Walker, D.C. orcid.org/0000-0001-8801-8093 et al. (1 more author) (2010) Differential Regulation of Growth-Promoting Signalling Pathways by E-Cadherin. PLoS One, 5 (10). e13621. ISSN 1932-6203

Gheorghe, M., Konur, S., Ipate, F. et al. (3 more authors) (2015) An integrated model checking toolset for kernel P systems. In: Lecture Notes in Computer Science. 16th International Conference, CMC 2015, 17-21 Aug 2015, Valencia, Spain. Springer , pp. 153-170. ISBN 9783319284743

Gheri, L. and Popescu, A. orcid.org/0000-0001-8747-0619 (2020) A formalized general theory of syntax with bindings: extended version. Journal of Automated Reasoning, 64 (4). pp. 641-675. ISSN 0168-7433

Gheri, L. and Popescu, A. orcid.org/0000-0001-8747-0619 (2017) A formalized general theory of syntax with bindings. In: Ayala-Rincón, M. and Muñoz, C.A., (eds.) Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings. 8th International Conference, ITP 2017, 26-29 Sep 2017, Brasília, Brazil. Lecture Notes in Computer Science, 10499 . Springer International Publishing , pp. 241-261. ISBN 9783319661063

Gil-Gonzalez, J., Giraldo, J.-J., Alvarez-Meza, A.M. et al. (2 more authors) (2021) Correlated chained Gaussian processes for datasets with multiple annotators. IEEE Transactions on Neural Networks and Learning Systems. ISSN 2162-237X

Gilbert, A., Piras, L., Wang, J.K. orcid.org/0000-0003-0048-3893 et al. (6 more authors) (2016) Overview of the ImageCLEF 2016 Scalable Concept Image Annotation Task. In: Balog, K., Cappellato, L., Ferro, N. and Macdonald, C., (eds.) CLEF 2016 Working Notes. Conference and Labs of the Evaluation Forums (CLEF 2016), 05-08 Sep 2016, Évora, Portugal. CEUR-WS.org , pp. 254-278.

Gilbert, J.M., Gonzalez Lopez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A. et al. (4 more authors) (2017) Restoring speech following total removal of the larynx by a learned transformation from sensor data to acoustics. Journal of the Acoustical Society of America, 141 (3). EL307-EL307. ISSN 0001-4966

Gkanias, E., Risse, B., Mangan, M. orcid.org/0000-0002-0293-8874 et al. (1 more author) (2019) From skylight input to behavioural output : a computational model of the insect polarised light compass. PLOS Computational Biology, 15 (7). e1007123. ISSN 1553-734X

Gkanias, E., Risse, B., Mangan, M. orcid.org/0000-0002-0293-8874 et al. (1 more author) (2018) From skylight input to behavioural output : a computational model of the insect polarised light compass. bioRxiv. (Submitted)

Gleirscher, M., Johnson, N., Karachristou, P. et al. (3 more authors) (2020) Challenges in the safety-security co-assurance of collaborative industrial robots. arXiv. (Submitted)

Godard, P., Boito, M.Z., Ondel, L. et al. (4 more authors) (2018) Unsupervised word segmentation from speech with attention. In: Proceedings of Interspeech 2018. Interspeech 2018, 02-06 Sep 2018, Hyderabad, India. ISCA , pp. 2678-2682.

Goetze, S. orcid.org/0000-0003-1044-7343 (2019) Intelligente Erkennersysteme für die Pflege. Pflegezeitschrift, 72 (1-2). pp. 17-19. ISSN 0945-1129

Gonidis, F., Paraskakis, I. and Simons, A.J.H. (2015) A Development Framework Enabling the Design of Service-Based Cloud Applications. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 139-152. ISBN 978-3-319-14885-4

Gonidis, F., Paraskakis, I. and Simons, A.J.H. (2014) Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications. In: IEEE 6th International Conference on Cloud Computing Technology and Science. IEEE 6th International Conference on Cloud Computing Technology and Science, 15-18 Dec 2014, Singapore. IEEE Computer Society , pp. 751-754. ISBN 978-1-4799-4093-6

Gonidis, F., Simons, A.J.H., Paraskakis, I. et al. (1 more author) (2013) Cloud application portability: an initial view. In: Diamantaras, KI, Evangelidis, G, Manolopoulos, Y, Georgiadis, CK, Kefalas, P and Stamatis, D, (eds.) BCI '13 Proceedings of the 6th Balkan Conference in Informatics. BCI 2013 - 6th Balkan Conference in Informatics, 19-21 Sep 2013, Thessaloniki, Greece. ACM , pp. 275-282. ISBN 978-1-4503-1851-8

Gonzalez, F.M., Prescott, T.J. orcid.org/0000-0003-4927-5390, Gurney, K. orcid.org/0000-0003-4771-728X et al. (2 more authors) (2000) An embodied model of action selection mechanisms in the vertebrate brain. In: Meyer, J.A., Berthoz, A., Floreano, D., Roitblat, H.L. and Wilson, S.W., (eds.) From Animals to Animats 6: Proceedings of the Sixth International Conference on Simulation of Adaptive Behavior (Complex Adaptive Systems). 6th International Conference on Simulation of Adaptive Behavior. MIT Press , Cambridge, MA, USA , pp. 157-166. ISBN 9780262632003

Gonzalez, J.A., Cheah, L.A., Gilbert, J.M. et al. (4 more authors) (2017) Voice restoration after laryngectomy based on magnetic sensing of articulator movement and statistical articulation-to-speech conversion. In: Communications in Computer and Information Science. BIOSTEC 2016 9th International Joint Conference on Biomedical Engineering Systems and Technologies, 21-23 Feb 2016, Rome. https://doi.org/10.1007/978-3-319-54717-6_17, 690 . , pp. 295-316. ISBN 9783319547169

Gonzalez, J.A., Cheah, L.A., Gilbert, J.M. et al. (4 more authors) (2016) A silent speech system based on permanent magnet articulography and direct synthesis. Computer Speech & Language, 39. C. pp. 67-87. ISSN 0885-2308

Gonzalez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A., Gomez, A.M. et al. (5 more authors) (2017) Direct Speech Reconstruction From Articulatory Sensor Data by Machine Learning. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 25 (12). pp. 2362-2374. ISSN 2329-9290

Gonzalez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A., Green, P.D. et al. (4 more authors) (2017) Restoring Speech Following Total Removal of the Larynx. In: Harnessing the Power of Technology to Improve Lives. Studies in Health Technology and Informatics, 242 . IOS Press , pp. 314-321.

Gonzalez, J.A., Gómez, A.M., Peinado, A.M. et al. (2 more authors) (2017) Spectral Reconstruction and Noise Model Estimation Based on a Masking Model for Noise Robust Speech Recognition. Circuits, Systems, and Signal Processing. pp. 1-30. ISSN 0278-081X

Gonzalez Lopez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A., Green, P.D. et al. (4 more authors) (2017) Evaluation of a Silent Speech Interface based on Magnetic Sensing and Deep Learning for a Phonetically Rich Vocabulary. In: Proceedings of the Annual Conference of the International Speech Communication Association, Interspeech. Interspeech 2017, 20-24 Aug 2017, Stockholm. ISCA , Stockholm , pp. 3986-3990.

Gonzalez-Agirre, A., Rigau, G., Agirre, E. et al. (2 more authors) (2015) Why are these similar? Investigating item simirlaity types in a large Digital Library. Journal of the Association for Information Science and Technology. ISSN 2330-1635

Gonzalez-Lopez, J.A., Gomez-Alanis, A., Pérez-Córdoba, J.L. et al. (1 more author) (2022) Non-parallel articulatory-to-acoustic conversion using multiview-based time warping. Applied Sciences, 12 (3). 1167.

Goodman, J., Vlachos, A. orcid.org/0000-0003-2123-5071 and Naradowsky, J. (2016) Noise reduction and targeted exploration in imitation learning for Abstract Meaning Representation parsing. In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics 2016, 07-12 Aug 2016, Berlin, Germany. ACL , pp. 1-11.

Gope, P. orcid.org/0000-0003-2786-0273 (2019) LAAP: Lightweight anonymous authentication protocol for D2D-Aided fog computing paradigm. Computers & Security, 86. pp. 223-237. ISSN 0167-4048

Gope, P. orcid.org/0000-0003-2786-0273 and Sikdar, B. (2019) Lightweight and privacy-friendly spatial data aggregation for secure power supply and demand management in smart grids. IEEE Transactions on Information Forensics and Security, 14 (6). pp. 1554-1566. ISSN 1556-6013

Gope, P. orcid.org/0000-0003-2786-0273 and Sikdar, B. (2019) Lightweight and privacy-preserving two-factor authentication scheme for IoT devices. IEEE Internet of Things, 6 (1). pp. 580-589. ISSN 2327-4662

Gope, P. orcid.org/0000-0003-2786-0273 and Sikdar, B. (2019) An efficient privacy-preserving authentication scheme for energy internet-based vehicle-to-grid communication. IEEE Transactions on Smart Grid, 10 (6). 6. pp. 6607-6618. ISSN 1949-3053

Gope, P. orcid.org/0000-0003-2786-0273 (2020) PMAKE : Privacy-aware multi-factor authenticated key establishment scheme for advance metering infrastructure in smart grid. Computer Communications, 152. pp. 338-344. ISSN 0140-3664

Gope, P. orcid.org/0000-0003-2786-0273, Gheraibia, Y., Kabir, S. et al. (1 more author) (2021) A secure IoT-based modern healthcare system with fault-tolerant decision making process. IEEE Journal of Biomedical and Health Informatics, 25 (3). pp. 862-873. ISSN 2168-2194

Gope, P., Sharma, P.K. and Sikdar, B. (2022) An ultra-lightweight data-aggregation scheme with deep learning security for smart grid. IEEE Wireless Communications, 29 (2). pp. 30-36. ISSN 1536-1284

Gope, P. and Sikdar, B. (2021) A comparative study of design paradigms for PUF-based security protocols for IoT devices: current progress, challenges, and future expectation. Computer, 54 (11). pp. 36-46. ISSN 0018-9162

Gope, P. and Sikdar, B. (2020) An efficient privacy-preserving authenticated key agreement scheme for edge-assisted internet of drones. IEEE Transactions on Vehicular Technology, 69 (11). pp. 13621-13630. ISSN 0018-9545

Gope, P. orcid.org/0000-0003-2786-0273 and Sikdar, B. (2021) A privacy-aware reconfigurable authenticated key exchange scheme for secure communication in smart grids. IEEE Transactions on Smart Grid, 12 (6). pp. 5335-5348. ISSN 1949-3053

Goranci, G., Henzinger, M. and Peng, P. orcid.org/0000-0003-2700-5699 (2018) Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs. In: Proceedings of the 26th European Symposium on Algorithms (ESA 2018). The 26th European Symposium on Algorithms (ESA 2018), 20-22 Aug 2018, Helsinki, Finland. LIPIcs, 112 (40). Schloss Dagstuhl - Leibniz-Zentrum für Informatik , Germany . ISBN 978-3-95977-081-1

Goranci, G., Henzinger, M. and Peng, P. orcid.org/0000-0003-2700-5699 (2017) Improved guarantees for Vertex Sparsification in planar graphs. In: 25th Annual European Symposium on Algorithms (ESA 2017). 25th Annual European Symposium on Algorithms (ESA 2017), 04-08 Sep 2017, Vienna, Austria. Leibniz International Proceedings in Informatics, 87 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 44:1-44:14. ISBN 978-3-95977-049-1

Goranci, G., Henzinger, M. and Peng, P. orcid.org/0000-0003-2700-5699 (2020) Improved guarantees for vertex sparsification in planar graphs. SIAM Journal on Discrete Mathematics (SIDMA), 34 (1). pp. 130-162. ISSN 0895-4801

Goranci, G., Henzinger, M. and Peng, P. orcid.org/0000-0003-2700-5699 (2017) The power of vertex sparsifiers in dynamic graph algorithms. In: 25th Annual European Symposium on Algorithms (ESA 2017). 25th Annual European Symposium on Algorithms (ESA 2017), 04-08 Sep 2017, Vienna, Austria. Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 45:1-45:14. ISBN 978-3-95977-049-1

Gorrell, G., Bakir, M.E., Greenwood, M.A. orcid.org/0000-0003-2269-1722 et al. (2 more authors) (2019) Race and religion in online abuse towards UK politicians : working paper. arXiv. (Submitted)

Gorrell, G. orcid.org/0000-0002-8324-606X, Bakir, M.E., Roberts, I. et al. (2 more authors) (2020) Online abuse toward candidates during the UK general election 2019 : working paper. arXiv. (Submitted)

Gorrell, G. orcid.org/0000-0002-8324-606X, Bakir, M.E., Roberts, I. et al. (2 more authors) (2020) Which politicians receive abuse? Four factors illuminated in the UK general election 2019. EPJ Data Science, 9. 18.

Gorrell, G., Bakir, M.E., Roberts, I. et al. (3 more authors) (2019) Partisanship, propaganda and post-truth politics: Quantifying impact in online debate. arXiv. (Submitted)

Gorrell, G., Bakir, M.E., Temple, L. et al. (5 more authors) (2019) Local media and geo-situated responses to Brexit: a quantitative analysis of Twitter, news and survey data. arXiv. (Submitted)

Gorrell, G., Bontcheva, K. orcid.org/0000-0001-6152-9600, Derczynski, L. et al. (3 more authors) (2018) RumourEval 2019: Determining rumour veracity and support for rumours. arXiv. (Submitted)

Gorrell, G., Ford, N., Madden, A. et al. (2 more authors) (2011) Countering method bias in questionnaire-based user studies. Journal of Documentation, 67 (3). pp. 507-524. ISSN 0022-0418

Gorrell, G., Greenwood, M., Roberts, I. et al. (2 more authors) (2018) Online Abuse of UK MPs in 2015 and 2017: Perpetrators, Targets, and Topics. arXiv. (Submitted)

Gorrell, G., Greenwood, M.A., Roberts, I. et al. (2 more authors) (2018) Twits, Twats and Twaddle: Trends in Online Abuse towards UK Politicians. In: Proceedings Of The Twelfth International Conference On Web And Social Media. International AAAI Conference on Web and Social Media, 25-28 Jun 2018, California, USA. AAAI Press , pp. 600-603. ISBN 978-1-57735-798-8

Gorrell, G., Roberts, I., Greenwood, M.A. et al. (3 more authors) (2018) Quantifying media influence and partisan attention on Twitter during the UK EU referendum. In: Staab, S., Koltsova, O. and Ignatov, D.I., (eds.) Social Informatics. SocInfo 2018, 25-28 Sep 2018, St. Petersburg, Russia. Lecture Notes in Computer Science, 11185 . Springer , pp. 274-290. ISBN 978-3-030-01128-4

Gorrell, G. orcid.org/0000-0002-8324-606X, Song, X. and Roberts, A. (2018) Bio-YODIE : a named entity linking system for biomedical text. arXiv. (Submitted)

Gorrell, G.M. and Bontcheva, K.L. (2014) Classifying Twitter Favorites: Like, Bookmark, or Thanks? Journal of the Association for Information Science and Technology. ISSN 2330-1635

Gorrell, G. orcid.org/0000-0002-8324-606X, Farrell, T. and Bontcheva, K. orcid.org/0000-0001-6152-9600 (2020) MP Twitter abuse in the age of COVID-19 : white paper. arXiv. (Submitted)

Gotoh, Y., Hochberg, M.M. and Silverman, H.F. (1998) Efficient training algorithms for HMMs using incremental estimation. IEEE Transactions on Speech and Audio Processing, 6 (6). pp. 539-548. ISSN 1063-6676

Gotoh, Y. and Renals, S. (1999) Topic-based mixture language modelling. Natural Language Engineering, 5 (4). pp. 355-375. ISSN 1351-3249

Gotoh, Y. orcid.org/0000-0003-1668-0867 (2023) Exploration of verbal descriptions and dynamic indoors environments for people with sight loss. In: Proceedings of ACM CHI 2023. ACM international conference of Human-Computer Interaction (HCI) CHI 2023, 23-28 Apr 2023, Hamburg, Germany. Association for Computing Machinery . (In Press)

Gou, M.S., Naneva, S., Webb, T.L. orcid.org/0000-0001-9320-0068 et al. (1 more author) (2018) Attitudes towards social robots: A protocol for a systematic review. In: Giuliani, M., Assaf, T. and Giannaccini, M., (eds.) Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. 9th Annual Conference, TAROS 2018, 25-27 Jul 2018, Bristol, UK. Lecture Notes in Artificial Intelligence, 10965 . Springer Verlag , pp. 484-485. ISBN 978-3-319-96728-8

Gow-Smith, E., Madabushi, H.T., Scarton, C. orcid.org/0000-0002-0103-4072 et al. (1 more author) (2022) Improving tokenisation by alternative treatment of spaces. arXiv. (Submitted)

Graetzer, S., Akeroyd, M.A., Barker, J. et al. (5 more authors) (2022) Dataset of British English speech recordings for psychoacoustics and speech processing research: The clarity speech corpus. Data in Brief, 41. 107951. ISSN 2352-3409

Grant, R., Wieskotten, S., Wengst, N. et al. (2 more authors) (2013) Vibrissal touch sensing in the harbor seal (Phoca vitulina) : how do seals judge size? Journal of Comparative Physiology A, 199 (6). pp. 521-533. ISSN 0340-7594

Grant, R.A. orcid.org/0000-0002-3968-8370, Breakell, V. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2018) Whisker touch sensing guides locomotion in small, quadrupedal mammals. Proceedings of the Royal Society B: Biological Sciences, 285 (1880). ISSN 0962-8452

Grant, R.A., Mitchinson, B. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2012) The development of whisker control in rats in relation to locomotion. Developmental Psychobiology, 54 (2). pp. 151-168. ISSN 0012-1630

Grant, R.A., Sharp, P.S., Kennerley, A.J. et al. (4 more authors) (2014) Abnormalities in whisking behaviour are associated with lesions in brain stem nuclei in a mouse model of amyotrophic lateral sclerosis. Behavioural Brain Research , 259. pp. 274-283. ISSN 0166-4328

Greenwood, M.A. orcid.org/0000-0003-2269-1722, Bakir, M.E., Gorrell, G. et al. (3 more authors) (2019) Online abuse of UK MPs from 2015 to 2019: Working paper. arXiv. (Submitted)

Greenwood, P.D.L., Childs, D.T.D., Kennedy, K. et al. (10 more authors) (2010) Quantum dot superluminescent diodes for optical coherence tomography: device engineering. IEEE Journal of Selected Topics in Quantum Electronics, 16 (4). pp. 1015-1022. ISSN 1077-260X

Grytsan, A., Eriksson, T.S.E., Watton, P. orcid.org/0000-0002-5531-5953 et al. (1 more author) (2017) Growth description for vessel wall adaptation: a thick-walled mixture model of abdominal aortic aneurysm evolution. Materials, 10 (9). 994. ISSN 1996-1944

Grytsan, A. orcid.org/0000-0002-2749-3381, Watton, P. orcid.org/0000-0002-5531-5953 and Gasser, T.C. (2017) Isotropic versus anisotropic growth description for abdominal aortic aneurysm evolution. In: Nithiarasu, P. and Robertson, A.M., (eds.) Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 Apr 2017, Pittsburgh, PA, United States. CMBE , pp. 127-130. ISBN 978-0-9562914-4-8

Guarnizo, C. and Alvarez Lopez, M.A. orcid.org/0000-0002-8980-4472 (2018) Fast kernel approximations for latent force models and convolved multiple-output Gaussian processes. In: Uncertainty in Artificial Intelligence: Proceedings of the Thirty-Fourth Conference (2018). Uncertainty in Artificial Intelligence 2018, 06-10 Aug 2018, Monterey, California, USA. AUAI Press . ISBN 978-0-9966431-3-9

Guo, Y. orcid.org/0000-0002-0307-1459, Wang, X., Wu, C. et al. (3 more authors) (2016) A robust dual-microphone speech source localization algorithm for reverberant environments. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech, 08-12 Sep 2016, San Francisco, USA. ISCA .

Gurney, K.N. orcid.org/0000-0003-4771-728X, Prescott, T.J. orcid.org/0000-0003-4927-5390 and Redgrave, P. (1998) The basal ganglia viewed as an action selection device. In: Niklasson, L., Bodén, M. and Ziemke, T., (eds.) ICANN 98: Proceedings of the 8th International Conference on Artificial Neural Networks. 8th International Conference on Artificial Neural Networks, 02-04 Sep 1998, Skövde, Sweden. Perspectives in Neural Computing . Springer , pp. 1033-1038. ISBN 9783540762638

Gutin, G., Majumdar, D., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (1 more author) (2020) Parameterized pre-coloring extension and list coloring problems. In: Paul, C. and Bläser, M., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), 10-13 Mar 2020, Montpellier, France. Leibniz International Proceedings in Informatics (LIPIcs) (154). Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959771405

Gutsfeld, J.O., Meier, A., Ohrem, C. et al. (1 more author) (2022) Temporal team semantics revisited. In: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa Israel. Association for Computing Machinery . ISBN 9781450393515

Gyeera, T.W., Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2022) Kalman filter based prediction and forecasting of cloud server KPIs. IEEE Transactions on Services Computing. ISSN 1939-1374

Gómez-González, S., Álvarez, M.A. orcid.org/0000-0002-8980-4472, García, H.F. et al. (2 more authors) (2015) Discriminative training for Convolved Multiple-Output Gaussian processes. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. 20th Iberoamerican Congress, CIARP 2015, November 9-12, 2015, Montevideo, Uruguay. Lecture Notes in Computer Science book series (9423). , pp. 595-602. ISBN 978-3-319-25750-1

Gómez-Orozco, V., De La Pava Panche, I., Álvarez-Meza, A.M. et al. (2 more authors) (2020) A machine learning approach to support deep brain stimulation programming. Revista Facultad de Ingeniería (95). pp. 20-33. ISSN 0120-6230

Gómez-Orozco, V., Álvarez-López, M.A., Henao-Gallo, Ó. et al. (2 more authors) (2016) Estimation of the neuromodulation parameters from the planned volume of tissue activated in deep brain stimulation. Revista Facultad de Ingeniería Universidad de Antioquia, 79. pp. 9-18. ISSN 0120-6230

H

Haalck, L., Mangan, M. orcid.org/0000-0002-0293-8874, Webb, B. et al. (1 more author) (2020) Towards image-based animal tracking in natural environments using a freely moving camera. Journal of Neuroscience Methods, 330. 108455. ISSN 0165-0270

Haddad Pajouh, H., Javidan, R., Khayami, R. et al. (2 more authors) (2016) A Two-layer Dimension Reduction and Two-tier Classification Model for Anomaly-Based Intrusion Detection in IoT Backbone Networks. IEEE Transactions on Emerging Topics in Computing. ISSN 2168-6750

HaddadPajouh, H., Dehghantanha, A orcid.org/0000-0002-9294-7554, Khayami, R. et al. (1 more author) (2018) A Deep Recurrent Neural Network Based Approach for Internet of Things Malware Threat Hunting. Future Generation Computer Systems, 85. pp. 88-96. ISSN 0167-739X

Hain, T., Christian, J., Saz, O. et al. (6 more authors) (2016) webASR 2 - Improved cloud based speech technology. In: Proceedings of Interspeech 2016. 17th Annual Conference of the International Speech Communication Association (Interspeech), 08-12 Sep 2016, San Francisco, CA. ISCA .

Hain, T. orcid.org/0000-0003-0939-3464, Burget, L., Dines, J. et al. (7 more authors) (2012) Transcribing meetings with the AMIDA systems. IEEE Transactions on Audio, Speech and Language Processing, 20 (2). pp. 486-498. ISSN 1558-7916

Hall, G.T., Oliveto, P. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2019) On the impact of the cutoff time on the performance of algorithm configurators. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2019). Genetic and Evolutionary Computation Conference (GECCO 2019), 13-17 Jul 2019, Prague, Czech Republic. ACM , pp. 907-915. ISBN 9781450361118

Hall, G.T., Oliveto, P.S. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2020) Analysis of the performance of algorithm configurators for search heuristics with global mutation operators. In: GECCO 2020: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2020 : Genetic and Evolutionary Computation Conference, 08-12 Jul 2020, Online conference. ACM Digital Library . (In Press)

Hall, G.T., Oliveto, P.S. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2020) Fast perturbative algorithm configurators. In: Bäck, T., Preuss, M., Deutz, A., Wang, H., Doerr, C. and Emm, M., (eds.) Parallel Problem Solving from Nature – PPSN XVI. International Conference on Parallel Problem Solving from Nature (PPSN 2020), 05-09 Sep 2020, Leiden, Netherlands. Lecture Notes in Computer Science, 12269 . Springer , pp. 19-32. ISBN 9783030581114

Hall, M. and Walkinshaw, N. (2017) Data and analysis code for GP EFSM inference. In: 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) , 02-07 Oct 2016, Raleigh, NC, USA. IEEE , p. 611. ISBN 978-1-5090-3806-0

Hall, M., Walkinshaw, N. and McMinn, P. (2018) Effectively incorporating expert knowledge in automated software remodularisation. IEEE Transactions on Software Engineering, 44 (7). pp. 613-630. ISSN 0098-5589

Hall, G.T., Oliveto, P.S. and Sudholt, D. (2022) On the impact of the performance metric on efficient algorithm configuration. Artificial Intelligence, 303. 103629. ISSN 0004-3702

Han, S. and Ciravegna, F. (2019) Rumour detection on social media for crisis management. In: Franco, Z., González, J.J. and Canós, J.H., (eds.) Proceedings of the 16th International Conference on Information Systems for Crisis Response And Management. The 16th International Conference on Information Systems for Crisis Response and Management, 19-22 May 2019, Valencia, Spain. ISCRAM , pp. 660-673.

Han, S., Gao, J. orcid.org/0000-0002-3610-8748 and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2019) Data augmentation for rumor detection using context-sensitive neural language model with large-scale credibility corpus. In: Learning from Limited Labeled Data: ICLR 2019 Workshop. Seventh International Conference on Learning Representations, 06-09 May 2019, New Orleans, Louisiana, United States. OpenReview .

Han, S., Gao, J. orcid.org/0000-0002-3610-8748 and Ciravegna, F. (2019) Neural language model based training data augmentation for weakly supervised early rumor detection. In: Proceedings of 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. 2019 IEEE/ACM International Conference on Social Networks Analysis and Mining (ASONAM 2019), 27-30 Aug 2019, Vancouver, Canada. ACM , pp. 105-112. ISBN 9781450368681

Han, J., Shenlu, Z., Liu, Y. et al. (2 more authors) (2023) Mitigating modality discrepancies for RGB-T semantic segmentation. IEEE Transactions on Neural Networks and Learning Systems. ISSN 2162-237X

Hannula, M. and Virtema, J. (2022) Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Annals of Pure and Applied Logic, 173 (10). 103108. ISSN 0168-0072

Haq, F.U., Shin, D. orcid.org/0000-0002-0840-6449 and Briand, L. (2022) Efficient online testing for DNN-enabled systems using surrogate-assisted and many-objective optimization. In: Proceedings of the 44th International Conference on Software Engineering. 44th International Conference on Software Engineering (ICSE '22), 21-29 May 2022, Pittsburgh, Pennsylvania, USA. Association for Computing Machinery , pp. 811-822. ISBN 9781450392211

Haq, Fitash U.l. orcid.org/0000-0003-2253-9085, Shin, Donghwan orcid.org/0000-0002-0840-6449, Nejati, Shiva orcid.org/0000-0002-0281-8231 et al. (1 more author) (2021) Can offline testing of deep neural networks replace their online testing? Empirical Software Engineering, 26 (5). 90. ISSN 1382-3256

Harkema, H., Roberts, I., Gaizauskas, R. orcid.org/0000-0002-3356-5126 et al. (1 more author) (2005) A web service for biomedical term look-up. Comparative and Functional Genomics, 6 (1-2). pp. 86-93. ISSN 1531-6912

Hartley, S.J., Prescott, T.J. orcid.org/0000-0003-4927-5390 and Nicolson, R.I. (1998) Feature distributions and experimental evaluation in a connectionist model of semantic memory. In: Heinke, D., Humphreys, G.W. and Olson, A., (eds.) Connectionist Models in Cognitive Neuroscience. 5th Neural Computation and Psychology Workshop, 08-10 Sep 1998, Birmingham, UK. Perspectives in Neural Computing . Springer , pp. 159-169. ISBN 9781852330521

Hartmann, M., Ständer, M. and Uren, V. (2011) Adapting workflows to intelligent environments. In: Proceedings of 2011 Seventh International Conference on Intelligent Environments, IE 2011. 2011 Seventh International Conference on Intelligent Environments, 25-28 Jul 2011, Nottingham, UK. IEEE , pp. 9-16. ISBN 9781457708305

Hasny, F., Mensah, S. orcid.org/0000-0003-0779-5574, Yi, D. et al. (2 more authors) (2016) Predicting the quality of web services based on user stability. In: 2016 IEEE International Conference on Services Computing (SCC). IEEE International Conference on Services Computing (SCC), 27 Jun - 02 Jul 2016, San Francisco, CA, USA. IEEE (Institute of Electrical and Electronics Engineers) , pp. 860-863. ISBN 9781509026296

Hawley, Mark, Cunningham, S.P., Cardinaux, Fabian et al. (4 more authors) (2007) Challenges in developing a voice input voice output communication aid for people with severe dysarthria. In: AAATE 2007 : 9th European Conference for the Advancement of Assistive Technology in Europe, Oct 2007, San Sebastian, Spain.

He, Y. orcid.org/0000-0003-3464-7526, Cooney, C.R., Maddock, S. orcid.org/0000-0003-3179-0263 et al. (1 more author) (2023) Using pose estimation to identify regions and points on natural history specimens. PLOS Computational Biology, 19 (2). e1010933. ISSN 1553-734X

He, Y. orcid.org/0000-0003-3464-7526, Cooney, C.R. orcid.org/0000-0002-4872-9146, Varley, Z.K. et al. (5 more authors) (2021) Segmenting biological specimens from photos to understand the evolution of UV plumage in passerine birds. bioRxiv. (Submitted)

He, Y., Varley, Z., Moody, C. et al. (5 more authors) (2022) Deep learning image segmentation reveals patterns of UV reflectance evolution in passerine birds. Nature Communications, 13. 5068. ISSN 2041-1723

Heath, J.P., Hunter, K.D., Murdoch, C. orcid.org/0000-0001-9724-122X et al. (1 more author) (2022) Computational modelling for electrical impedance spectroscopy-based diagnosis of oral potential malignant disorders (OPMD). Sensors, 22 (15). 5913.

Heinzerling, B., Moosavi, N.S. orcid.org/0000-0002-8332-307X and Strube, M. (2017) Revisiting selectional preferences for coreference resolution. In: Palmer, M., Hwa, R. and Riedel, S., (eds.) Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing 2017 (EMNLP), 09-11 Sep 2017, Copenhagen, Denmark. Association for Computational Linguistics , pp. 1332-1339. ISBN 9781945626838

Heller, B., Mazumdar, S. orcid.org/0000-0002-0748-7638 and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2018) Large scale, long-term, high granularity measurement of active travel using smartphones apps. In: Proceedings. 12th Conference of the International Sports Engineering Association, 26-29 Mar 2018, Brisbane, Australia. MDPI .

Hensman, J. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2014) Nested Variational Compression in Deep Gaussian Processes. arXiv. (Unpublished)

Hensman, J., Lawrence, N.D. orcid.org/0000-0001-9258-1030 and Rattray, M. (2013) Hierarchical Bayesian modelling of gene expression time series across irregularly sampled replicates and clusters. BMC Bioinformatics, 14. 252. ISSN 1471-2105

Hensman, J., Rattray, M. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2014) Fast Nonparametric Clustering of Structured Time-Series. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (2). pp. 383-393. ISSN 0162-8828

Henzinger, M. and Peng, P. orcid.org/0000-0003-2700-5699 (2020) Constant-time dynamic (∆+1)-coloring. In: Paul, C. and Bläser, M., (eds.) 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). 37th Symposium on Theoretical Aspects of Computer Science (STACS 2020), 10-13 Mar 2020, Montpellier, France. LIPIcs, 154 . Schloss Dagstuhl – Leibniz Center for Informatics , 53:1-53:18. ISBN 9783959771405

Hess, A.V., Mödersheim, S.A. and Brucker, A.D. orcid.org/0000-0002-6355-1200 (2018) Stateful Protocol Composition (Extended Version). Technical Report. DTU Compute, Technical University Denmark. ISSN 1601-2321

Hevia Fajardo, M.A. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2020) On the choice of the parameter control mechanism in the (1+(λ, λ)) genetic algorithm. In: GECCO 2020: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO 2020 : Genetic and Evolutionary Computation Conference, 08-12 Jul 2020, Cancún, Mexico. ACM Digital Library , pp. 832-840. ISBN 9781450371285

Heywood, P., Maddock, S. orcid.org/0000-0003-3179-0263, Bradley, R. et al. (7 more authors) (2019) A data-parallel many-source shortest-path algorithm to accelerate macroscopic transport network assignment. Transportation Research Part C: Emerging Technologies, 104. pp. 332-347. ISSN 0968-090X

Heywood, P., Maddock, S.C. orcid.org/0000-0003-3179-0263, Casas, J. et al. (3 more authors) (2017) Data-parallel agent-based microscopic road network simulation using graphics processing units. Simulation Modelling Practice and Theory. ISSN 1569-190X

Heywood, P., Richmond, P. and Maddock, S. orcid.org/0000-0003-3179-0263 (2015) Road Network Simulation Using FLAME GPU. In: Euro-Par 2015: Parallel Processing Workshops. Euro-Par 2015 International Workshops, 24-25 Aug 2015, Vienna, Austria. Lecture Notes in Computer Science, 9523 . Springer, Cham , pp. 430-441. ISBN 978-3-319-27307-5

Hierons, R. orcid.org/0000-0002-4771-1446 (2019) FSM quasi-equivalence testing via reduction and observing absence. Science of Computer Programming, 177. pp. 1-18. ISSN 0167-6423

Hierons, R. orcid.org/0000-0002-4771-1446, Li, M., Liu, X. et al. (3 more authors) (2020) Many-objective test suite generation for software product lines. ACM Transactions on Software Engineering and Methodology, 29 (1). 2. ISSN 1049-331X

Hierons, R.M. orcid.org/0000-0002-4771-1446 (2017) Testing from partial finite state machines without harmonised traces. IEEE Transactions on Software Engineering, 43 (11). pp. 1033-1043. ISSN 0098-5589

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

Hierons, R.M. orcid.org/0000-0002-4771-1446, Li, M., Liu, X. et al. (2 more authors) (2016) SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. ACM Transactions on Software Engineering and Methodology, 25 (2). 17. ISSN 1049-331X

Hierons, R.M. orcid.org/0000-0002-4771-1446, Merayo, M.G. and Nunez, M. (2018) Bounded reordering in the distributed test architecture. IEEE Transactions on Reliability, 67 (2). pp. 522-537. ISSN 0018-9529

Hierons, R.M. orcid.org/0000-0002-4771-1446 and Turker, U.C. (2016) Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences. IEEE Transactions on Software Engineering, 42 (11). pp. 1077-1091. ISSN 0098-5589

Hierons, R.M. orcid.org/0000-0002-4771-1446 and Xie, T. (2020) On automation in software engineering. Software Testing, Verification and Reliability, 30 (6). e1753. ISSN 0960-0833

Hofner, P., Struth, G. and Sutcliffe, G. (2009) Automated verification of refinement laws. Annals of Mathematics and Artificial Intelligence, 55 (1-2). pp. 35-62. ISSN 1012-2443

Holland, B.L., Monk, N.A.M. orcid.org/0000-0002-5465-4857, Clayton, R.H. orcid.org/0000-0002-8438-7518 et al. (1 more author) (2019) A theoretical analysis of how plant growth is limited by carbon allocation strategies and respiration. in silico Plants (isP), 1 (1). ISSN 2517-5025

Homayoun, S., Dehghantanha, A., Ahmadzadeh, M. et al. (2 more authors) (2020) Know abnormal, find evil: frequent pattern mining for ransomware threat hunting and intelligence. IEEE Transactions on Emerging Topics in Computing, 8 (2). pp. 341-351. ISSN 2168-6750

Hopkins, M. and Dehghantanha, A. (2015) Exploit Kits: The production line of the Cybercrime Economy. In: Information Security and Cyber Forensics (InfoSec), 2015 Second International Conference on. 2015 Second International Conference on Information Security and Cyber Forensics (InfoSec), 15-17 Nov 2015, Cape Town, South Africa. IEEE . ISBN 9781467369886

Hornsby, J., Daly, D., Grundy , D. et al. (4 more authors) (2017) Quantitative multiphoton microscopy of murine urinary bladder morphology during in situ uniaxial loading. Acta Biomaterialia, 64. pp. 59-66. ISSN 1742-7061

Hu, Q., Ma, N. and Brown, G.J. orcid.org/0000-0001-8565-5476 (2023) Robust binaural sound localisation with temporal attention. In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). International Conference on Acoustics Speech and Signal Processing (ICASSP 2023), 04-10 Jun 2023, Rhodes Island, Greece. Institute of Electrical and Electronics Engineers (IEEE) . (In Press)

Huang, Liang, Thomson, Christopher and Holcombe, Mike (2007) How good are your testers? An assessment of testing ability. In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007, 12-14 Sep 2007, Windsor, UK.

Huang, Z. and Peng, P. orcid.org/0000-0003-2700-5699 (2018) Dynamic graph stream algorithms in o(n) space. Algorithmica. ISSN 0178-4617

Huang, G. and Moore, R.K. orcid.org/0000-0003-0065-3311 (2022) Is honesty the best policy for mismatched partners? Aligning multi-modal affordances of a social robot: an opinion paper. Frontiers in Virtual Reality. ISSN 2673-4192

Huang, H., Li, C., Peng, X. orcid.org/0000-0001-5787-9982 et al. (5 more authors) (2022) Cross-knowledge-graph entity alignment via relation prediction. Knowledge-Based Systems, 240. 107813. ISSN 0950-7051

Huang, Q. and Hain, T. orcid.org/0000-0003-0939-3464 (2020) Exploration of audio quality assessment and anomaly localisation using attention models. In: Meng, H., Xu, B. and Zheng, T., (eds.) Proceedings of Interspeech 2020. Interspeech 2020, 25-29 Oct 2020, Shanghai, China. ISCA - International Speech Communication Association , pp. 4611-4615.

Huang, Q. and Hain, T. orcid.org/0000-0003-0939-3464 (2021) Improving audio anomalies recognition using temporal convolutional attention networks. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 06-11 Jun 2021, Toronto, ON, Canada. Institute of Electrical and Electronics Engineers , pp. 6473-6477. ISBN 9781728176062

Huang, S., Chen, M., Xu, Y. et al. (2 more authors) (2021) WINVC : one-shot voice conversion with weight adaptive instance normalization. In: Pham, D.N., Theeramunkong, T., Governatori, G. and Liu, F., (eds.) PRICAI 2021: Trends in Artificial Intelligence 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8–12, 2021, Proceedings, Part II. The 18th Pacific Rim International Conference on Artificial Intelligence (PRICAI), 08-12 Nov 2021, Hanoi, Vietnam (virtual). Springer International Publishing , pp. 559-573. ISBN 9783030893620

Huang, Z., Rong, W., Zhang, X. et al. (3 more authors) (2022) Token relation aware Chinese named entity recognition. ACM Transactions on Asian and Low-Resource Language Information Processing. ISSN 2375-4699

Huang, Z., Zhao, Z., Li, B. et al. (1 more author) (2023) LCPFormer: Towards effective 3D point cloud analysis via local context propagation in transformers. IEEE Transactions on Circuits and Systems for Video Technology. ISSN 1051-8215

Huber, R., Baumgartner, H., Goetze, S. orcid.org/0000-0003-1044-7343 et al. (1 more author) (2020) ASR-based, single-ended modeling of listening effort - a tool for TV sound engineers. In: Proceedings of the FA2020 Conference. Forum Acusticum, 07-11 Dec 2020, Lyon, France. Forum Acusticum , pp. 2441-2445.

Huerta y Munive, J.J. and Struth, G. (2022) Predicate transformer semantics for hybrid systems: verification components for Isabelle/HOL. Journal of Automated Reasoning, 66 (1). pp. 93-139. ISSN 0168-7433

Humphreys, K., Gaizauskas, R., Hepple, M. et al. (1 more author) (1999) University of Sheffield TREC-8 Q & A System. In: NIST Special Publication 500-246. The Eighth Text REtrieval Conference (TREC 8), November 17-19, 1999, Gaithersburg, Maryland.. NIST , pp. 707-716.

Humphries, M.D. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2010) The ventral basal ganglia, a selection mechanism at the crossroads of space, strategy, and reward. Progress in Neurobiology, 90 (4). pp. 385-417. ISSN 0301-0082

Humphries, M.D., Prescott, T.J. orcid.org/0000-0003-4927-5390 and Gurney, K.N. orcid.org/0000-0003-4771-728X (2003) The interaction of recurrent axon collateral networks in the basal ganglia. In: Kaynak, O., Alpaydin, E., Oja, E. and Xu, L., (eds.) Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP. Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP 2003, 26-29 Jun 2003, Istanbul, Turkey. Lecture Notes in Computer Science (2714). Springer , pp. 797-804. ISBN 9783540404088

Hung, C.-M., Sun, L. orcid.org/0000-0002-0393-8665, Wu, Y. et al. (2 more authors) (2021) Introspective visuomotor control : exploiting uncertainty in deep visuomotor control for failure recovery. In: ICRA 2021 : IEEE International Conference on Robotics and Automation. 2021 IEEE International Conference on Robotics and Automation (ICRA), 30 May - 05 Jun 2021, Xi’an, China. Institute of Electrical and Electronics Engineers . (In Press)

Huzard, D., Vouros, A. orcid.org/0000-0002-3383-6133, Monari, S. et al. (3 more authors) (2020) Constitutive differences in glucocorticoid responsiveness are related to divergent spatial information processing abilities. Stress, 23 (1). pp. 37-49. ISSN 1025-3890