Stuart Anderson

Orcid: 0000-0002-3035-3478

Affiliations:
  • University of Edinburgh, Edinburgh, UK


According to our database1, Stuart Anderson authored at least 31 papers between 1990 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A mixed methods formative evaluation of the United Kingdom National Health Service Artificial Intelligence Lab.
npj Digit. Medicine, 2025

2023
Regulating AI/ML-enabled Medical Devices in the UK.
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

2014
"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Coordinating Caregiving using Smartphone Technology: a Collaborative Software Prototype Approach.
Proceedings of the Integrating Information Technology and Management for Quality of Care [ICIMTH 2014, 2014

2013
Technologies of Participation: A Case Study of CSCL@Work in Mammography.
Proceedings of the Computer-Supported Collaborative Learning at the Workplace, 2013

2012
Problems of data mobility and reuse in the provision of computer-based training for screening mammography.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

Emerging Technological Risk - Underpinning the Risk of Technology Innovation.
Springer, ISBN: 978-1-4471-2142-8, 2012

2010
Scoring Systems in Computer-Based Training for Digital Mammography.
Proceedings of the Digital Mammography, 2010

2009
The Development of Data Infrastructures for eHealth: A Socio-Technical Perspective.
J. Assoc. Inf. Syst., 2009

2008
Down in the (Data)base(ment): Supporting Configuration in Organizational Information Systems.
Proceedings of the Resources, Co-Evolution and Artifacts - Theory in CSCW, 2008

2007
Evaluation of the QoS of crash-recovery failure detection.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Learning by game-building: a novel approach to theoretical computer science education.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007


On the Quality of Service of Crash-Recovery Failure Detectors.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006
On a time enriched OCL liveness template.
Int. J. Softw. Tools Technol. Transf., 2006

2005
Safety, reliability and security of industrial computer systems.
Reliab. Eng. Syst. Saf., 2005

How Democratic Will E-Democracy Be?
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Making Autonomic Computing Systems Accountable: The Problem of Human-Computer.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

2002
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues.
Proceedings of the Computing: the Australasian Theory Symposium, 2002

2001
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen.
Comput. J., 2001

Reasoning in Higraphs with Loose Edges.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Requirements Evolution from Process to Product Oriented Management.
Proceedings of the Product Focused Software Process Improvement, 2001

2000
Controlling Requirements Evolution: An Avionics Case Study.
Proceedings of the Computer Safety, 2000

1999
A case study in innovative process improvement: code synthesis from formal specifications.
Microprocess. Microsystems, 1999

Secure Synthesis of Code: A Process Improvement Experiment.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Design for Proof: An Approach to the Design of Domain-Specific Languages.
Formal Aspects Comput., 1998

A Framework for Modelling Trojans and Computer Virus Infection.
Comput. J., 1998

1997
Diagrams and Programming Languages for Programmable Controllers.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1994
The Formalization and Analysis of a Communications Protocol.
Formal Aspects Comput., 1994

1990
Reflexive CSCW: Supporting Long-Term Personal Work.
Interact. Comput., 1990


  Loading...