The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Henderson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  42. Utilising Located Functions to Model and Optimise Distributed Computations. [Citation Graph (, )][DBLP]


  43. Consistency Checking for Component Reuse in Open Systems. [Citation Graph (, )][DBLP]


  44. System Architecture Induces Document Architecture. [Citation Graph (, )][DBLP]


  45. Collaborative Development of System Architecture - a Tool for Coping with Inconsistency. [Citation Graph (, )][DBLP]


  46. Narrative-based writing for coherent technical documents. [Citation Graph (, )][DBLP]


  47. Has our curriculum become math-phobic? (an American perspective). [Citation Graph (, )][DBLP]


  48. Special Issue: Middleware for Grid Computing: A 'Possible Future'. [Citation Graph (, )][DBLP]


Search in 0.259secs, Finished in 0.261secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002