The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael D. Harrison: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
    Unifying Views of Interactors. [Citation Graph (0, 0)][DBLP]
    Advanced Visual Interfaces, 1994, pp:143-152 [Conf]
  2. Michael D. Harrison, Lorenzo Strigini
    Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:899- [Conf]
  3. David J. Duke, Michael D. Harrison
    Folding Human Factors into Rigorous Development. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:333-347 [Conf]
  4. David J. Duke, Michael D. Harrison
    Interaction and Task Requirements. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:54-75 [Conf]
  5. Bob Fields, Michael D. Harrison, Peter C. Wright
    Modelling Interactive Systems and Providing Task Relevant Information. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:253-266 [Conf]
  6. Chris Bramwell, Bob Fields, Michael D. Harrison
    Exploring Design Options Rationally. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:134-148 [Conf]
  7. Gavin J. Doherty, Michael D. Harrison
    A representational approach to the specification of presentations. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:273-290 [Conf]
  8. Karsten Loer, Michael D. Harrison
    Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:169-190 [Conf]
  9. Andrew M. Dearden, Michael D. Harrison
    Modelling Interaction Properties for Interactive Case Memories. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:301-316 [Conf]
  10. Gavin J. Doherty, Michael D. Harrison
    Integrating Joint Behaviour and Dialogue Description. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:293-308 [Conf]
  11. José Creissac Campos, Michael D. Harrison
    Formally verifying interactive systems: A review. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:109-124 [Conf]
  12. José Creissac Campos, Michael D. Harrison
    The Role of Verification in Interactive Systems Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:155-170 [Conf]
  13. Michael D. Harrison
    Working Group Discussions: Role of Formalisms. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:57-60 [Conf]
  14. José Creissac Campos, Michael D. Harrison
    Modelling and Analysing Connectivity in an Audio-Visual Communications System. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1999, pp:167-188 [Conf]
  15. Michael D. Harrison
    Reports from Working Groups: Role of Verification. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:342-344 [Conf]
  16. Michael D. Harrison
    Working Group 1 Report. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:312-315 [Conf]
  17. Michael D. Harrison, Ann Blandford, Philip J. Barnard
    Modelling Interactive Systems and Providing Task Relevant Information. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:267-277 [Conf]
  18. Andrew M. Dearden, Michael D. Harrison
    Risk Analysis, Impact and Interaction Modelling. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:229-247 [Conf]
  19. Nicholas A. Merriam, Michael D. Harrison
    Evaluating the Interfaces of Three Theorem Proving Assistants. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:330-346 [Conf]
  20. James S. Willans, Michael D. Harrison
    Verifying the Behaviour of Virtual Environment World Objects. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:65-77 [Conf]
  21. Chris R. Roast, Michael D. Harrison
    User Centred System Modelling using the Template Model. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:401-412 [Conf]
  22. Shamus P. Smith, Michael D. Harrison
    Blending Descriptive and Numeric Analysis in Human Reliability Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2002, pp:223-237 [Conf]
  23. James S. Willans, Michael D. Harrison
    Prototyping Pre-implementation Designs of Virtual Environment Behaviour. [Citation Graph (0, 0)][DBLP]
    EHCI, 2001, pp:91-108 [Conf]
  24. Stephen W. Gilroy, Michael D. Harrison
    Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. [Citation Graph (0, 0)][DBLP]
    EHCI/DS-VIS, 2004, pp:325-345 [Conf]
  25. Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby
    Interaction Models and the Principled Design of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:118-126 [Conf]
  26. David J. Duke, Michael D. Harrison
    A Theory of Presentations. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:271-290 [Conf]
  27. John C. McCarthy, Peter C. Wright, Patrick G. T. Healey, Andrew M. Dearden, Michael D. Harrison
    Locating the scene: the particular and the general in contexts for ambulance control. [Citation Graph (0, 0)][DBLP]
    GROUP, 1997, pp:101-110 [Conf]
  28. Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden
    Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. [Citation Graph (0, 0)][DBLP]
    ICCBR Workshops, 1999, pp:15-24 [Conf]
  29. José Creissac Campos, Michael D. Harrison
    From HCI to Software Engineering and Back. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 2003, pp:49-56 [Conf]
  30. David J. Duke, Michael D. Harrison
    From Formal Models to Formal Methods. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 1994, pp:159-173 [Conf]
  31. Bob Fields, Peter C. Wright, Michael D. Harrison
    Applying Formal Methods for Human Error Tolerant Design. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 1994, pp:185-195 [Conf]
  32. Michael D. Harrison, David J. Duke
    A Review of Formalisms for Describing Interactive Behaviour. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 1994, pp:49-75 [Conf]
  33. Shamus P. Smith, Michael D. Harrison
    Improving Hazard Classification through the Reuse of Descriptive Arguments. [Citation Graph (0, 0)][DBLP]
    ICSR, 2002, pp:255-268 [Conf]
  34. Karsten Loer, Michael Hildebrandt, Michael D. Harrison
    Analysing Dynamic Function Scheduling Decisions. [Citation Graph (0, 0)][DBLP]
    Human Error, Safety and Systems Development, 2004, pp:45-60 [Conf]
  35. Gilbert Cockton, Michael D. Harrison, Barbara H. Kwasnik, Robin R. Penner, Rob Procter
    HCI: Whose Problem Is It Anyway? [Citation Graph (0, 0)][DBLP]
    Engineering for Human-Computer Interaction, 1992, pp:397-403 [Conf]
  36. Michael D. Harrison
    A Model for the Option Space of Interactive System. [Citation Graph (0, 0)][DBLP]
    Engineering for Human-Computer Interaction, 1992, pp:155-170 [Conf]
  37. Bob Fields, Peter C. Wright, Michael D. Harrison
    Objectives, strategies and resources as design drivers. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1997, pp:164-171 [Conf]
  38. Janet Finlay, Michael D. Harrison
    Pattern recognition and interaction models. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1990, pp:149-154 [Conf]
  39. Karsten Loer, Michael D. Harrison
    Analysing User Confusion in Context Aware Mobile Applications. [Citation Graph (0, 0)][DBLP]
    INTERACT, 2005, pp:184-197 [Conf]
  40. John C. McCarthy, Peter C. Wright, Michael D. Harrison
    A requirements space for group-work systems. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1995, pp:283-288 [Conf]
  41. Andrew F. Monk, John Carroll, Michael D. Harrison, John Long, Richard M. Young
    New approaches to theory in HCI: How should we judge their acceptability? [Citation Graph (0, 0)][DBLP]
    INTERACT, 1990, pp:1055-1058 [Conf]
  42. Peter C. Wright, Bob Fields, Andrew M. Dearden, Michael D. Harrison
    Techniques for the design of human error tolerant systems. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1997, pp:665-666 [Conf]
  43. Michael D. Harrison, Alan J. Dix
    Modelling the relationship between state and display in interactive systems. [Citation Graph (0, 0)][DBLP]
    Informatics and Psychology Workshop, 1988, pp:241-249 [Conf]
  44. Karsten Loer, Michael D. Harrison
    Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:223-226 [Conf]
  45. Bob Fields, Peter C. Wright, Michael D. Harrison
    A task centered approach to analysing human error tolerance requirements. [Citation Graph (0, 0)][DBLP]
    RE, 1995, pp:18-26 [Conf]
  46. Shamus P. Smith, Michael D. Harrison
    Augmenting descriptive scenario analysis for improvements in human reliability design. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:739-743 [Conf]
  47. Shamus P. Smith, Michael D. Harrison
    Reuse in Hazard Analysis: Identification and Support. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:382-395 [Conf]
  48. Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp
    How Explicit Are the Barriers to Failure in Safety Arguments? [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:325-338 [Conf]
  49. Mark A. Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon
    Demonstration of Safety in Healthcare Organisations. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:219-232 [Conf]
  50. Michael Hildebrandt, Karsten Loer, Michael D. Harrison
    Time design: analysing human temporal control behaviour in dynamic real-time systems. [Citation Graph (0, 0)][DBLP]
    SMC (1), 2004, pp:879-885 [Conf]
  51. José Creissac Campos, Michael D. Harrison, Karsten Loer
    Verifying user interface behaviour with model checking. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:87-96 [Conf]
  52. Michael D. Harrison
    Desert Island Reading. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1998, v:5, n:3, pp:373-375 [Journal]
  53. José Creissac Campos, Michael D. Harrison
    Model Checking Interactor Specifications. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:3-4, pp:275-310 [Journal]
  54. Karsten Loer, Michael D. Harrison
    An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:4, pp:469-496 [Journal]
  55. David J. Duke, Michael D. Harrison
    Abstract Interaction Objects. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1993, v:12, n:3, pp:25-36 [Journal]
  56. Andrew M. Dearden, Michael D. Harrison
    A Software Engineering Model for Case Memory System. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:4, pp:167-182 [Journal]
  57. Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
    Representational Reasoning and Verification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:260-277 [Journal]
  58. David J. Duke, Bob Fields, Michael D. Harrison
    A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:2, pp:107-131 [Journal]
  59. Ann Blandford, Philip J. Barnard, Michael D. Harrison
    Using Interaction Framework to guide the design of interactive systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1995, v:43, n:1, pp:101-130 [Journal]
  60. Andrew M. Dearden, Michael D. Harrison
    Abstract models for HCI. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1997, v:46, n:1, pp:151-177 [Journal]
  61. Andy Dearden, Michael D. Harrison, Peter C. Wright
    Allocation of function: scenarios, context and the economics of effort. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2000, v:52, n:2, pp:289-318 [Journal]
  62. C. W. Johnson, Michael D. Harrison
    Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Man-Machine Studies, 1992, v:37, n:3, pp:357-385 [Journal]
  63. John C. McCarthy, Patrick G. T. Healey, Peter C. Wright, Michael D. Harrison
    Accountability of work activity in high-consequence work systems: human error in context. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1997, v:47, n:6, pp:735-766 [Journal]
  64. Shamus P. Smith, Michael D. Harrison
    Editorial: User centred design and implementation of virtual environments. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2001, v:55, n:2, pp:109-114 [Journal]
  65. James S. Willans, Michael D. Harrison
    A toolset supported approach for designing and testing virtual environment interaction techniques. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2001, v:55, n:2, pp:145-165 [Journal]

  66. Names and reference in user interfaces. [Citation Graph (, )][DBLP]


  67. Systematic Analysis of Control Panel Interfaces Using Formal Tools. [Citation Graph (, )][DBLP]


  68. Resources for Situated Actions. [Citation Graph (, )][DBLP]


  69. Towards a location model for indoor navigation support through public displays and mobile devices. [Citation Graph (, )][DBLP]


  70. Scalable analysis of collective behaviour in smart service systems. [Citation Graph (, )][DBLP]


  71. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. [Citation Graph (, )][DBLP]


  72. Interaction engineering using the IVY tool. [Citation Graph (, )][DBLP]


  73. An infrastructure for experience centered agile prototyping of ambient intelligence. [Citation Graph (, )][DBLP]


  74. Bridging the gulf between interaction engineering and human reliability assessment. [Citation Graph (, )][DBLP]


  75. Engineering crowd interaction within smart environments. [Citation Graph (, )][DBLP]


  76. Representations for an iterative resource-based design approach. [Citation Graph (, )][DBLP]


  77. Exploring an Option Space to Engineer a Ubiquitous Computing System. [Citation Graph (, )][DBLP]


  78. Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.011secs
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