The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gavin J. Doherty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Gavin J. Doherty, Michael D. Harrison
    Integrating Joint Behaviour and Dialogue Description. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:293-308 [Conf]
  3. José Creissac Campos, Gavin J. Doherty
    Reasoning about Dynamic Information Displays. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2003, pp:288-302 [Conf]
  4. José Creissac Campos, Gavin J. Doherty
    Supporting Resource-Based Analysis of Task Information Needs. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:188-200 [Conf]
  5. Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
    Reasoning about Interactive Systems with Stochastic Models. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2001, pp:144-163 [Conf]
  6. Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
    Ambience and Mobility. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:264- [Conf]
  7. Gavin J. Doherty, Tim Anderson, Michael Wilson, Giorgio P. Faconti
    A control centred approach to designing interaction with novel devices. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:286-290 [Conf]
  8. Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
    Formal Verification in the Design of Gestural Interaction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  9. 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]
  10. Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
    Using Hybrid Automata to Support Human Factors Analysis in a Critical System. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:2, pp:143-164 [Journal]
  11. Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael Wilson
    Continuous interaction in future computing systems. [Citation Graph (0, 0)][DBLP]
    Universal Access in the Information Society, 2002, v:1, n:4, pp:235-236 [Journal]

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


Search in 0.002secs, Finished in 0.003secs
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