Browse by UCL Departments and Centres
Group by: Author | Type
Number of items: 82.
A
Agarwal, Sharad;
Harvey, Emma;
Mariconti, Enrico;
Suarez-Tangil, Guillermo;
Vasek, Marie;
(2025)
'Hey mum, I dropped my phone down the toilet': Investigating Hi Mum and Dad SMS Scams in the United Kingdom.
In:
Proceedings of the 34th USENIX Security Symposium.
(pp. pp. 1-22).
USENIX: Seattle, WA, USA.
(In press).
![]() |
Anggunia, Sofiarti Dyah;
Sowell, Jesse;
Pérez-Ortiz, María;
(2025)
Decoding development: the AI frontier in policy crafting: A systematic review.
Data & Policy
, 7
, Article e31. 10.1017/dap.2025.10.
![]() |
Apraez, Daniel Ordoñez;
Turrisi, Giulio;
Kostic, Vladimir;
Martin, Mario;
Agudo, Antonio;
Moreno-Noguer, Francesc;
Pontil, Massimiliano;
... Mastalli, Carlos; + view all
(2025)
Morphological symmetries in robotics.
The International Journal of Robotics Research
10.1177/02783649241282422.
(In press).
![]() |
![]() |
Archetti, Damiano;
Venkatraghavan, Vikram;
Weiss, Béla;
Bourgeat, Pierrick;
Auer, Tibor;
Vidnyánszky, Zoltán;
Durrleman, Stanley;
... E-DADS Consortium; + view all
(2025)
A Machine Learning Model to Harmonize Volumetric Brain MRI Data for Quantitative Neuroradiologic Assessment of Alzheimer Disease.
Radiology: Artificial Intelligence
, 7
(1)
, Article e240030. 10.1148/ryai.240030.
![]() |
Aufiero, S;
Forer, P;
Vivo, P;
Caccioli, F;
Bartolucci, S;
(2025)
Phase transitions in debt recycling.
Journal of Economic Dynamics and Control
, 171
, Article 105044. 10.1016/j.jedc.2025.105044.
(In press).
![]() |
![]() |
B
Barbano, Riccardo;
Denker, Alexander;
Chung, Hyungjin;
Roh, Tae Hoon;
Arridge, Simon;
Maass, Peter;
Jin, Bangti;
(2025)
Steerable Conditional Diffusion for Out-of-Distribution Adaptation in Medical Image Reconstruction.
IEEE Transactions on Medical Imaging
10.1109/tmi.2024.3524797.
(In press).
![]() |
Bartolucci, Silvia;
Caccioli, Fabio;
Caravelli, Francesco;
Vivo, Pierpaolo;
(2025)
Correlation between upstreamness and downstreamness in random global value chains.
Journal of Economic Behavior & Organization
, 233
, Article 106945. 10.1016/j.jebo.2025.106945.
![]() |
![]() |
Bartolucci, Silvia;
Caccioli, Fabio;
Caravelli, Francesco;
Vivo, Pierpaolo;
(2025)
Upstreamness and downstreamness in input–output analysis from local and aggregate information.
Scientific Reports
, 15
(1)
, Article 2727. 10.1038/s41598-025-86380-6.
![]() |
![]() |
Beadle, Kyle;
Warner, Mark;
Vasek, Marie;
(2025)
"Edit: I'm sorry for being offensive, this is getting downvoted and I feel terrible": Implicit Social Norms as Governance in Identity-Based Communities.
In:
Proceedings of the 28th ACM SIGCHI Conference on Computer-Supported Cooperative Work and Social Computing (CSCW).
Association for Computing Machinery (ACM): Bergen, Norway.
(In press).
![]() |
Beddow, Luke;
(2025)
Learning-based Grasping of Grocery Items using Caging Inspired Gripper Design.
Doctoral thesis (Ph.D), UCL (University College London).
|
Blackwell, Daniel Jordan;
(2025)
Fuzzing and information flow.
Doctoral thesis (Ph.D), UCL (University College London).
![]() |
![]() |
Blandford, Ann;
Bindman, Julia;
Bradbury, Katherine;
Cooper, Belinda;
Costanza, Enrico;
Edwards, Sandra;
Hamilton, Fiona L;
... Goodfellow, Henry; + view all
(2025)
Experiences of user-centred design with agile development for clinically supported self-management of Long Covid.
ACM Transactions on Computer-Human Interaction
10.1145/3711839.
(In press).
![]() |
![]() |
Blot, Aymeric;
Petke, Justyna;
(2025)
A Comprehensive Survey of Benchmarks for Improvement of Software’s Non-Functional Properties.
ACM Computing Surveys
(In press).
![]() |
![]() |
Bose, Damien;
Hanna, carol;
Petke, Justyna;
(2025)
Enhancing Software Runtime with Reinforcement
Learning-Driven Mutation Operator Selection in
Genetic Improvement.
In:
(Proceedings) GI 2025: The 14th International Workshop on Genetic Improvement (Co-located with the 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025).
ICSE
(In press).
|
Bouras, Dimitrios Stamatios;
Mechtaev, Sergey;
Petke, Justyna;
(2025)
LLM-Assisted Crossover in Genetic Improvement of Software.
In:
(Proceedings) GI 2025: The 14th International Workshop on Genetic Improvement (Co-located with the 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025).
ICSE
(In press).
|
Briola, A;
Bartolucci, S;
Aste, T;
(2025)
HLOB–Information persistence and structure in limit order books.
Expert Systems with Applications
, 266
, Article 126078. 10.1016/j.eswa.2024.126078.
![]() |
![]() |
Brownlee, Alexander EI;
Callan, James;
Even-Mendoza, Karine;
Geiger, Alina;
Hanna, Carol;
Petke, Justyna;
Sarro, Federica;
(2025)
Large Language Model Based Mutations in Genetic Improvement.
Automated Software Engineering
, 32
(15)
pp. 1-25.
10.1007/s10515-024-00473-6.
![]() |
Bücker, Joris;
del Rio-Chanona, R Maria;
Pichler, Anton;
Ives, Matthew C;
Farmer, J Doyne;
(2025)
Employment dynamics in a rapid decarbonization of the US power sector.
Joule
10.1016/j.joule.2024.12.004.
(In press).
![]() |
![]() |
C
Caddy, James;
Treude, Christoph;
Wagner, Markus;
Barr, Earl T;
(2025)
The role of surprisal in issue trackers.
Empirical Software Engineering
, 30
, Article 30. 10.1007/s10664-024-10587-w.
(In press).
|
Cai, K;
Duan, Z;
Liu, G;
Fleming, C;
Lu, CX;
(2025)
Self-adapting Large Visual-Language Models to Edge Devices Across Visual Modalities.
In: Leonardis, A and Ricci, E and Roth, S and Russakovsky, O and Sattler, T and Varol, G, (eds.)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
(pp. pp. 301-318).
Springer Nature: Cham, Switzerland.
|
Callan, James;
Petke, Justyna;
(2025)
Multi-Objective Improvement of Android Applications.
Automated Software Engineering
, 32
(2)
pp. 1-36.
10.1007/s10515-024-00472-7.
![]() |
Caulfield, Tristan;
Ilau, Marius-Constantin;
Bujorianu, Luminita-Manuela;
(2025)
The Role of Interfaces in Modelling.
In:
(Proceedings) Simutools.
Springer Nature
(In press).
|
Charlton, Colleen E;
Hauke, Daniel J;
Wobmann, Michelle;
de Bock, Renate;
Andreou, Christina;
Borgwardt, Stefan;
Roth, Volker;
(2025)
Localizing hierarchical prediction errors and precisions during an oddball task with volatility: Computational insights and relationship with psychosocial functioning in healthy individuals.
Imaging Neuroscience
, 3
, Article imag_a_00461. 10.1162/imag_a_00461.
![]() |
![]() |
Chen, Jianan;
Yang, Huixin;
Xia, Yunjia;
Gong, Tingchen;
Thomas, Alexander;
Liu, Jia;
Chen, Wei;
... Zhao, Hubin; + view all
(2025)
Simultaneous Mental Fatigue and Mental Workload Assessment with Wearable High-Density Diffuse Optical Tomography.
IEEE Transactions on Neural Systems and Rehabilitation Engineering
10.1109/tnsre.2025.3551676.
(In press).
![]() |
![]() |
D
David, Ana;
Giunchi, Daniele;
Stuart, James;
Steed, Anthony;
Esteves, Augusto;
(2025)
PaintBranch: Asynchronous Collaborative Art in Virtual Reality.
In:
Proceedings of the 32th IEEE Conference on Virtual Reality and 3D User Interfaces.
(pp. pp. 1-2).
IEEE
(In press).
![]() |
![]() |
Ding, F;
Luo, Z;
Zhao, P;
Lu, CX;
(2025)
milliFlow: Scene Flow Estimation on mmWave Radar Point Cloud for Human Motion Sensing.
In: Leonardis, A and Ricci, E and Roth, S and Russakovsky, O and Sattler, T and Varol, G, (eds.)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
(pp. pp. 202-221).
Springer Nature: Cham, Switzerland.
|
E
Eckhardt, Timo;
Pym, David;
(2025)
Base-extension Semantics for S5 Modal Logic.
Logic Journal of the IGPL
(In press).
|
Even-Mendoza, Karine;
Menéndez, Héctor D;
Langdon, William;
Dakhama, Aidan;
Petke, Justyna;
Bruce, Bobby R;
(2025)
Search+LLM-based Testing for ARM Simulators.
In:
International Conference on Software Engineering, Software Engineering in Practice Track, Proceedings.
IEEE/ACM: Ottawa, Canada.
(In press).
![]() |
![]() |
F
Feng, Yue;
(2025)
Knowledge Enhanced Task-oriented Dialogue Systems.
Doctoral thesis (Ph.D), UCL (University College London).
![]() |
G
Gatti, Elia;
Giunchi, Daniele;
Numan, Nels;
Steed, Anthony;
(2025)
Around The Virtual Campfire: Early UX Insights Into AI-generated Stories In VR.
In:
Proceedings of the 7th IEEE International Conference on Artificial Intelligence & eXtended and Virtual Reality.
(pp. pp. 1-6).
Institute of Electrical and Electronics Engineers (IEEE)
(In press).
![]() |
![]() |
Gheorghiu, Alexander V;
(2025)
The Mathematics of Double-checking Programs, in: Mathematics Today (Jan 2025).
[Digital scholarly resource].
https://ima.org.uk/publications/mathematics-today/
(In press).
|
Gold, Nicolas;
(2025)
Causal Program Dependence Analysis.
Science of Computer Programming
, 240
, Article 103208. 10.1016/j.scico.2024.103208.
![]() |
Goo, June Moh;
(2025)
Data-Driven Socio-Economic Deprivation Prediction via Dimensionality Reduction: The Power of Diffusion Maps.
In:
2024 IEEE International Conference on Big Data (BigData).
(pp. pp. 2949-2957).
IEEE: Washington, DC, USA.
![]() |
![]() |
Goo, June Moh;
Milidonis, Xenios;
Artusi, Alessandro;
Boehm, Jan;
Ciliberto, Carlo;
(2025)
Hybrid-Segmentor: Hybrid approach for automated fine-grained crack segmentation in civil infrastructure.
Automation in Construction
, 170
, Article 105960. 10.1016/j.autcon.2024.105960.
![]() |
![]() |
Goodell, Geoffrey;
Nakib, Hazem;
Aste, Tomaso;
(2025)
Retail Central Bank Digital Currency: Motivations, Opportunities, and Mistakes.
International Journal of Political Economy
(In press).
|
Grigorian, Gevik;
George, Sandip;
Arridge, Simon;
(2025)
Learning governing equations of unobserved states in dynamical systems.
Physica D: Nonlinear Phenomena
, 472
, Article 134499. 10.1016/j.physd.2024.134499.
![]() |
![]() |
H
Hanna, Carol;
Blot, Aymeric;
Petke, Justyna;
(2025)
Reinforcement Learning for Mutation Operator
Selection in Automated Program Repair.
Automated Software Engineering
(In press).
|
Hunter, Anthony;
De Bona, Glauber;
(2025)
Germane Conflicts: Desirable Properties for Localising Inconsistency.
In:
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence.
AAAI Press
(In press).
|
K
Karnewar, A;
Shapovalov, R;
Monnier, T;
Vedaldi, A;
Mitra, NJ;
Novotny, D;
(2025)
GOEmbed: Gradient Origin Embeddings for Representation Agnostic 3D Feature Learning.
In: Leonardis, A and Ricci, E and Roth, S and Russakovsky, O and Sattler, T and Varol, G, (eds.)
Computer Vision – ECCV 2024.
(pp. pp. 454-472).
Springer: Cham, Switzerland.
|
Kavousi, A;
Abadi, A;
Jovanovic, P;
(2025)
Timed Secret Sharing.
In: Chung, KM and Sasaki, Y, (eds.)
Advances in Cryptology – ASIACRYPT 2024.
(pp. pp. 129-164).
Springer Nature: Singapore.
|
Kay, Jackie;
(2025)
Imitation, Identity, and Injustice in Artificial Intelligence.
Doctoral thesis (Ph.D), UCL (University College London).
![]() |
![]() |
Kaya, Yigitcan;
Chen, Yizheng;
Botacin, Marcus;
Saha, Shoumik;
Pierazzi, Fabio;
Cavallaro, Lorenzo;
Wagner, David;
(2025)
ML-Based Behavioral Malware Detection Is Far
From a Solved Problem.
In:
Proceedings of the 3rd IEEE Conference on Secure and Trustworthy Machine Learning.
IEEE: Copenhagen, Denmark.
(In press).
![]() |
![]() |
Kim, Hae-Young;
Inghels, Maxime;
Mathenjwa, Thulile;
Shahmanesh, Maryam;
Seeley, Janet;
Matthews, Phillippa;
Wyke, Sally;
... Tanser, Frank; + view all
(2025)
Effect of a Male-Targeted Digital Decision Support Application Aimed at Increasing Linkage to HIV Care Among Men: Findings from the HITS Cluster Randomized Clinical Trial in Rural South Africa.
AIDS and Behavior
, 29
pp. 1-12.
10.1007/s10461-024-04465-1.
![]() |
King, Oscar;
Goodell, Geoffrey;
(2025)
A Decentralised Digital Token Architecture for Public Transport.
In: Flood, John and Robb, Lachlan, (eds.)
Blockchain and Society Handbook.
De Gruyter: Berlin, Germany.
(In press).
|
L
Langdon, WB;
Clark, D;
(2025)
Deep imperative mutations have less impact.
Automated Software Engineering
, 32
, Article 6. 10.1007/s10515-024-00475-4.
![]() |
Lara, Frumkin;
Heather, Flowe;
Niamh, Nic Daeid;
Mark, Warner;
Ian, Macaulay;
Emmanuel, Nsiah Amoako;
Vincent, Hughes;
+ view all
(2025)
TRUST // TRIAGE // SCAnDi: UKRI Forensic Science for the Criminal Justice System Tri-Project Stakeholder Event.
University College London (UCL): London, UK.
![]() |
![]() |
Letier, Emmanuel;
Van Lamsweerde, Axel;
(2025)
Obstacle Analysis in Requirements Engineering: Retrospective and Emerging Challenges.
IEEE Transactions on Software Engineering
pp. 1-7.
10.1109/TSE.2025.3534318.
(In press).
![]() |
![]() |
Li, Yazhe;
(2025)
Advancing Representation Learning: Learning and Evaluation of Representations in Deep Neural Networks.
Doctoral thesis (Ph.D), UCL (University College London).
![]() |
![]() |
Li, Ziqing;
Cukurova, Mutlu;
Bulathwela, Sahan;
(2025)
A Novel Approach to Scalable and Automatic Topic-Controlled Question Generation in Education.
In:
Proceedings of the 15th International Learning Analytics and Knowledge Conference.
(pp. pp. 148-158).
ACM
![]() |
Liu, P;
Puonti, O;
Hu, X;
Alexander, DC;
Iglesias, JE;
(2025)
Brain-ID: Learning Contrast-Agnostic Anatomical Representations for Brain Imaging.
In:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
(pp. pp. 322-340).
Springer Nature
![]() |
![]() |
Lu, Chuang;
Liang, Ziting;
Stoyanov, Danail;
Stilli, Agostino;
(2025)
GelPoLight: A Novel Visual Tactile Sensor Based on Photometric Stereo with Point Lighting.
IEEE Sensors Journal
10.1109/jsen.2025.3535080.
(In press).
![]() |
![]() |
M
McLeod, Julie;
Estcourt, Claudia S;
MacDonald, Jennifer;
Gibbs, Jo;
Woode Owusu, Melvina;
Mapp, Fiona;
Gallego Marquez, Nuria;
... Flowers, Paul; + view all
(2025)
Opening the digital doorway to sexual healthcare: Recommendations from a behaviour change wheel analysis of barriers and facilitators to seeking online sexual health information and support among underserved populations.
PLoS One
, 20
(1)
, Article e0315049. 10.1371/journal.pone.0315049.
![]() |
N
Nagano, Yuta;
Pyo, Andrew GT;
Milighetti, Martina;
Henderson, James;
Shawe-Taylor, John;
Chain, Benny;
Tiffeau-Mayer, Andreas;
(2025)
Contrastive learning of T cell receptor representations.
Cell Systems
, 16
(1)
, Article 101165. 10.1016/j.cels.2024.12.006.
![]() |
![]() |
Numan, Nels;
Brostow, Gabriel;
Park, Suhyun;
Julier, Simon;
Steed, Anthony;
Van Brummelen, Jessica;
(2025)
CoCreatAR: Enhancing Authoring of Outdoor Augmented Reality Experiences Through Asymmetric Collaboration.
In:
CHI '25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems.
Association for Computing Machinery
(In press).
![]() |
![]() |
O
O'Brien, Catherine;
Roslan, Nuur Alifah;
Abu-Salma, Ruba;
Murdoch, Steven;
Zytko, Douglas;
Warner, Mark;
(2025)
Online Dating Platform Safeguards and Self-Protection: How Dating Platforms Characterise, Respond to, and Safeguard Against Harms.
In:
Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems.
Association for Computing Machinery (ACM)
(In press).
![]() |
Oxtoby, Neil P;
Barkhof, Frederik;
(2025)
A 50-year data-driven model of disability and lesion load trajectories in progressive multiple sclerosis.
Brain Communications
, 7
(1)
, Article fcae474. 10.1093/braincomms/fcae474.
![]() |
![]() |
P
Padur, Kart;
Borrion, Herve;
Hailes, Stephen;
(2025)
Using Agent-Based Modelling and Reinforcement Learning to Study Hybrid Threats.
Journal of Artificial Societies and Social Simulation
, 28
(1)
, Article 1. 10.18564/jasss.5539.
![]() |
Pontillo, Giuseppe;
Prados, Ferran;
Wink, Alle Meije;
Kanber, Baris;
Bisecco, Alvino;
Broeders, Tommy AA;
Brunetti, Arturo;
... MAGNIMS, study group; + view all
(2025)
More Than the Sum of Its Parts: Disrupted Core Periphery of Multiplex Brain Networks in Multiple Sclerosis.
Human Brain Mapping
, 46
(1)
, Article e70107. 10.1002/hbm.70107.
![]() |
R
Riazi, Diana;
(2025)
Agent-based Models of Social Learning in Opinion Dynamics.
Doctoral thesis (Ph.D), UCL (University College London).
![]() |
![]() |
S
Sabathier, R;
Mitra, NJ;
Novotny, D;
(2025)
Animal Avatars: Reconstructing Animatable 3D Animals from Casual Videos.
In: Leonardis, A and Ricci, E and Roth, S and Russakovsky, O and Sattler, T and Varol, G, (eds.)
Computer Vision – ECCV 2024.
(pp. pp. 270-287).
Springer: Cham, Switzerland.
|
Scahill, Rachael I;
Farag, Mena;
Murphy, Michael J;
Hobbs, Nicola Z;
Leocadi, Michela;
Langley, Christelle;
Knights, Harry;
... Tabrizi, Sarah J; + view all
(2025)
Somatic CAG repeat expansion in blood associates with biomarkers of neurodegeneration in Huntington's disease decades before clinical motor diagnosis.
Nature Medicine
10.1038/s41591-024-03424-6.
(In press).
![]() |
![]() |
Soana, Valentina;
Minooee Sabery, Sharam;
Bosi, Federico;
Wurdemann, Helge;
(2025)
Elastic robotic structures: a multidisciplinary framework for the design and control of shape-morphing elastic system for architectural and design applications.
Construction Robotics
, 9
, Article 3. 10.1007/s41693-024-00128-8.
![]() |
![]() |
Songpetchmongkol, Thanatad;
Blot, Aymeric;
Petke, Justyna;
(2025)
Empirical Comparison of Runtime Improvement
Approaches: Genetic Improvement, Parameter
Tuning, and Their Combination.
In:
(Proceedings) GI 2025: The 14th International Workshop on Genetic Improvement (Co-located with the 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025).
ICSE
(In press).
|
Staffolani, Alessandro;
Darvariu, Victor-Alexandru;
Bellavista, Paolo;
Musolesi, Mirco;
(2025)
A Cost-Aware Adaptive Bike Repositioning Agent Using Deep Reinforcement Learning.
IEEE Transactions on Intelligent Transportation Systems
10.1109/tits.2025.3535915.
(In press).
![]() |
![]() |
Svitov, D;
Morerio, P;
Agapito, L;
Del Bue, A;
(2025)
HAHA: Highly Articulated Gaussian Human Avatars with Textured Mesh Prior.
In: Cho, M and Laptev, I and Tran, D and Yao, A and Zha, H, (eds.)
Computer Vision – ACCV 2024.
(pp. 105-122).
Springer: Singapore.
|
Szekely, Raul;
Holloway, Catherine;
Bandukda, Maryam;
(2025)
Understanding the Psychosocial Impact of Assistive Technologies for Blind and Partially Sighted People: Protocol for a Scoping Review (Preprint).
JMIR Research Protocols
10.2196/65056.
(In press).
![]() |
T
Teutloff, Ole;
Einsiedler, Johanna;
Kässi, Otto;
Braesemann, Fabian;
Mishkin, Pamela;
del Rio-Chanona, R Maria;
(2025)
Winners and losers of generative AI: Early Evidence of Shifts in Freelancer Demand.
Journal of Economic Behavior & Organization
, Article 106845. 10.1016/j.jebo.2024.106845.
(In press).
![]() |
![]() |
Thieme, Anja;
Rajamohan, Abhijith;
Cooper, Benjamin;
Groombridge, Heather;
Simister, Robert;
Wong, Barney;
Woznitza, Nicholas;
... Jacob, Joseph; + view all
(2025)
Challenges for Responsible AI Design and Workflow Integration in Healthcare: A Case Study of Automatic Feeding Tube Qualification in Radiology.
ACM Transactions on Computer-Human Interaction
10.1145/3716500.
(In press).
![]() |
![]() |
Totsila, Dionisis;
Chatzilygeroudis, Konstantinos;
Hadjivelichkov, Denis;
Modugno, Valerio;
Kanoulas, Dimitrios;
Hatzilygeroudis, Ioannis;
(2025)
Sensorimotor Learning With Stability Guarantees Via Autonomous Neural Dynamic Policies.
IEEE Robotics and Automation Letters
, 10
(2)
pp. 1760-1767.
10.1109/LRA.2024.3524878.
![]() |
V
Valeonti, Foteini;
Vlachidis, Andreas;
Nyhan, Julianne;
Bikakis, Antonis;
Kotarski, Rachael;
Jovanovic, Philipp;
(2025)
Decentralising digital humanities: exploring blockchain technology and "web3" for the Sloane Lab and Towards a National Collection (TaNC).
Journal of Documentation
, 81
(1)
pp. 211-235.
10.1108/jd-04-2024-0093.
![]() |
![]() |
Vecerik, Mel;
(2025)
Vision-Based Spatial Representations for Robot Manipulation.
Masters thesis (Ph.D), UCL (University College London).
![]() |
![]() |
Voogd, Erik;
Johnsen, Einar Broch;
Kløvstad, Åsmund Aqissiaq Arild;
Rot, Jurriaan;
Silva, Alexandra;
(2025)
Correct and Complete Symbolic Execution for Free.
In: Kosmatov, Nikolai and Kovács, Laura, (eds.)
Integrated Formal Methods: IFM 2024.
(pp. pp. 237-255).
Springer: Cham, Switzerland.
|
W
Wang, Jingyuan;
Hanna, Carol;
Petke, Justyna;
(2025)
Large Language Model based Code Completion is an Effective Genetic Improvement Mutation.
In:
(Proceedings) The 14th International Workshop on Genetic Improvement @ ICSE 2025.
(In press).
|
Warner, Mark;
Strohmayer, Angelika;
Higgs, Matthew;
Coventry, Lynne;
(2025)
A critical reflection on the use of toxicity detection algorithms in proactive content moderation systems.
International Journal of Human-Computer Studies
, 198
, Article 103468. 10.1016/j.ijhcs.2025.103468.
![]() |
Wen, Jinfeng;
Chen, Zhenpeng;
Sarro, Federica;
Wang, Shangguang;
(2025)
Unveiling overlooked performance variance in serverless computing.
Empirical Software Engineering
, 30
(2)
, Article 59. 10.1007/s10664-025-10615-3.
|
Wenhua, Li;
Le, Quang Loc;
Yahui, Song;
Wei-Ngan, Chin;
(2025)
Inferring Incorrectness Speci cations for Object-Oriented Programs.
In:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Springer: Cham, Swotzerland.
(In press).
|
X
Xiong, Jiajie;
Vinceslas, Leny;
Drga, Vit;
Yasin, Ifat;
(2025)
Effect of Real and Virtual Environmental Context on Loudness Scaling.
In:
IEEE Conference on Virtual Reality and 3D User Interfaces.
IEEE
(In press).
|
Xu, Jialang;
Wang, Jiacheng;
Yu, Lequan;
Stoyanov, Danail;
Jin, Yueming;
Mazomenos, Evangelos B;
(2025)
Personalizing Federated Instrument Segmentation With Visual Trait Priors in Robotic Surgery.
IEEE Transactions on Biomedical Engineering
10.1109/tbme.2025.3526667.
![]() |
![]() |
Y
Yan, Yunda;
Yi, Dewei;
Lu, Hao;
Gao, Lan;
(2025)
Control and Applications of Intelligent Unmanned Aerial
Vehicle.
Electronics
(In press).
![]() |
![]() |
Yu, Jingxin;
Ayobi, Amid;
Marshall, Paul;
O’Kane, Aisling Ann;
(2025)
Creatively Supporting Mental Wellbeing: A Tangible Toolkit to Scaffold Self-Tracking through Mindful Colouring.
In:
Proceedings of the Nineteenth International Conference on Tangible, Embedded, and Embodied Interaction.
ACM
(In press).
![]() |
![]() |
Z
Zamorano López, María Del Mar;
Blasco, Daniel;
Cetina, Carlos;
Sarro, Federica;
(2025)
Video Game Procedural Content Generation Through Software Transplantation.
In:
International Conference on Software Engineering: Software Engineering in Practice.
IEEE/ACM
(In press).
|
Zhong, Shu;
Gatti, Elia;
Hardwick, James;
Ribul, Miriam;
Cho, Youngjun;
Obrist, Marianna;
(2025)
LLM-mediated domain-specific voice agents: the case of TextileBot.
Behaviour and Information Technology
10.1080/0144929X.2025.2456667.
(In press).
![]() |
![]() |