The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Creissac Campos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. José Creissac Campos, Gavin J. Doherty
    Reasoning about Dynamic Information Displays. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2003, pp:288-302 [Conf]
  2. 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]
  3. José Creissac Campos, Michael D. Harrison
    Formally verifying interactive systems: A review. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:109-124 [Conf]
  4. 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]
  5. 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]
  6. José Creissac Campos
    Using Task Knowledge to Guide Interactor Specifications Analysis. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2003, pp:171-186 [Conf]
  7. 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]
  8. Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet, Mónica Santos, Jan Van den Bergh
    Processes: Working Group Report. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:262-264 [Conf]
  9. J. C. Silva, José Creissac Campos, João Saraiva
    Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:137-150 [Conf]
  10. António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos
    Accessibility and Visually Impaired Users. [Citation Graph (0, 0)][DBLP]
    ICEIS (5), 2004, pp:75-80 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
    Towards a Coordination Model for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:89-103 [Journal]

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


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


  18. A generic library for GUI reasoning and testing. [Citation Graph (, )][DBLP]


  19. A Coordination Model for Interactive Components. [Citation Graph (, )][DBLP]


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


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


  22. The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. [Citation Graph (, )][DBLP]


  23. Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. [Citation Graph (, )][DBLP]


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


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