Peter Henderson

50 papers A* 4B 9C 4Misc 1Journal 13Unranked 16

Year	Rank	Type	Title / Venue / Authors
2009	C	`conf`	Collaborative Development of System Architecture - a Tool for Coping with Inconsistency. SEKE Peter Henderson, Matthew J. Henderson
2009	B	`conf`	Consistency Checking for Component Reuse in Open Systems. ICSR Peter Henderson, Matthew J. Henderson
2008	C	`conf`	System Architecture Induces Document Architecture. SEKE Peter Henderson, Nishadi De Silva
2008	B	`conf`	Utilising Located Functions to Model and Optimise Distributed Computations. COMPSAC Stephen Crouch, Peter Henderson, Robert John Walters
2007	—	`conf`	DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. COMPSAC (1) Stephen Crouch, Peter Henderson, Robert John Walters
2007	—	`conf`	Narrative-based writing for coherent technical documents. SIGDOC Nishadi De Silva, Peter Henderson
2007	Misc	`conf`	Selecting a distributed agreement algorithm. SAC Robert John Walters, Peter Henderson, Stephen Crouch
2007	J	`jnl`	Special Issue: Middleware for Grid Computing: A 'Possible Future'. Concurr. Comput. Pract. Exp. Bruno Schulze, Geoff Coulson, Radha Nandkumar, Peter Henderson
2006	—	`conf`	A Narrative Approach to Collaborative Writing - A Business Process Model. ICEIS (4) Peter Henderson, Nishadi De Silva
2005	B	`conf`	A Practical Modelling Notation for Secure Distributed Computation. AINA Yih-Jiun Lee, Peter Henderson
2005	—	`conf`	An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. QSIC Jingtao Yang, Corina Cîrstea, Peter Henderson
2005	—	`conf`	Building Applications Able to Cope with Problematic Data Using a Datawarp Approach. ICEIS (1) Stephen Crouch, Peter Henderson, Robert John Walters
2005	—	`conf`	Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. OTM Workshops Jingtao Yang, Corina Cîrstea, Peter Henderson
2005	J	`jnl`	Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework. J. Syst. Softw. Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
2005	—	`conf`	Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory. ICEIS (4) Nishadi De Silva, Peter Henderson
2005	—	`ed.`	Proceedings of the 3rd international workshop on Middleware for grid computing, MGC 2005, Grenoble, France, November 28 - December 2, 2005 MGC@Middleware Radha Nandkumar, Bruno Schulze, Peter Henderson
2005	J	`jnl`	Web Service Grids: an evolutionary approach. Concurr. Pract. Exp. Malcolm P. Atkinson, David De Roure, Alistair N. Dunlop, Geoffrey C. Fox, Peter Henderson, Anthony J. G. Hey, Norman W. Paton, Steven J. Newhouse, Savas Parastatidis, Anne E. Trefethen, Paul Watson, Jim Webber
2004	B	`conf`	Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. COMPSAC Peter Henderson, Robert John Walters, Stephen Crouch
2004	—	`conf`	Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation. ICEIS (1) Peter Henderson, Stephen Crouch, Robert John Walters
2004	B	`conf`	Reusable Web Services. ICSR Peter Henderson, Jingtao Yang
2003	C	`conf`	DataWarp: Building Applications Which Make Progress in an Inconsistent World. DAIS Peter Henderson, Robert John Walters, Stephen Crouch, Qinglai Ni
2003	B	`conf`	Effects of Introducing Survival Behaviours into Automated Negotiators. COMPSAC Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
2002	—	`conf`	Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach. Agent Technologies, Infrastructures, Tools, and Applications for E-Services Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni
2002	J	`jnl`	Extending the concept of transaction compensation. IBM Syst. J. Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson
2002	J	`jnl`	Functional Geometry. High. Order Symb. Comput. Peter Henderson
2002	B	`conf`	Reasoning about Asynchronous Behaviour in Distributed Systems. ICECCS Peter Henderson
2001	J	`jnl`	A tool for evaluation of the software development process. J. Syst. Softw. Peter Henderson, Yvonne Margaret Howard, Robert John Walters
2001	J	`jnl`	Behavioural analysis of component-based systems. Inf. Softw. Technol. Peter Henderson, Robert John Walters
2001	—	`conf`	Inconsistency Tolerance across Enterprise Solutions. FTDCS Peter Henderson, B. Walters, Stephen Crouch
2000	J	`jnl`	Simulating a process strategy for large scale software development using systems dynamics. Softw. Process. Improv. Pract. Peter Henderson, Yvonne Margaret Howard
1999	—	`conf`	An Experiment to Improve Cost Estimation and Project Tracking for Software and Systems Integration Projects. EUROMICRO Brian W. Chatters, Peter Henderson, Chris Rostron
1999	A*	`conf`	Component-based Systems as an Aid to Design Validation. ASE Peter Henderson, Robert John Walters
1999	J	`jnl`	Editorial: Systems engineering for business process change. IEE Proc. Softw. Peter Henderson
1999	C	`conf`	System Design Validation Using Formal Models. IEEE International Workshop on Rapid System Prototyping Peter Henderson, Robert John Walters
1998	A*	`conf`	An Empirical Study of the Evolution of a Software System. ASE Robert Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson
1998	B	`conf`	Laws for dynamic systems. ICSR Peter Henderson
1998	J	`jnl`	RolEnact: role-based enactable models of business processes. Inf. Softw. Technol. Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe
1996	J	`jnl`	Executing formal specifications need not be harmful. Softw. Eng. J. Andrew M. Gravell, Peter Henderson
1995	B	`conf`	POSD-a notation for presenting complex systems of processes. ICECCS Peter Henderson, Graham D. Pratten
1989	J	`jnl`	Academic/industrial collaboration in a postgraduate MSc course in Software Engineering. J. Syst. Softw. David Budgen, Peter Henderson, Chic Rattray
1982	—	`conf`	Functional Geometry. Symposium on LISP and Functional Programming Peter Henderson
1980	—	`book`	Functional programming - application and implementation. Peter Henderson
1977	—	`conf`	An Approach to Compile-Time Type Checking. IFIP Congress Peter Henderson
1976	A*	`conf`	A Lazy Evaluator. POPL Peter Henderson, James H. Morris Jr.
1975	—	`conf`	Finite state modelling in program development. Reliable Software Peter Henderson
1974	—	`conf`	A Tool for Structured Program Development. IFIP Congress Peter Henderson, Robert A. Snowdon
1974	—	`conf`	Finite state testing of structured programs. Symposium on Programming Peter Henderson, Peter Quarendon
1972	J	`jnl`	Derived Semantics for Some Programming Language Constructs. Commun. ACM Peter Henderson
1971	A*	`conf`	Derived Semantics for Some Programming Language Constructs. IJCAI Peter Henderson
1970	—	`—`	The design and semantic analysis of a programming language and its compiler. Peter Henderson