Peter Henderson

	2009
48		Peter Henderson, Matthew J. Henderson: Consistency Checking for Component Reuse in Open Systems. ICSR 2009: 1-10
47		Peter Henderson, Matthew J. Henderson: Collaborative Development of System Architecture - a Tool for Coping with Inconsistency. SEKE 2009: 520-525
	2008
46		Stephen Crouch, Peter Henderson, Robert John Walters: Utilising Located Functions to Model and Optimise Distributed Computations. COMPSAC 2008: 488-489
45		Peter Henderson, Nishadi De Silva: System Architecture Induces Document Architecture. SEKE 2008: 327-332
	2007
44		Stephen Crouch, Peter Henderson, Robert John Walters: DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. COMPSAC (1) 2007: 583-590
43		Robert John Walters, Peter Henderson, Stephen Crouch: Selecting a distributed agreement algorithm. SAC 2007: 586-587
42		Nishadi De Silva, Peter Henderson: Narrative-based writing for coherent technical documents. SIGDOC 2007: 208-215
41		Bruno Schulze, Geoff Coulson, Radha Nandkumar, Peter Henderson: Special Issue: Middleware for Grid Computing: A 'Possible Future'. Concurrency and Computation: Practice and Experience 19(14): 1879-1884 (2007)
	2006
40		Peter Henderson, Nishadi De Silva: A Narrative Approach to Collaborative Writing - A Business Process Model. ICEIS (4) 2006: 166-173
	2005
39		Yih-Jiun Lee, Peter Henderson: A Practical Modelling Notation for Secure Distributed Computation. AINA 2005: 439-442
38		Stephen Crouch, Peter Henderson, Robert John Walters: Building Applications Able to Cope with Problematic Data Using a Datawarp Approach. ICEIS (1) 2005: 411-414
37		Nishadi De Silva, Peter Henderson: Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory. ICEIS (4) 2005: 105-110
36		Jingtao Yang, Corina Cîrstea, Peter Henderson: Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. OTM Workshops 2005: 39-48
35		Jingtao Yang, Corina Cîrstea, Peter Henderson: An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. QSIC 2005: 446-451
34		Malcolm P. Atkinson, David De Roure, Alistair N. Dunlop, Geoffrey Fox, Peter Henderson, Anthony J. G. Hey, Norman W. Paton, Steven Newhouse, Savas Parastatidis, Anne E. Trefethen, Paul Watson, Jim Webber: Web Service Grids: an evolutionary approach. Concurrency - Practice and Experience 17(2-4): 377-389 (2005)
33		Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni: Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework. Journal of Systems and Software 76(1): 65-76 (2005)
	2004
32		Peter Henderson, Robert John Walters, Stephen Crouch: Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. COMPSAC 2004: 92-98
31		Peter Henderson, Stephen Crouch, Robert John Walters: Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation. ICEIS (1) 2004: 473-481
30		Peter Henderson, Jingtao Yang: Reusable Web Services. ICSR 2004: 185-194
	2003
29		Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni: Effects of Introducing Survival Behaviours into Automated Negotiators. COMPSAC 2003: 506-512
28		Peter Henderson, Robert John Walters, Stephen Crouch, Qinglai Ni: DataWarp: Building Applications Which Make Progress in an Inconsistent World. DAIS 2003: 167-178
27		Daniel D. Garcia, David Ginat, Peter Henderson: Everything you always wanted to know about game theory: but were afraid to ask. SIGCSE 2003: 96-97
26		Peter Henderson: Software engineering education. ACM SIGSOFT Software Engineering Notes 28(6): 3-4 (2003)
	2002
25		Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni: Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 137-150
24		Peter Henderson: Reasoning about Asynchronous Behaviour in Distributed Systems. ICECCS 2002: 17-24
23		Peter Henderson: Functional Geometry. Higher-Order and Symbolic Computation 15(4): 349-365 (2002)
22		Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson: Extending the concept of transaction compensation. IBM Systems Journal 41(4): 743-758 (2002)
	2001
21		Peter Henderson, B. Walters, Stephen Crouch: Inconsistency Tolerance across Enterprise Solutions. FTDCS 2001: 164-169
20		David Gries, Bill Marion, Peter Henderson, Diane Schwartz: How mathematical thinking enchances computer science problem solving. SIGCSE 2001: 390-391
19		Peter Henderson, Robert John Walters: Behavioural analysis of component-based systems. Information & Software Technology 43(3): 161-169 (2001)
18		Peter Henderson, Yvonne Margaret Howard, Robert John Walters: A tool for evaluation of the software development process. Journal of Systems and Software 59(3): 355-362 (2001)
	2000
17		Peter Henderson, Yvonne Margaret Howard: Simulating a process strategy for large scale software development using systems dynamics. Software Process: Improvement and Practice 5(2-3): 121-131 (2000)
	1999
16		Peter Henderson, Robert John Walters: Component-based Systems as an Aid to Design Validation. ASE 1999: 303-306
15		Brian W. Chatters, Peter Henderson, Chris Rostron: An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects. EUROMICRO 1999: 2177-2184
14		Peter Henderson, Robert John Walters: System Design Validation Using Formal Models. IEEE International Workshop on Rapid System Prototyping 1999: 10-14
13		Peter Henderson: Editorial: Systems engineering for business process change. IEE Proceedings - Software 146(3): 129 (1999)
	1998
12		R. Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson: An Empirical Study of the Evolution of a Software System. ASE 1998: 293-296
11		Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe: RolEnact: role-based enactable models of business processes. Information & Software Technology 40(3): 123-133 (1998)
	1995
10		Peter Henderson, Graham D. Pratten: POSD-a notation for presenting complex systems of processes. ICECCS 1995: 125-
	1989
9		David Budgen, Peter Henderson, Chic Rattray: Academic/industrial collaboration in a postgraduate MSc course in Software Engineering. Journal of Systems and Software 10(4): 261-266 (1989)
	1987
8		Peter Henderson: Modern introductory computer science. SIGCSE 1987: 183-190
	1982
7		Peter Henderson: Functional Geometry. Symposium on LISP and Functional Programming 1982: 179-187
	1977
6		Peter Henderson: An Approach to Compile-Time Type Checking. IFIP Congress 1977: 523-527
	1976
5		Peter Henderson, James H. Morris Jr.: A Lazy Evaluator. POPL 1976: 95-103
	1974
4		Peter Henderson, Robert A. Snowdon: A Tool for Structured Program Development. IFIP Congress 1974: 204-207
3		Peter Henderson, Peter Quarendon: Finite state testing of structured programs. Symposium on Programming 1974: 72-80
	1972
2		Peter Henderson: Derived Semantics for Some Programming Language Constructs. Commun. ACM 15(11): 967-973 (1972)
	1971
1		Peter Henderson: Derived Semantics for Some Programming Language Constructs. IJCAI 1971: 490-496

Coauthor Index

1	Geetha Abeysinghe	[11]
2	Malcolm P. Atkinson	[34]
3	David Budgen	[9]
4	Michael J. Butler	[22]
5	Brian W. Chatters	[15]
6	Mandy Chessell	[22]
7	Corina Cîrstea	[35] [36]
8	Geoff Coulson (Geoffrey Coulson)	[41]
9	Stephen Crouch	[21] [25] [28] [29] [31] [32] [33] [38] [43] [44] [46]
10	Alistair N. Dunlop	[34]
11	Carla Ferreira	[22]
12	Geoffrey Fox (Geoffrey Charles Fox)	[34]
13	Daniel D. Garcia	[27]
14	David Ginat	[27]
15	R. Mark Greenwood	[12]
16	David Gries	[20]
17	Catherine Griffin	[22]
18	Rachel Harrison	[12]
19	Matthew J. Henderson	[47] [48]
20	Anthony J. G. Hey (Tony Hey)	[34]
21	Yvonne Margaret Howard	[17] [18]
22	Yih-Jiun Lee	[39]
23	Bill Marion	[20]
24	James H. Morris Jr.	[5]
25	Radha Nandkumar	[41]
26	Steven Newhouse	[34]
27	Qinglai Ni	[25] [28] [29] [33]
28	Savas Parastatidis	[34]
29	Norman W. Paton	[34]
30	Keith Phalp	[11]
31	Graham D. Pratten	[10]
32	Peter Quarendon	[3]
33	Chic Rattray	[9]
34	Chris Rostron	[15]
35	David De Roure	[34]
36	Bruno Schulze	[41]
37	Diane Schwartz	[20]
38	Nishadi De Silva	[37] [40] [42] [45]
39	Robert A. Snowdon	[4]
40	Anne E. Trefethen	[34]
41	David Vines	[22]
42	B. Walters	[21]
43	Robert John Walters	[11] [14] [16] [18] [19] [25] [28] [29] [31] [32] [33] [38] [43] [44] [46]
44	Brian Warboys	[12]
45	Paul Watson	[34]
46	Jim Webber	[34]
47	Jingtao Yang	[30] [35] [36]

Colors in the list of coauthors