Stuart Anderson

2007
22	EE	Tiejun Ma, Jane Hillston, Stuart Anderson: On the Quality of Service of Crash-Recovery Failure Detectors. DSN 2007: 739-748
21	EE	Laura Korte, Stuart Anderson, Helen Pain, Judith Good: Learning by game-building: a novel approach to theoretical computer science education. ITiCSE 2007: 53-57
20	EE	Tiejun Ma, Jane Hillston, Stuart Anderson: Evaluation of the QoS of crash-recovery failure detection. SAC 2007: 538-542
2006
19	EE	Juliana Küster Filipe, Stuart Anderson: On a time enriched OCL liveness template. STTT 8(2): 156-166 (2006)
2005
18	EE	Stuart Anderson, Massimo Felici: How Democratic Will E-Democracy Be? COMPSAC (1) 2005: 499
2003
17		Stuart Anderson, Massimo Felici, Bev Littlewood: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings Springer 2003
16	EE	Stuart Anderson, Mark Hartswood, Rob Procter, Mark Rouncefield, Roger Slack, James Soutter, Alexander Voß: Making Autonomic Computing Systems Accountable: The Problem of Human-Computer. DEXA Workshops 2003: 718-724
15	EE	Stuart Anderson, Juliana Küster Filipe: Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. ICDCS Workshops 2003: 178-
2002
14		Stuart Anderson, Sandro Bologna, Massimo Felici: Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings Springer 2002
13	EE	Stuart Anderson, Massimo Felici: Quantitative Aspects of Requirements Evolution. COMPSAC 2002: 27-32
12	EE	Stuart Anderson, John Power, Konstantinos Tourlas: Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. Electr. Notes Theor. Comput. Sci. 61: (2002)
2001
11	EE	Stuart Anderson, John Power, Konstantinos Tourlas: Reasoning in Higraphs with Loose Edges. HCC 2001: 23-29
10	EE	Stuart Anderson, Massimo Felici: Requirements Evolution from Process to Product Oriented Management. PROFES 2001: 27-41
9	EE	Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns: Reply to `Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen. Comput. J. 44(4): 324-325 (2001)
2000
8	EE	Stuart Anderson, Massimo Felici: Controlling Requirements Evolution: An Avionics Case Study. SAFECOMP 2000: 361-370
7	EE	Stuart Anderson: Remark on algorithm 723: Fresnel integrals. ACM Trans. Math. Softw. 26(4): 617 (2000)
1998
6		Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns: A Framework for Modelling Trojans and Computer Virus Infection. Comput. J. 41(7): 444-458 (1998)
5	EE	Stuart Anderson, Konstantinos Tourlas: Design for Proof: An Approach to the Design of Domain-Specific Languages. Formal Asp. Comput. 10(5-6): 452-468 (1998)
1997
4		Stuart Anderson, Konstantinos Tourlas: Diagrams and Programming Languages for Programmable Controllers. FME 1997: 1-19
1994
3		Glenn Bruns, Stuart Anderson: The Formalization and Analysis of a Communications Protocol. Formal Asp. Comput. 6(1): 92-112 (1994)
1991
2		Peter B. Denyer, David S. Renshaw, Gouyu Wang, Ming Ying Lu, Stuart Anderson: On-Chip CMOS Sensors for VLSI Imaging Systems. VLSI 1991: 157-166
1990
1		Harold W. Thimbleby, Stuart Anderson, Ian H. Witten: Reflexive CSCW: Supporting Long-Term Personal Work. Interacting with Computers 2(3): 330-336 (1990)

Coauthor Index

1	Sandro Bologna	[14]
2	Juliana Küster Filipe Bowles (Juliana Küster Filipe)	[15] [19]
3	Glenn Bruns	[3]
4	Paul A. Cairns	[6] [9]
5	Peter B. Denyer	[2]
6	Massimo Felici	[8] [10] [13] [14] [17] [18]
7	Judith Good	[21]
8	Mark Hartswood	[16]
9	Jane Hillston	[20] [22]
10	Laura Korte	[21]
11	Bev Littlewood	[17]
12	Ming Ying Lu	[2]
13	Tiejun Ma	[20] [22]
14	Helen Pain	[21]
15	John Power (A. John Power)	[11] [12]
16	Rob Procter	[16]
17	David S. Renshaw	[2]
18	Mark Rouncefield	[16]
19	Roger Slack	[16]
20	James Soutter	[16]
21	Harold W. Thimbleby	[1] [6] [9]
22	Konstantinos Tourlas	[4] [5] [11] [12]
23	Alexander Voß	[16]
24	Gouyu Wang	[2]
25	Ian H. Witten	[1]

Colors in the list of coauthors