Reflexive CSCW: Supporting Long-Term Personal Work. - Harold W. Thimbleby; Stuart Anderson 001; Ian H. Witten (Interact. Comput., 1990)

The Formalization and Analysis of a Communications Protocol. - Glenn Bruns; Stuart Anderson 001 (Formal Aspects Comput., 1994)

Diagrams and Programming Languages for Programmable Controllers. - Stuart Anderson 001; Konstantinos Tourlas (FME, 1997)

A Framework for Modelling Trojans and Computer Virus Infection. - Harold W. Thimbleby; Stuart Anderson 001; Paul A. Cairns (Comput. J., 1998)

Design for Proof: An Approach to the Design of Domain-Specific Languages. - Stuart Anderson 001; Konstantinos Tourlas (Formal Aspects Comput., 1998)

Secure Synthesis of Code: A Process Improvement Experiment. - P. Garbett; J. P. Parkes; Mike Shackleton; Stuart Anderson 001 (World Congress on Formal Methods, 1999)

A case study in innovative process improvement: code synthesis from formal specifications. - P. Garbett; J. P. Parkes; Mike Shackleton; Stuart Anderson 001 (Microprocess. Microsystems, 1999)

Controlling Requirements Evolution: An Avionics Case Study. - Stuart Anderson 001; Massimo Felici (SAFECOMP, 2000)

Requirements Evolution from Process to Product Oriented Management. - Stuart Anderson 001; Massimo Felici (PROFES, 2001)

Reasoning in Higraphs with Loose Edges. - Stuart Anderson 001; John Power; Konstantinos Tourlas (HCC, 2001)

Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen. - Harold W. Thimbleby; Stuart Anderson 001; Paul A. Cairns (Comput. J., 2001)

Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. - Stuart Anderson 001; John Power; Konstantinos Tourlas (CATS, 2002)

Making Autonomic Computing Systems Accountable: The Problem of Human-Computer. - Stuart Anderson 001; Mark Hartswood; Rob Procter; Mark Rouncefield; Roger Slack; James Soutter; Alexander Voß (DEXA Workshops, 2003)

Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. - Stuart Anderson 001; Juliana Küster Filipe (ICDCS Workshops, 2003)

How Democratic Will E-Democracy Be? - Stuart Anderson 001; Massimo Felici (COMPSAC (1), 2005)

Safety, reliability and security of industrial computer systems. - Stuart Anderson 001; Massimo Felici (Reliab. Eng. Syst. Saf., 2005)

On a time enriched OCL liveness template. - Juliana Küster Filipe; Stuart Anderson 001 (Int. J. Softw. Tools Technol. Transf., 2006)

On the Quality of Service of Crash-Recovery Failure Detectors. - Tiejun Ma; Jane Hillston; Stuart Anderson 001 (DSN, 2007)

Data Integration in eHealth: A Domain/Disease Specific Roadmap. - Jenny Ure; Rob Procter; Maryann E. Martone; David Porteous; Sharon Lloyd; Stephen M. Lawrie; Dominic Job; Richard A. Baldock; Alistair Philp; Dave Liewald; Frank Rakebrandt; Alan Blaikie; et al. (HealthGrid, 2007)

Learning by game-building: a novel approach to theoretical computer science education. - Laura Korte; Stuart Anderson 001; Helen Pain; Judith Good (ITiCSE, 2007)

Evaluation of the QoS of crash-recovery failure detection. - Tiejun Ma; Jane Hillston; Stuart Anderson 001 (SAC, 2007)

Down in the (Data)base(ment): Supporting Configuration in Organizational Information Systems. - Stuart Anderson 001; Gillian Hardstone; Rob Procter; Robin Williams 001 (Theory in CSCW, 2008)

The Development of Data Infrastructures for eHealth: A Socio-Technical Perspective. - Jenny Ure; Rob Procter; Yuwei Lin; Mark Hartswood; Stuart Anderson 001; Sharon Lloyd; Joanna M. Wardlaw; Horacio González-Vélez; Kate Ho (J. Assoc. Inf. Syst., 2009)

Scoring Systems in Computer-Based Training for Digital Mammography. - Paul Taylor; Mark Hartswood; Lilian Blot; Rob Procter; Stuart Anderson 001 (Digital Mammography / IWDM, 2010)

Emerging Technological Risk - Underpinning the Risk of Technology Innovation. - Stuart Anderson 001; Massimo Felici (Springer, 2012)

Problems of data mobility and reuse in the provision of computer-based training for screening mammography. - Mark Hartswood; Rob Procter; Paul Taylor; Lilian Blot; Stuart Anderson 001; Mark Rouncefield; Roger Slack (CHI, 2012)

Technologies of Participation: A Case Study of CSCL@Work in Mammography. - Mark Hartswood; Rob Procter; Paul Taylor; Lilian Blot; Stuart Anderson 001 (Computer-Supported Collaborative Learning at the Workplace, 2013)

Coordinating Caregiving using Smartphone Technology: a Collaborative Software Prototype Approach. - Zheng-Shuai Lin; Brian McKinstry; Stuart Anderson 001 (ICIMTH, 2014)

"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems. - Stuart Anderson 001; Mark Hartswood; Marina Jirotka (SASO Workshops, 2014)

Regulating AI/ML-enabled Medical Devices in the UK. - Phoebe Li; Robin Williams 001; Stephen Gilbert; Stuart Anderson 001 (TAS, 2023)

A mixed methods formative evaluation of the United Kingdom National Health Service Artificial Intelligence Lab. - Kathrin M. Cresswell; Robin Williams 001; Sheena Dungey; Stuart Anderson 001; Miguel O. Bernabeu; Hajar Mozaffar; Xiao Yang; Varun Sai; Sara Bea; Sally Eason (npj Digit. Medicine, 2025)