Browse by Academic Unit (A-Z)

A

ALGorain, F.T. orcid.org/0000-0003-0547-1402 and Alnaeem, A.S. orcid.org/0009-0007-1432-9498 (2023) Deep learning optimisation of static malware detection with grid search and covering arrays. Telecom, 4 (2). pp. 249-264.

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

Abbas, N., Whitfield, J., Atwell, E. orcid.org/0000-0001-9395-3764 et al. (3 more authors) (2022) Online chat and chatbots to enhance mature student engagement in higher education. International Journal of Lifelong Education, 41 (3). pp. 308-326. ISSN 0260-1370

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

Abbasi, F., Banerjee, S., Byrka, J. et al. (6 more authors) (2023) Parameterized approximation schemes for clustering with general norm objectives. In: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) Proceedings. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 06-09 Nov 2023, Santa Cruz, CA, USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 1377-1399. ISBN 9798350318951

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)

Abdolmaleki, B., Badrinarayanan, S., Fernando, R. et al. (3 more authors) (2023) Two-round concurrent 2PC from sub-exponential LWE. In: Advances in Cryptology – ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4–8, 2023, Proceedings, Part I. 29th International Conference on the Theory and Application of Cryptology and Information Security, 04-08 Dec 2023, Guangzhou, China. Lecture Notes in Computer Science, LNCS 14438 . Springer Nature Singapore , pp. 71-105. ISBN 9789819987207

Abdolmaleki, B. orcid.org/0009-0008-8335-2787, Fauzi, P. orcid.org/0000-0001-6800-7821, Krips, T. orcid.org/0000-0003-0981-3553 et al. (1 more author) (2024) Shuffle arguments based on subset-checking. In: Galdi, C. and Phan, D.H., (eds.) Security and Cryptography for Networks. 14th International Conference, SCN 2024, 11-13 Sep 2024, Amalfi, Italy. Lecture Notes in Computer Science, 14973 . Springer Nature Switzerland , pp. 345-366. ISBN 9783031710698

Abriola, S., Cifuentes, S., Martinez, M.V. et al. (2 more authors) (2023) An epistemic approach to model uncertainty in data-graphs. International Journal of Approximate Reasoning, 160. 108948. ISSN 0888-613X

Abriola, S., Cifuentes, S., Pardal, N. et al. (1 more author) (2023) Data-graph repairs: the preferred approach. In: Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023). 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 22-26 May 2023, Santiago de Chile, Chile. CEUR Workshop Proceedings, 3409 . CEUR Workshop Proceedings , p. 12.

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

Ahmad, R., Farooq, M.U. and Hain, T. orcid.org/0000-0003-0939-3464 (2024) Progressive unsupervised domain adaptation for ASR using ensemble models and multi-stage training. In: ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2024), 14-19 Apr 2024, Seoul, Korea. Institute of Electrical and Electronics Engineers (IEEE) , pp. 11466-11470. ISBN 979-8-3503-4485-1

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

Aker, A., Zubiaga, A., Bontcheva, K. orcid.org/0000-0001-6152-9600 et al. (3 more authors) (2017) Stance classification in out-of-domain rumours: a case study around mental health disorders. In: Ciampaglia, G.L., Mashhadi, A.J. and Yasseri, T., (eds.) Social Informatics. 9th International Conference, SocInfo 2017, 13-15 Sep 2017, Oxford, UK. Lecture Notes in Computer Science, 10540 . Springer International Publishing , pp. 53-64. ISBN 9783319672557

Akeroyd, M., Bailey, W., Bannister, S. et al. (12 more authors) (2024) The Clarity & Cadenza Challenges. In: Astolfi, A., Asdrubali, F. and Shtrepi, L., (eds.) Proceedings of the 10th Convention of the European Acoustics Association Forum Acusticum 2023. 10th Convention of the European Acoustics Association Forum Acusticum 2023, 11-15 Sep 2023, Torino, Italy. European Acoustics Association , pp. 1209-1211. ISBN 9788888942674

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-Mansoori, A. orcid.org/0009-0002-9164-1315, Al Hayk, O. orcid.org/0009-0004-0095-7328, Qassmi, S. orcid.org/0009-0000-5950-2919 et al. (5 more authors) (2025) Infoveillance of COVID-19 infections in dentistry using platform X: descriptive study. Journal of Medical Internet Research, 27. e54650. ISSN 1439-4456

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

Alamán-Zárate, M.G. orcid.org/0009-0007-0587-534X, Rady, B.J. orcid.org/0000-0003-4763-4070, Ledermann, R. et al. (10 more authors) (2025) A software tool and strategy for peptidoglycomics, the high-resolution analysis of bacterial peptidoglycans via LC-MS/MS. Communications Chemistry, 8 (1). 91. ISSN 2399-3669

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.

Alandejani, F., Alabed, S. orcid.org/0000-0002-9960-7587, Garg, P. et al. (22 more authors) (2022) Training and clinical validation of artificial intelligence derived right atrial cardiovascular magnetic resonance measurements. In: American Journal of Respiratory and Critical Care Medicine. American Thoracic Society 2022 International Conference, May 13-18, 2022 - San Francisco, CA, 13-18 May 2022, American Thoracic Society 2022 International Conference. American Thoracic Society , a2285-a2285.

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

Alfandi, O., Khanji, S. orcid.org/0000-0002-3514-6398, Ahmad, L. et al. (1 more author) (2021) A survey on boosting IoT security and privacy through blockchain. Cluster Computing, 24 (1). pp. 37-55. ISSN 1386-7857

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, 95. pp. 127-136. 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. 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, 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. 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. orcid.org/0000-0002-3636-5250, Cunningham, S. orcid.org/0000-0001-9418-8726 and Christensen, H. orcid.org/0000-0003-3028-5062 (2023) The Dysarthric Expressed Emotional Database (DEED): an audio-visual database in British English. PLOS ONE, 18 (8). e0287971. ISSN 1932-6203

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

Allwood, D.A., Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Griffin, D. orcid.org/0000-0002-4077-0005 et al. (11 more authors) (2023) A perspective on physical reservoir computing with nanomagnetic devices. Applied Physics Letters, 122 (4). 040501. ISSN 0003-6951

Alnashwan, R. orcid.org/0000-0001-9156-1679, Gope, P. orcid.org/0000-0003-2786-0273 and Dowling, B. orcid.org/0000-0003-3234-6527 (2023) Privacy-aware secure region-based handover for small cell networks in 5G-enabled mobile communication. IEEE Transactions on Information Forensics and Security, 18. pp. 1898-1913. ISSN 1556-6013

Alnashwan, R. orcid.org/0000-0001-9156-1679, Yang, Y. orcid.org/0009-0005-6715-7912, Dong, Y. orcid.org/0009-0005-5062-9493 et al. (3 more authors) (2024) Strong privacy-preserving universally composable AKA protocol with seamless handover support for Mobile Virtual Network Operator. In: Luo, B., Liao, X. and Xu, J., (eds.) CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security. CCS '24: ACM SIGSAC Conference on Computer and Communications Security, 14-18 Oct 2024, Salt Lake City, UT, USA. ACM , pp. 2057-2071. ISBN 9798400706363

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

Alqulaity, M. and Yang, P. orcid.org/0000-0002-8553-7127 (2024) Enhanced conditional GAN for high-quality synthetic tabular data generation in mobile-based cardiovascular healthcare. Sensors, 24 (23). 7673. ISSN 1424-8220

Alrashidi, A., Cudd, P., Abhayaratne, C. et al. (1 more author) (2023) Exploration of verbal descriptions and dynamic indoors environments for people with sight loss. In: Schmidt, A., Väänänen, K., Goval, T., Kristensson, P.O., Peters, A., Mueller, S., Williamson, J.R. and Wilson, M.L., (eds.) CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. CHI '23: CHI Conference on Human Factors in Computing Systems, 23-28 Apr 2023, Hamburg, Germany. Association for Computing Machinery , p. 110. ISBN 9781450394222

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

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

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, E., Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Richmond, P. orcid.org/0000-0002-4657-5518 (2020) Data aware simulation of complex systems on GPUs. In: 2019 International Conference on High Performance Computing & Simulation (HPCS). 2019 International Conference on High Performance Computing & Simulation (HPCS), 15-19 Jul 2019, Dublin, Ireland. Institute of Electrical and Electronics Engineers (IEEE) , pp. 567-574. ISBN 9781728144856

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

Angel, Y., Dowling, B. orcid.org/0000-0003-3234-6527, Hülsing, A. et al. (2 more authors) (2022) Post quantum noise. In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 07-11 Nov 2022, Los Angeles, U.S.A.. Association for Computing Machinery , New York, NY, United States , pp. 97-109. ISBN 9781450394505

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

Anness, A.R., Foster, M. orcid.org/0000-0001-8233-9873, Osman, M.W. et al. (5 more authors) (2024) Do maternal haemodynamics have a causal influence on treatment for gestational diabetes? Journal of Obstetrics and Gynaecology, 44 (1). 2307883. ISSN 0144-3615

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

Apers, S., Efron, Y., Gawrychowski, P. et al. (3 more authors) (2022) Cut query algorithms with star contraction. In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS). 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 31 Oct - 03 Nov 2022, Denver, CO, USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 507-518. ISBN 9781665455206

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., 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., 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.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. orcid.org/0000-0001-8408-5782, Bennion, M. orcid.org/0000-0003-2318-1468 et al. (6 more authors) (2018) COBALT, TUNGSTEN, and THAW: new tools for engaging older adults as technology experts. In: Gerontechnology. UNSPECIFIED. International Society for Gerontechnology (ISG) .

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

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

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

Baek, Y.-M. orcid.org/0000-0002-9796-3756, Cho, E., Shin, D. orcid.org/0000-0002-0840-6449 et al. (1 more author) (2024) An extensible modeling method supporting ontology-based scenario specification and domain-specific extension. International Journal of Software Engineering and Knowledge Engineering, 34 (1). pp. 91-162. ISSN 0218-1940

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, 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, 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, 5 (2). pp. 126-136. 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. 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.

Bakir, M.E. orcid.org/0000-0002-3012-8713, Farrell, T. and Bontcheva, K. orcid.org/0000-0001-6152-9600 (2024) Abuse in the time of COVID-19: the effects of Brexit, gender and partisanship. Online Information Review, 48 (5). 5. pp. 1045-1062. ISSN 1468-4527

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

Baligács, J., Disser, Y., Feldmann, A.E. orcid.org/0000-0001-6229-5332 et al. (1 more author) (2024) A (5/3+ε)-approximation for tricolored non-crossing Euclidean TSP. In: 32nd Annual European Symposium on Algorithms (ESA 2024). 32nd Annual European Symposium on Algorithms (ESA 2024), 02-04 Sep 2024, London, UK. Leibniz International Proceedings in Informatics, LIPIcs, 308 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 15:1-15:15.

Balshaw, T.G., Pahar, M. orcid.org/0000-0002-5926-0144, Chesham, R. et al. (2 more authors) (2017) Reduced firing rates of high threshold motor units in response to eccentric overload. Physiological Reports, 5 (2). e13111. ISSN 2051-817X

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

Bannister, S., Greasley, A.E., Cox, T.J. et al. (8 more authors) (2024) Muddy, muddled, or muffled? Understanding the perception of audio quality in music by hearing aid users. Frontiers in Psychology, 15. 1310176. ISSN 1664-1078

Barawi, M.H., Lin, C. orcid.org/0000-0003-3454-2468, Siddharthan, A. et al. (1 more author) (2021) Extractive and abstractive sentence labelling of sentiment-bearing topics. [Preprint] (Submitted)

Barbero, F. and Virtema, J. orcid.org/0000-0002-1582-3718 (2024) Expressivity landscape for logics with probabilistic interventionist counterfactuals. In: Murano, A. and Silva, A., (eds.) 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 19-23 Feb 2024, Naples, Italy. Leibniz International Proceedings in Informatics (LIPIcs)., 288 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 15:1-15:19. ISBN 9783959773102

Barbero, F. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. In: Gaggl, S., Martinez, M.V. and Ortiz, M., (eds.) Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 20-22 Sep 2023, Dresden, Germany. Lecture Notes in Computer Science (LNAI 14281). Springer Cham , pp. 649-664. ISBN 9783031436185

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, 46. pp. 386-387. 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

Barker, E., Barker, J. orcid.org/0000-0002-1684-5660, Gaizauskas, R. et al. (2 more authors) (2022) SNuC: The Sheffield Numbers Spoken Language Corpus. In: Calzolari, N., Béchet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Odijk, J. and Piperidis, S., (eds.) Proceedings of the Thirteenth Language Resources and Evaluation Conference. 13th Conference on Language Resources and Evaluation (LREC 2022), 20-25 Jun 2022, Marseille, France. European Language Resources Association , pp. 1978-1984. ISBN 9791095546726

Barlag, T., Hannula, M., Kontinen, J. et al. (2 more authors) (2023) Unified foundations of team semantics via semirings. In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. 20th International Conference on Principles of Knowledge Representation and Reasoning, 02-08 Sep 2023, Rhodes, Greece. IJCAI Organization , pp. 75-85. ISBN 9781956792027

Barlag, T., Holzapfel, V., Strieker, L. et al. (2 more authors) (2025) Graph neural networks and arithmetic circuits. In: Advances in Neural Information Processing Systems (NeurIPS 2024). 38th Annual Conference on Neural Information Processing Systems (NeurIPS 2024), 10-15 Dec 2024, Vancouver, Canada. NeurIPS .

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

Bartsch, W., Gope, P. orcid.org/0000-0003-2786-0273, Kavun, E. et al. (4 more authors) (2023) Design rationale for symbiotically secure key management systems in IoT and beyond. In: Proceedings of the 9th International Conference on Information Systems Security and Privacy. 9th International Conference on Information Systems Security and Privacy ICISSP, 22-24 Feb 2023, Lisbon, Portugal. SCITEPRESS - Science and Technology Publications , pp. 583-591. ISBN 9789897586248

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) (2023) Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic, 24 (2). 17. ISSN 1529-3785

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. (2022) Analysis of attribute‐based cryptographic techniques and their application to protect cloud services. Transactions on Emerging Telecommunications Technologies, 33 (3). e3667. 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

Belkaid, M., Metta, G., Prescott, T. orcid.org/0000-0003-4927-5390 et al. (1 more author) (2023) Editorial of the special issue on human-like behavior and cognition in robots. International Journal of Social Robotics, 15 (8). pp. 1261-1263. ISSN 1875-4791

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, Ewbank, F., Narracott, A. et al. (5 more authors) (2025) Computational fluid dynamics and shape analysis enhance aneurysm rupture risk stratification. International Journal of Computer Assisted Radiology and Surgery, 20 (1). pp. 31-41. ISSN 1861-6410

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

Benjamini, I., Dikstein, Y., Gross, R. orcid.org/0009-0007-5880-7033 et al. (1 more author) (2025) Randomly twisted hypercubes: between structure and randomness. Random Structures & Algorithms, 66 (1). e21267. ISSN 1042-9832

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

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.R. orcid.org/0000-0003-2318-1468, Spencer, R. orcid.org/0000-0002-5144-9794, Moore, R.K. orcid.org/0000-0003-0065-3311 et al. (1 more author) (2024) Digital capability, open-source use, and interoperability standards within the NHS in England: A survey of healthcare trusts. [Preprint] (Submitted)

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, Gurke, S., König, B. et al. (1 more author) (2023) Hennessy-Milner theorems via Galois connections. In: Leibniz International Proceedings in Informatics, LIPIcs. 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 13-16 Feb 2023, Warsaw, Poland. Leibniz International Proceedings in Informatics, 252 . Schloss Dagstuhl -- Leibniz-Zentrum , 12:1-12:18. ISBN 978-3-95977-264-8

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (4 more authors) (2024) Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: Beyersdorff, O., Kanté, M.M., Kupferman, O. and Lokshtanov, D., (eds.) 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12-14 Mar 2024, Clermont-Ferrand, France. Leibniz International Proceedings in Informatics (LIPIcs), 289 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 10:1-10:19.

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

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

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

Bhan, R., Pamula, R., Kumar, K.S. et al. (4 more authors) (2025) DLCDroid an android apps analysis framework to analyse the dynamically loaded code. Scientific Reports, 15. 3292.

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 stentplasty vasospasm treatment: insights using mechanistic mathematical modeling. Clinical Neuroradiology, 29 (4). pp. 763-774. ISSN 1869-1439

Biagiola, M., Cardozo, N., Shin, D. orcid.org/0000-0002-0840-6449 et al. (3 more authors) (2023) Summary of the fourth international workshop on deep learning for testing and testing for deep learning (DeepTest 2023). ACM SIGSOFT Software Engineering Notes, 48 (4). pp. 39-40. ISSN 0163-5948

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

Billington, A., Walton, G., Whitbread, J. et al. (1 more author) (2017) Using the robot operating system for biomimetic research. In: Mangan, M., Cutkosky, M., Mura, A., Verschure, P.F.M.J., Prescott, T. and Lepora, N., (eds.) Biomimetic and Biohybrid Systems: 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedings. 6th International Conference, Living Machines 2017, 26-28 Jul 2017, Stanford, CA, USA. Lecture Notes in Computer Science, LNAI 10384 . Springer International Publishing , pp. 515-521. ISBN 9783319635361

Bin Hezam, R. and Stevenson, R.M. orcid.org/0000-0002-9483-6006 (2024) RLStop: a reinforcement learning stopping method for TAR. In: SIGIR '24: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval. The 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, 14-18 Jul 2024, Washington D.C., USA. ACM Digital Library , pp. 2604-2608. ISBN 9798400704314

Bin-Hezam, R. and Stevenson, R. orcid.org/0000-0002-9483-6006 (2023) Combining counting processes and classification improves a stopping rule for technology assisted review. In: Bouamor, H., Pino, J. and Bali, K., (eds.) Findings of the Association for Computational Linguistics: EMNLP 2023. The 2023 Conference on Empirical Methods in Natural Language Processing, 06-10 Dec 2023, Singapore. Association for Computational Linguistics , pp. 2603-2609.

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

Blikstad, J., Mukhopadhyay, S. orcid.org/0000-0002-3722-4679, Nanongkai, D. et al. (1 more author) (2023) Fast algorithms via dynamic-oracle matroids. In: Barna, S. and Servedio, R.A., (eds.) STOC 2023: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. STOC 2023: 55th Annual ACM Symposium on Theory of Computing, 20-23 Jun 2023, Orlando, Florida. ACM , pp. 1229-1242. ISBN 9781450399135

Blikstad, J., Van Den Brand, J., Efron, Y. et al. (2 more authors) (2022) Nearly optimal communication and query complexity of bipartite matching. In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS). 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 31 Oct - 03 Nov 2022, Denver, CO, USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 1174-1185. ISBN 9781665455206

Blikstad, J., van den Brand, J., Mukhopadhyay, S. orcid.org/0000-0002-3722-4679 et al. (1 more author) (2021) Breaking the quadratic barrier for matroid intersection. In: Khuller, S., (ed.) STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 21-25 Jun 2021, Virtual, Italy. Association for Computing Machinery (ACM) , pp. 421-432. ISBN 9781450380539

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

Blum, J., Disser, Y., Feldmann, A.E. orcid.org/0000-0001-6229-5332 et al. (2 more authors) (2022) On sparse hitting sets: from fair vertex cover to highway dimension. In: Dell, H. and Nederlof, J., (eds.) Leibniz International Proceedings in Informatics (LIPIcs). 17th International Symposium on Parameterized and Exact Computation (IPEC 2022), 07-09 Sep 2022, Potsdam, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 249 . Schloss Dagstuhl -- Leibniz-Zentrum , Dagstuhl, Germany , 5:1-5:23. ISBN 978-3-95977-260-0

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. (2021) Investigating alignment interpretability for low-resource NMT. Machine Translation, 34. pp. 305-323. ISSN 0922-6567

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: Beermann, D., Besacier, L., Sakti, S. and Soria, C., (eds.) 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) , pp. 79-87. ISBN 979-10-95546-35-1

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

Bonnet, É orcid.org/0000-0002-1653-5822, Duron, J., Sylvester, J. orcid.org/0000-0002-6543-2934 et al. (2 more authors) (2024) Small but Unwieldy: A Lower Bound on Adjacency Labels for Small Classes. SIAM Journal on Computing, 53 (5). pp. 1578-1601. ISSN 0097-5397

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, 420. pp. 213-219. 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

Borau, C. orcid.org/0000-0002-3784-1140, Chisholm, R. orcid.org/0000-0003-3379-9042, Richmond, P. orcid.org/0000-0002-4657-5518 et al. (1 more author) (2024) An agent-based model for cell microenvironment simulation using FLAMEGPU2. Computers in Biology and Medicine, 179. 108831. ISSN 0010-4825

Borau, C. orcid.org/0000-0002-3784-1140, Wertheim, K.Y. orcid.org/0000-0002-4152-2898, Hervas-Raluy, S. orcid.org/0000-0001-8324-5596 et al. (11 more authors) (2023) A multiscale orchestrated computational framework to reveal emergent phenomena in neuroblastoma. Computer Methods and Programs in Biomedicine, 241. 107742. ISSN 0169-2607

Borg, M., Abdessalem, R.B., Nejati, S. et al. (2 more authors) (2021) Digital Twins Are Not Monozygotic – cross-replicating ADAS testing in two industry-grade automotive simulators. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 12-16 Apr 2021, Porto de Galinhas, Brazil. Institute of Electrical and Electronics Engineers (IEEE) , pp. 383-393. ISBN 9781728168371

Borgwardt, S. orcid.org/0000-0002-8069-5046, Brand, C., Feldmann, A.E. orcid.org/0000-0001-6229-5332 et al. (1 more author) (2021) A note on the approximability of deepest-descent circuit steps. Operations Research Letters, 49 (3). pp. 310-315. ISSN 0167-6377

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

Bosek, B., Disser, Y., Feldmann, A.E. orcid.org/0000-0001-6229-5332 et al. (2 more authors) (2020) Recoloring interval graphs with limited recourse budget. In: Albers, S., (ed.) Leibniz International Proceedings in Informatics, LIPIcs. 17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020), 22-24 Jun 2020, Tórshavn, Faroe Islands. Schloss Dagstuhl--Leibniz-Zentrum für Informatik , 17:1-17:23. ISBN 9783959771504

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

Bradfer‐Lawrence, T. orcid.org/0000-0001-6045-4360, Duthie, B. orcid.org/0000-0001-8343-4995, Abrahams, C. orcid.org/0000-0003-0301-5585 et al. (20 more authors) (2024) The Acoustic Index User's Guide: a practical manual for defining, generating and understanding current and future acoustic indices. Methods in Ecology and Evolution. ISSN 2041-210X

Brennaf, M., Yang, P. orcid.org/0000-0002-8553-7127 and Lanfranchi, V. (2025) Secured cost-effective anonymous federated learning with proxied privacy enhancement for personal devices. IEEE Internet of Things Journal. ISSN 2327-4662 (In Press)

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) 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), 47 (12). pp. 1923-1943. ISSN 0038-0644

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

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

Burrell, J. orcid.org/0000-0001-7511-5249, Baker, F. orcid.org/0000-0002-1713-3702 and Bennion, M. orcid.org/0000-0003-2318-1468 (2025) A resilience training web app for NHS keyworkers: a pilot usability study. JMIR Medical Education, 11. ISSN 2369-3762

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.

Callaghan, M. orcid.org/0000-0001-8292-8758, Müller-Hansen, F. orcid.org/0000-0002-0425-1996, Bond, M. et al. (9 more authors) (2024) Computer-assisted screening in systematic evidence synthesis requires robust and well-evaluated stopping criteria. Systematic Reviews, 13. 284. ISSN 2046-4053

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, 30 (4). pp. 343-361. 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

Canute, M., Jin, M., Holtzclaw, H. et al. (6 more authors) (2023) Dimensions of online conflict: towards modeling agonism. In: Findings of the Association for Computational Linguistics: EMNLP 2023. The 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP 2023), 06-10 Dec 2023, Singapore. Association for Computational Linguistics , pp. 12194-12209. ISBN 9798891760615

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

Cavalcanti, A. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2023) Challenges in testing of cyclic systems. In: Aït-Ameur, Y., Khendek, F. and Méry, D., (eds.) 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS). 27th International Conference on Engineering of Complex Computer Systems, 14-16 Jun 2023, Toulouse, France. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 979-8-3503-4004-4

Ceci, M. orcid.org/0000-0003-3800-0906, Sannier, N. orcid.org/0000-0002-4449-5792, Abualhaija, S. orcid.org/0000-0001-6095-447X et al. (3 more authors) (2024) Toward automated compliance checking of fund activities using runtime verification techniques. In: FinanSE '24: Proceedings of the 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms. FinanSE '24: 1st IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms, 16 Apr 2024, Lisbon, Portugal. Association for Computing Machinery , New York, United States , pp. 19-20. ISBN 9798400705687

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

Chang, X., Zhou, M., Wang, X. et al. (2 more authors) (2024) Informative relationship multi-task learning: exploring pairwise contribution across tasks’ sharing knowledge. Knowledge-Based Systems, 301. 112187. ISSN 0950-7051

Chapman, K.E. orcid.org/0000-0002-6584-6248, Smith, M.T., Gaston, K.J. orcid.org/0000-0002-7235-7928 et al. (1 more author) (2024) Bumblebee nest departures under low light conditions at sunrise and sunset. Biology Letters, 20 (4). 20230518. ISSN 1744-957X

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

Chattopadhyay, A., Dvořák, P., Koucký, M. et al. (2 more authors) (2017) Lower bounds for elimination via weak regularity. In: Vollmer, H. and Vallée, B., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 08-11 Mar 2017, Hannover, Germany. Leibniz International Proceedings in Informatics, 66 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , Dagstuhl, Germany , 21:1-21:14. ISBN 978-3-95977-028-6

Chattopadhyay, A., Koucký, M., Loff, B. et al. (1 more author) (2018) Simulation beats richness: new data-structure lower bounds. In: Diakonikolas, I. and Kempe, D., (eds.) STOC 2018: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. STOC '18: Symposium on Theory of Computing, 25-29 Jun 2018, CA, Los Angeles, USA. Association for Computing Machinery (ACM) , pp. 1013-1020. ISBN 9781450355599

Chattopadhyay, A., Koucký, M., Loff, B. et al. (1 more author) (2019) Simulation theorems via pseudo-random properties. Computational Complexity, 28. pp. 617-659. ISSN 1016-3328

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., 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, C., Debattista, K. and Han, J. (2024) Pseudo-labelling should be aware of disguising channel activations. In: Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. and Varol, G., (eds.) Computer Vision – ECCV 2024. The 18th European Conference on Computer Vision ECCV 2024, 29 Sep - 04 Oct 2024, Milan, Italy. Lecture Notes in Computer Science, 15121 . , pp. 312-328. ISBN 978-3-031-73035-1

Chen, C., Han, J. and Debattista, K. (2024) Virtual category learning: a semi-supervised learning method for dense prediction with extremely limited labels. IEEE Transactions on Pattern Analysis and Machine Intelligence, 46 (8). pp. 5595-5611. ISSN 0162-8828

Chen, J., Chen, C., Huang, W. et al. (3 more authors) (2024) Dynamic contrastive learning guided by class confidence and confusion degree for medical image segmentation. Pattern Recognition, 145. 109881. ISSN 0031-3203

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, 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) (2018) Layer dependent role of collagen recruitment during loading of the rat bladder wall. Biomechanics and Modeling in Mechanobiology, 17 (2). pp. 403-417. 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

Chetouani, M. orcid.org/0000-0002-2920-4539, Briefer, E.F., Dassow, A. et al. (4 more authors) (2023) Vocal interactivity in-and-between humans, animals and robots. Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systems, 24 (1). pp. 1-4. ISSN 1572-0373

Cheung, H.C. orcid.org/0009-0006-3688-8066, Cameron, D. orcid.org/0000-0001-8923-5591, Lucas, A. orcid.org/0000-0002-3165-3923 et al. (1 more author) (2024) Effects of summer robotics activities in libraries on children’s interest in robotics and STEM career. In: Balogh, R., Obdržálek, D. and Fislake, F., (eds.) Robotics in Education: Proceedings of the RiE 2024 Conference. RiE 2024 Conference, 10-12 Apr 2024, Koblenz, Germany. Lecture Notes in Networks and Systems, 1084 . Springer Nature Switzerland , pp. 188-199. ISBN 9783031670589

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

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

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

Chitnis, R. and Feldmann, A.E. orcid.org/0000-0001-6229-5332 (2019) FPT inapproximability of directed cut and connectivity problems. In: Jansen, B. M. P. and Telle, J. A., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 14th International Symposium on Parameterized and Exact Computation (IPEC 2019), 11-13 Sep 2019, Munich, Germany. Leibniz International Proceedings in Informatics, 148 . Schloss Dagstuhl - Leibniz-Zentrum , Dagstuhl, Germany , 8:1-8:20. ISBN 978-3-95977-129-0

Chitnis, R. and Feldmann, A.E. orcid.org/0000-0001-6229-5332 (2018) A tight lower bound for Steiner Orientation. In: Fomin, F.V. and Podolskii, V.V., (eds.) Computer Science – Theory and Applications: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. 13th International Computer Science Symposium in Russia, CSR 2018, 06-10 Jun 2018, Moscow, Russia. Lecture Notes in Computer Science, LNTCS 10846 . Springer International Publishing , pp. 65-77. ISBN 9783319905297

Chitnis, R., Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Manurangsi, P. (2021) Parameterized approximation algorithms for bidirected Steiner network problems. ACM Transactions on Algorithms, 17 (2). ARTN 12. pp. 1-68. ISSN 1549-6325

Chitnis, R., Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Manurangsi, P. (2018) Parameterized approximation algorithms for bidirected steiner network problems. In: Azar, Y., Bast, H. and Herman, G., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 26th Annual European Symposium on Algorithms (ESA 2018), 20-24 Aug 2018, Helsinki, Finland. Leibniz International Proceedings in Informatics, 112 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , Dagstuhl, Germany . ISBN 978-3-95977-081-1

Chitnis, R., Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Suchý, O. (2019) A Tight Lower Bound for Planar Steiner Orientation. Algorithmica, 81 (8). pp. 3200-3216. ISSN 0178-4617

Chitnis, R.H. orcid.org/0000-0002-6098-7770, Feldmann, A.E. orcid.org/0000-0001-6229-5332, HajiAghayi, M.T. et al. (1 more author) (2020) Tight bounds for planar strongly connected steiner subgraph with fixed number of terminals (and extensions). SIAM Journal on Computing, 49 (2). pp. 318-364. ISSN 0097-5397

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

Chowdhury, A.A. orcid.org/0000-0002-6552-7298, Kesserwani, G. orcid.org/0000-0003-1125-8384, Rougé, C. et al. (1 more author) (2023) GPU-parallelisation of Haar wavelet-based grid resolution adaptation for fast finite volume modelling: application to shallow water flows. Journal of Hydroinformatics, 25 (4). pp. 1210-1234. ISSN 1464-7141

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)

Chrysostomou, G., Zhao, Z., Williams, M. et al. (1 more author) (2024) Investigating hallucinations in pruned large language models for abstractive summarization. Transactions of the Association for Computational Linguistics, 12. pp. 1163-1181. ISSN 2307-387X

Chrysostomou, G., Zhao, Z., Williams, M. et al. (1 more author) (2024) Investigating hallucinations in pruned large language models for abstractive summarization. Transactions of the Association for Computational Linguistics, 12. pp. 1163-1181. ISSN 2307-387X

Ciosek, K., Vuong, Q., Loftin, R. et al. (1 more author) (2020) Better exploration with optimistic actor-critic. In: Wallach, H., Larochelle, H., Beygelzimer, A., d'Alché-Buc, F. and Garnett, R., (eds.) Advances in Neural Information Processing Systems (NeurIPS 2019). 33rd Conference on Neural Information Processing Systems (NeurIPS 2019), 08-14 Dec 2019, Vancouver, Canada. Neural Information Processing Systems Foundation, Inc. (NeurIPS) . ISBN 9781713807933

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., Prifling, B. et al. (4 more authors) (2024) Testing causality in scientific modelling software. ACM Transactions on Software Engineering and Methodology, 33 (1). pp. 1-42. ISSN 1049-331X

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

Clarke, J., Gotoh, Y. and Goetze, S. orcid.org/0000-0003-1044-7343 (2024) Improving audiovisual active speaker detection in egocentric recordings with the data-efficient image transformer. In: 2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU 2023),, 16-20 Dec 2023, Taipei, Taiwan. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 979-8-3503-0690-3

Clarke, J., Gotoh, Y. orcid.org/0000-0003-1668-0867 and Goetze, S. (2025) Speaker embedding informed audiovisual active speaker detection for egocentric recordings. In: ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) Proceedings. ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 06-11 Apr 2025, Hyperabad, India. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 9798350368758

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, J., Damonte, M. and Gaizauskas, R. orcid.org/0000-0002-3356-5126 (2024) Parsing graphical summaries from argumentative dialogues. In: Reed, C., Thimm, M. and Rienstra, T., (eds.) Computational Models of Argument: Proceedings of COMMA 2024. The 10th International Conference on Computational Models of Argument, 18-20 Sep 2024, Hagen, Germany. Frontiers in Artificial Intelligence and Applications, 388 . IOS Press , pp. 37-48. ISBN 9781643685342

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

Clayton, R.H. orcid.org/0000-0002-8438-7518 and Sridhar, S. (2024) Re-entry in models of cardiac ventricular tissue with scar represented as a Gaussian random field. Frontiers in Physiology, 15. 1403545.

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. orcid.org/0000-0002-9478-5421, Hain, T. orcid.org/0000-0003-0939-3464 and Goetze, S. orcid.org/0000-0003-1044-7343 (2023) Non intrusive intelligibility predictor for hearing impaired individuals using self supervised speech representations. [Preprint] (Submitted)

Close, G. orcid.org/0000-0002-9478-5421, Hain, T. and Goetze, S. (2023) PAMGAN+/-: Improving phase-aware speech enhancement performance via expanded discriminator training. In: AES Convention Europe 2023: 154th Audio Engineering Society Conference. AES Europe 2023: 154th Engineering Society Convention, 13-15 May 2023, Espoo, Helsinki, FInland. Audio Engineering Society , p. 10656.

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.

Close, G., Ravenscroft, W., Hain, T. et al. (1 more author) (2024) Multi-CMGAN+/+: leveraging multi-objective speech quality metric prediction for speech enhancement. In: ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2024), 14-19 Apr 2024, Seoul, Korea. Institute of Electrical and Electronics Engineers (IEEE) , pp. 351-355. ISBN 979-8-3503-4486-8

Close, G., Ravenscroft, W., Hain, T. orcid.org/0000-0003-0939-3464 et al. (1 more author) (2023) Perceive and predict: self-supervised speech representation based loss functions for speech enhancement. In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) Proceedings. ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 04-10 Jun 2023, Rhodes Island, Greece. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 9781728163284

Close, G.L., Ravenscroft, W., Hain, T. orcid.org/0000-0003-0939-3464 et al. (1 more author) (2023) The University of Sheffield CHiME-7 UDASE challenge speech enhancement system. In: Proc. 7th International Workshop on Speech Processing in Everyday Environments (CHiME 2023). 7th International Workshop on Speech Processing in Everyday Environments (CHiME 2023), 25 Aug 2023, Dublin, Ireland. International Speech Communication Association (ISCA) , pp. 33-38.

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.

Clun, D., Shin, D. orcid.org/0000-0002-0840-6449, Filieri, A. et al. (1 more author) (2024) Rigorous assessment of model inference accuracy using language cardinality. ACM Transactions on Software Engineering and Methodology, 33 (4). 95. pp. 1-39. ISSN 1049-331X

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

Coelho de Andrade, M., Souza, A., Oliveira, B. et al. (3 more authors) (2024) Exploring unsupervised domain adaptation approaches for water parameters estimation from satellite images. In: Radeva, P., Furnari, A., Bouatouch, K. and Augusto Sousa, A., (eds.) Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. 19th International Conference on Computer Vision Theory and Applications, 27-29 Feb 2024, Rome, Italy. SCITEPRESS - Science and Technology Publications , pp. 861-868. ISBN 978-989-758-679-8

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. orcid.org/0000-0002-9229-9657, Douthwaite, J.A. and Maddock, S. orcid.org/0000-0003-3179-0263 (2023) A comparative study of safety zone visualisations for virtual and physical robot arms using augmented reality. Computers, 12 (4). 75.

Cogurcu, Y.E. orcid.org/0000-0002-9229-9657 and Maddock, S. orcid.org/0000-0003-3179-0263 (2023) Augmented reality safety zone configurations in human-robot collaboration: a user study. In: Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction. HRI '23: ACM/IEEE International Conference on Human-Robot Interaction, 13-16 Mar 2023, Stockholm, Sweden. Association for Computing Machinery (ACM) , pp. 360-363. ISBN 9781450399708

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 .

Cohen, L. orcid.org/0000-0002-6608-3000, Jabarin, A. orcid.org/0009-0006-1519-7661, Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2024) The complex(ity) landscape of checking infinite descent. In: Hicks, M., (ed.) Proceedings of the ACM on Programming Languages. 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), 15-21 Jan 2023, Boston, Massachusetts, United States. Association for Computing Machinery (ACM) , pp. 1352-1384.

Cohen-Addad, V., Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Saulpic, D. orcid.org/0000-0003-4208-8541 (2021) Near-linear time approximation schemes for clustering in doubling metrics. Journal of the ACM, 68 (6). 44. ISSN 0004-5411

Cohen-Addad, V., Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Saulpic, D. (2020) Near-linear time approximations schemes for clustering in doubling metrics. In: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS). 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 09-12 Nov 2019, Baltimore, MD, USA. Institute of Electrical and Electronics Engineers (IEEE) , pp. 540-559. ISBN 9781728149530

Cole, N., Harvey, M., Myers-Joseph, D. et al. (2 more authors) (2024) Prediction-error signals in anterior cingulate cortex drive task-switching. Nature Communications, 15 (1). 7088. ISSN 2041-1723

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

Cook, O., Mu, Y., Yang, X. et al. (2 more authors) (2025) A dataset for analysing news framing in Chinese media. [Preprint] (Submitted)

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

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

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., 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. (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., 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., 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. 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. (2018) Standard steady state genetic algorithms can hillclimb faster than mutation-only evolutionary algorithms. IEEE Transactions on Evolutionary Computation, 22 (5). pp. 720-732. ISSN 1089-778X

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

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.

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

Cross, M. and Ragni, A. orcid.org/0000-0003-0634-4456 (2024) What happens to diffusion model likelihood when your model is conditional? In: Coelho, C., Zimmering, B., Fernanda, M., Costa, P., Ferras, L.L. and Niggemann, O., (eds.) Proceedings of Machine Learning Research. 1st ECAI Workshop on “Machine Learning Meets Differential Equations: From Theory to Applications”, 20 Oct 2024, Santiago de Compostela, Spain. Proceedings of Machine Learning Research , pp. 1-14.

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

Dabike, G.R. and Barker, J. orcid.org/0000-0002-1684-5660 (2019) Automatic lyric transcription from karaoke vocal tracks: resources and a baseline system. In: Interspeech 2019 Proceedings. Interspeech 2019, 15-19 Sep 2019, Graz, Austria. International Speech Communication Association , pp. 579-583.

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) (2018) Escaping Local Optima Using Crossover with Emergent Diversity. IEEE Transactions on Evolutionary Computation, 22 (3). pp. 484-497. 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.

Das, S. orcid.org/0009-0000-7756-6676, Pasikhani, A.M. orcid.org/0000-0003-3181-4026, Gope, P. orcid.org/0000-0003-2786-0273 et al. (3 more authors) (2024) AIDPS: Adaptive intrusion detection and prevention system for underwater acoustic sensor networks. IEEE/ACM Transactions on Networking, 32 (2). pp. 1080-1095. ISSN 1063-6692

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.

Dawes, J.H. orcid.org/0000-0002-2289-1620, Shin, D. orcid.org/0000-0002-0840-6449 and Bianculli, D. orcid.org/0000-0002-4854-685X (2023) Towards log slicing. In: Lambers, L. and Uchitel, S., (eds.) Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, 22-27 Apr 2023, Paris, France. Lecture Notes in Computer Science, 13991 . Springer Cham , pp. 249-259. ISBN 9783031308253

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

De Souza, M.M. orcid.org/0000-0002-7804-7154, Song, X., Gaurav, A. et al. (6 more authors) (2023) A delay system reservoir based on a nano-ionic Solid Electrolyte FET*. In: 2023 IEEE Nanotechnology Materials and Devices Conference (NMDC). 2023 IEEE Nanotechnology Materials and Devices Conference (NMDC), 22-25 Oct 2023, Paestum, Italy. Institute of Electrical and Electronics Engineers (IEEE) , pp. 139-140. ISBN 9798350335460

Debelle, H., Packer, E., Beales, E. et al. (13 more authors) (2023) Feasibility and usability of a digital health technology system to monitor mobility and assess medication adherence in mild-to-moderate Parkinson's disease. Frontiers in Neurology, 14. 1111260. ISSN 1664-2295

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

Delbari, Z., Moosavi, N.S. orcid.org/0000-0002-8332-307X and Pilehvar, M.T. (2024) Spanning the spectrum of hatred detection: a Persian multi-label hate speech dataset with annotator rationales. In: Proceedings of the AAAI Conference on Artificial Intelligence. The 38th Annual AAAI Conference on Artificial Intelligence, 20-27 Feb 2024, Vancouver, Canada. Association for the Advancement of Artificial Intelligence (AAAI) , pp. 17889-17897. ISBN 978-1-57735-887-9

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

Demin, D. orcid.org/0009-0000-0780-419X and Zhukovskii, M. orcid.org/0000-0001-8763-9533 (2024) First order complexity of finite random structures. In: LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 08 Jul - 11 Aug 2024, Tallinn, Estonia. ACM , pp. 1-14. ISBN 9798400706608

Dennison, R. and Maddock, S. orcid.org/0000-0003-3179-0263 (2024) Using the polynomial particle-in-cell method for liquid-fabric interaction. In: 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2024). GRAPP 2024: 19th International Conference on Computer Graphics Theory and Applications, 27-29 Feb 2024, Rome, Italy. SCITEPRESS (Science and Technology Publications) , pp. 244-251. ISBN 9789897586798

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

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., Bontcheva, K. orcid.org/0000-0001-6152-9600, Liakata, M. et al. (3 more authors) (2017) SemEval-2017 Task 8: RumourEval: determining rumour veracity and support for rumours. In: Bethard, S., Carpuat, M., Apidianaki, M., Mohammad, S.M., Cer, D.M. and Jurgens, D., (eds.) Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017). SemEval-2017 International Workshop on Semantic Evaluation, 03-04 Aug 2017, Vancouver, Canada. Association for Computational Linguistics , pp. 69-76. ISBN 978-1-945626-55-5

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

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, 30 (5). pp. 597-625. ISSN 0934-5043

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2011) Building a refinement checker for Z. [Preprint] (Submitted)

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, T. (2006) Issues in implementing a model checker for Z. In: Liu, Z. and He, J., (eds.) Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. 8th International Conference on Formal Engineering Methods, ICFEM 2006, 01-03 Nov 2006, Macao, China. Lecture Notes in Computer Science, LNPSE 4260 . Springer Berlin Heidelberg , pp. 678-696. ISBN 9783540474609

Devlin, L. and Foster, M. orcid.org/0000-0001-8233-9873 (2025) Evolving estimation models for causal testing. In: FSE ’25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. 33rd ACM International Conference on the Foundations of Software Engineering (FSE'25), 23-28 Jun 2025, Trondheim, Norway. Association for Computing Machinery (ACM) . (In Press)

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

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., 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. and Majumdar, R. (2018) Reachability analysis of reversal-bounded automata on series–parallel graphs. Acta Informatica, 55 (2). pp. 153-189. ISSN 0001-5903

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 .

Ding, Z., Wang, A., Chen, H. et al. (5 more authors) (2023) Exploring structured semantic prior for multi label recognition with incomplete labels. In: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Proceedings. 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 17-24 Jun 2023, Vancouver, BC, Canada. Institute of Electrical and Electronics Engineers , pp. 3398-3407. ISBN 9798350301304

Disser, Y., Feldmann, A.E. orcid.org/0000-0001-6229-5332, Klimm, M. et al. (1 more author) (2021) Travelling on graphs with small highway dimension. Algorithmica, 83 (5). pp. 1352-1370. ISSN 0178-4617

Disser, Y., Feldmann, A.E. orcid.org/0000-0001-6229-5332, Klimm, M. et al. (1 more author) (2019) Travelling on graphs with small highway dimension. In: Sau, I. and Thilikos, D.M., (eds.) Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers. 45th International Workshop, WG 2019, 19-21 Jun 2019, Vall de Núria, Spain. Lecture Notes in Computer Science, LNTCS 11789 . Springer International Publishing , pp. 175-189. ISBN 9783030307851

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

Dommett, K. orcid.org/0000-0003-0624-6610, Mensah, S.A. orcid.org/0000-0003-0779-5574, Zhu, J. orcid.org/0000-0002-2869-824X et al. (2 more authors) (2023) Is there a permanent campaign for online political advertising? Investigating partisan and non-party campaign activity in the UK between 2018–2021. Journal of Political Marketing. ISSN 1537-7857

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

Dory, M., Efron, Y., Mukhopadhyay, S. orcid.org/0000-0002-3722-4679 et al. (1 more author) (2021) Distributed weighted min-cut in nearly-optimal time. In: Khuller, S., (ed.) STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 21-25 Jun 2021, Virtual Italy. Association for Computing Machinery (ACM) , pp. 1144-1153. ISBN 9781450380539

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

Dosso, J.A., Bandari, E., Malhotra, A. et al. (4 more authors) (2022) Towards emotionally aligned social robots for dementia: perspectives of care partners and persons with dementia. In: Alzheimer's & Dementia: The Journal of the Alzheimer's Association. Alzheimer’s Association International Conference (AAIC 2022), 31 Jul - 04 Aug 2022, San Diego, United States. Wiley , e059261-e059261.

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, Hale, B. orcid.org/0000-0003-1131-2109, Tian, X. orcid.org/0000-0001-6171-2309 et al. (1 more author) (2025) Cryptography is rocket science. IACR Communications in Cryptology, 1 (4). 21. ISSN 3006-5496

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

Dowling, B. and Wimalasiri, B. orcid.org/0000-0002-7688-504X (2024) Quantum-secure hybrid communication for aviation infrastructures. IEEE Transactions on Dependable and Secure Computing. ISSN 1545-5971

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

Dvorák, P., Feldmann, A.E. orcid.org/0000-0001-6229-5332, Knop, D. et al. (3 more authors) (2018) Parameterized approximation schemes for steiner trees with small number of Steiner vertices. In: Niedermeier, R. and Vall, B., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 28 Feb - 03 Mar 2018, Caen, France. Leibniz International Proceedings in Informatics, 96 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , Dagstuhl, Germany , 26:1-26:15. ISBN 978-3-95977-062-0

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

Dvořák, P., Feldmann, A.E. orcid.org/0000-0001-6229-5332, Knop, D. orcid.org/0000-0003-2588-5709 et al. (3 more authors) (2021) Parameterized approximation schemes for Steiner Trees with small number of Steiner vertices. SIAM Journal on Discrete Mathematics, 35 (1). pp. 546-574. ISSN 0895-4801

Dvořák, P. orcid.org/0000-0002-6838-1538, Feldmann, A.E. orcid.org/0000-0001-6229-5332, Rai, A. et al. (1 more author) (2023) Parameterized inapproximability of independent set in H-free graphs. Algorithmica, 85 (4). pp. 902-928. ISSN 0178-4617

Dvořák, P., Feldmann, A.E. orcid.org/0000-0001-6229-5332, Rai, A. et al. (1 more author) (2020) Parameterized inapproximability of independent set in H-free graphs. In: Adler, I. and Müller, H., (eds.) Graph-Theoretic Concepts in Computer Science: 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers. 46th International Workshop, WG 2020, 24-26 Jun 2020, Leeds, UK. Lecture Notes in Computer Science, LNCS 12301 . Springer International Publishing , pp. 40-53. ISBN 9783030604394

Dwivedi, K., Lewis, R., Condliffe, R. et al. (6 more authors) (2022) Computed Tomography (CT) features are of diagnostic utility in pre diagnosis Idiopathic Pulmonary Arterial Hypertension (IPAH): a case controlled study. In: American Journal of Respiratory and Critical Care Medicine. American Thoracic Society 2022 International Conference, 13-18 May 2022, San Francisco, CA. American Thoracic Society , a3605-a3605.

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 Angel, V. orcid.org/0000-0002-5109-3636, Adeleye, F. orcid.org/0000-0002-9959-427X, Zhang, Y. orcid.org/0000-0003-4817-3835 et al. (12 more authors) (2023) The feasibility of implementing remote measurement technologies in psychological treatment for depression: mixed methods study on engagement. JMIR Mental Health, 10. e42866. ISSN 2368-7959

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

Edmonds, C. orcid.org/0000-0002-8559-9133, Koutsoukou-Argyraki, A. orcid.org/0000-0002-8886-5281 and Paulson, L.C. orcid.org/0000-0003-0288-4279 (2022) Formalising Szemerédi’s regularity lemma and Roth’s theorem on arithmetic progressions in Isabelle/HOL. Journal of Automated Reasoning, 67. 2. ISSN 0168-7433

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

Elgendy, I.T., Hierons, R.M. orcid.org/0000-0002-4771-1446 and McMinn, P. orcid.org/0000-0001-9137-7433 (2025) A systematic mapping study of the metrics, uses and subjects of diversity‐based testing techniques. Software Testing, Verification and Reliability, 35 (2). e1914. ISSN 0960-0833

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

Ellis, M.O.A. orcid.org/0000-0003-0338-8920, Welbourne, A., Kyle, S.J. et al. (4 more authors) (2023) Machine learning using magnetic stochastic synapses. Neuromorphic Computing and Engineering, 3 (2). 021001. ISSN 2634-4386

Ellis, S., Goetze, S. orcid.org/0000-0003-1044-7343 and Christensen, H. (2023) Moving towards non-binary gender Identification via analysis of system errors in binary gender classification. In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 2023 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2023), 04-10 Jun 2023, Rhodes Island, Greece. Institute of Electrical and Electronics Engineers . ISBN 9781728163284

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

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

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 (2). 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

Fan, X., Zhou, M., Zhang, Y. et al. (3 more authors) (2025) Adaptive multi-cognitive objective temporal task approach for predicting AD progression. In: 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). IEEE BIBM, 03-06 Dec 2024, Lisbon, Portugal. Institute of Electrical and Electronics Engineers (IEEE) , pp. 1933-1938. ISBN 979-8-3503-8623-3

Fan, Z., Huang, Z., Chen, Z. et al. (3 more authors) (2024) Lightweight multiperson pose estimation with staggered alignment self-distillation. IEEE Transactions on Multimedia, 26. pp. 9228-9240. ISSN 1520-9210

Fang, H., Lee, J.-U., Moosavi, N.S. orcid.org/0000-0002-8332-307X et al. (1 more author) (2023) Transformers with learnable activation functions. In: Vlachos, A. and Augenstein, I., (eds.) Findings of the Association for Computational Linguistics: EACL 2023. 17th Conference of the European Chapter of the Association for Computational Linguistics, 02-06 May 2023, Dubrovnik, Croatia. Association for Computational Linguistics , pp. 2382-2398. ISBN 9781959429470

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. and Hain, T. orcid.org/0000-0003-0939-3464 (2023) Learning cross-lingual mappings for data augmentation to improve low-resource speech recognition. In: Interspeech 2023 Proceedings. Interspeech 2023, 20-24 Aug 2023, Dublin, Ireland. International Speech Communication Association , pp. 5072-5076.

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

Farrell, T., Gorrell, G. 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-443. 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

Feldmann, A.E. orcid.org/0000-0001-6229-5332 (2019) Fixed-parameter approximations for k-Center problems in low highway dimension graphs. Algorithmica, 81 (3). pp. 1031-1052. ISSN 0178-4617

Feldmann, A.E. orcid.org/0000-0001-6229-5332, Fung, W.S., Könemann, J. et al. (1 more author) (2018) A (1+ε)-embedding of low highway dimension graphs into bounded treewidth graphs. SIAM Journal on Computing, 47 (4). pp. 1667-1704. ISSN 0097-5397

Feldmann, A.E. orcid.org/0000-0001-6229-5332, Issac, D. and Rai, A. (2020) Fixed-parameter tractability of the weighted edge clique partition problem. In: Cao, Y. and Pilipczuk, M., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), 14-18 Dec 2020, Virtual conference. Leibniz International Proceedings in Informatics, 180 . Schloss Dagstuhl--Leibniz-Zentrum , Dagstuhl, Germany , 17:1-17:16. ISBN 978-3-95977-172-6

Feldmann, A.E. orcid.org/0000-0001-6229-5332, Karthik C. S., K.C., Lee, E. et al. (1 more author) (2020) A survey on approximation in parameterized complexity: hardness and algorithms. Algorithms, 13 (6). 146. ISSN 1999-4893

Feldmann, A.E. orcid.org/0000-0001-6229-5332, Könemann, J., Pashkovich, K. et al. (1 more author) (2016) Fast approximation algorithms for the generalized survivable network design problem. In: Hong, S., (ed.) Leibniz International Proceedings in Informatics, LIPIcs. 27th International Symposium on Algorithms and Computation (ISAAC 2016), 12-14 Dec 2016, Sydney, Australia. Leibniz International Proceedings in Informatics, 64 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , Dagstuhl, Germany , 33.1-33.12. ISBN 978-3-95977-026-2

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Lampis, M. orcid.org/0000-0002-5791-0887 (2024) Parameterized algorithms for Steiner forest in bounded width graphs. In: Bringmann, K., Grohe, M., Puppis, G. and Svensson, O., (eds.) 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). International Colloquium on Automata, Languages, and Programming (ICALP), 08-12 Jul 2024, Tallinn, Estonia. Leibniz International Proceedings in Informatics, LIPIcs, 297 . , 61:1-61:20. ISBN 978-3-95977-322-5

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Marx, D. (2023) The complexity landscape of fixed-parameter Directed Steiner Network problems. ACM Transactions on Computation Theory, 15 (3-4). ISSN 1942-3454

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Marx, D. (2016) The complexity landscape of fixed-parameter directed steiner network problems. In: Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. and Sangiorgi, D., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 12-15 Jul 2016, Rome, Italy. Leibniz International Proceedings in Informatics, 55 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , Dagstuhl, Germany , 27:1-27:14. ISBN 978-3-95977-013-2

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Marx, D. (2020) The parameterized hardness of the k-center problem in transportation networks. Algorithmica, 82 (7). pp. 1989-2005. ISSN 0178-4617

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Marx, D. (2018) The parameterized hardness of the k-center problem in transportation networks. In: Eppstein, D., (ed.) Leibniz International Proceedings in Informatics, LIPIcs. 16th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2018), 18-20 Jun 2018, Malmö, Sweden. Schloss Dagstuhl--Leibniz-Zentrum für Informatik , 19:1-19:13. ISBN 9783959770682

Feldmann, A.E. orcid.org/0000-0001-6229-5332, Mukherjee, A. and van Leeuwen, E.J. (2025) The parameterized complexity of the survivable network design problem. Journal of Computer and System Sciences, 148. 103604. ISSN 0022-0000

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Rai, A. (2021) On extended formulations for parameterized Steiner trees. In: Golovach, P. A. and Zehavi, M., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 16th International Symposium on Parameterized and Exact Computation (IPEC 2021), 08-10 Sep 2021, Virtual event. Leibniz International Proceedings in Informatics, 214 . Schloss Dagstuhl - Leibniz-Zentrum , Dagstuhl, Germany , 18:1-18:16. ISBN 978-3-95977-216-7

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Saulpic, D. orcid.org/0000-0003-4208-8541 (2021) Polynomial time approximation schemes for clustering in low highway dimension graphs. Journal of Computer and System Sciences, 122. pp. 72-93. ISSN 0022-0000

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Saulpic, D. (2020) Polynomial time approximation schemes for clustering in low highway dimension graphs. In: Grandoni, F., Herman, G. and Sanders, P., (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 28th Annual European Symposium on Algorithms (ESA 2020), 07-09 Sep 2020, Pisa, Italy. Leibniz International Proceedings in Informatics, 173 . Schloss Dagstuhl - Leibniz-Zentrum , Dagstuhl, Germany , 46:1-46:22. ISBN 978-3-95977-162-7

Feldmann, A.E. orcid.org/0000-0001-6229-5332 and Vu, T.A. orcid.org/0000-0002-8902-5196 (2022) Generalized k-center: distinguishing doubling and highway dimension. In: Bekos, M. A. and Kaufmann, M., (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022, 22-24 Jun 2022, Tübingen, Germany. Lecture Notes in Computer Science, 13453 . Springer International Publishing , pp. 215-229. ISBN 978-3-031-15914-5

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). ISSN 2332-4031

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)

Fernández-y-Fernández, C.A. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) An algebra to represent task flow models. Journal of Advance Computational Research, 3 (2). 1. pp. 63-74. ISSN 2277-5781

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

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

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.

Fletcher, A.H.A. (2020) Does non-steroidal anti-inflammatories: does carprofen or meloxicam have fewer gastrointestinal side effects? Veterinary Evidence, 5 (3). ISSN 2396-9776

Fletcher, D. orcid.org/0000-0002-1562-4655, Harrison, R. orcid.org/0000-0002-9323-8637, Karmakharm, T. et al. (2 more authors) (2018) RateSetter: roadmap for faster, safer, and better platform train interface design and operation using evolutionary optimisation. 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. Association for Computing Machinery , pp. 1230-1237. ISBN 9781450356183

Flynn, R. and Ragni, A. orcid.org/0000-0003-0634-4456 (2023) How much context does my attention-based ASR system need? [Preprint] (Submitted)

Flynn, R. and Ragni, A. orcid.org/0000-0003-0634-4456 (2023) Leveraging cross-utterance context for ASR decoding. In: Proceedings of Interspeech 2023. INTERSPEECH 2023, 20-24 Aug 2024, Dublin, Ireland. ISCA - International Speech Communication Association , pp. 1359-1363.

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., 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. 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. and Aletras, N. orcid.org/0000-0003-4285-1965 (2021) Translation error detection as rationale extraction. 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

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.

Ford, C., Milius, S., Schröder, L. et al. (2 more authors) (2022) Graded monads and behavioural equivalence games. In: Baier, C., (ed.) 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 (ACM) . ISBN 9781450393515

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, Clark, A. orcid.org/0000-0002-6830-0566, Wild, C. orcid.org/0009-0009-1195-1497 et al. (6 more authors) (2025) The causal testing framework. Journal of Open Source Software, 10 (107). 7739. ISSN 2475-9066

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

Foster, M. orcid.org/0000-0001-8233-9873, Groz, R. orcid.org/0000-0003-3730-8300, Oriat, C. orcid.org/0000-0002-5674-0855 et al. (3 more authors) (2023) Active inference of EFSMs without reset. In: Li, Y. and Tahar, S., (eds.) Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. 24th International Conference on Formal Engineering Methods, ICFEM 2023, 21-24 Nov 2023, Brisbane, QLD, Australia. Lecture Notes in Computer Science, LNCS 14308 . Springer Singapore , pp. 29-46. ISBN 9789819975839

Foster, M. orcid.org/0000-0001-8233-9873, Hierons, R.M., Shin, D. et al. (2 more authors) (2025) Using causal inference to test systems with hidden and interacting variables: an evaluative case study. In: EASE '25: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering. 29th International Conference on Evaluation and Assessment in Software Engineering (EASE 2025), 17-20 Jun 2025, Istanbul, Turkey. Association for Computing Machinery (ACM) . (In Press)

Foster, M. orcid.org/0000-0001-8233-9873, Wild, C., Hierons, R. et al. (1 more author) (2024) Causal test adequacy. In: 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) Proceedings. 2024 IEEE Conference on Software Testing, Verification and Validation (ICST), 27-31 May 2024, Toronto, Canada. Institute of Electrical and Electronics Engineers (IEEE) , pp. 161-172. ISBN 9798350308198

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

Frankl, P., Gryaznov, S. and Talebanfard, N. (2022) A variant of the VC-dimension with applications to depth-3 circuits. In: Braverman, M., (ed.) 13th Innovations in Theoretical Computer Science Conference (ITCS 2022). 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 31 Jan - 03 Feb 2022, Berkeley, CA, USA (Virtual). Leibniz International Proceedings in Informatics (LIPIcs), 215 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 72:1-72:19. ISBN 9783959772174

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

Förster, F., Romeo, M., Holthaus, P. et al. (27 more authors) (2023) Working with troubles and failures in conversation between humans and robots: workshop report. Frontiers in Robotics and AI, 10. 1202306. ISSN 2296-9144