ProfileOfResearchers

131

TÃTULO: Considering Context and Users in Interactive Systems Analysis Full Text
AUTORES: Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

NO MEU:

ORCID |

ResearcherID |

DBLP |

CIÊNCIAVITAE

132

TÃTULO: Exploring an Option Space to Engineer a Ubiquitous Computing System
AUTORES: Harrison, MD ; Kray, C; Campos, JC ;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, NÚMERO: C

INDEXADO EM:

Scopus

DBLP

CrossRef: 5

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

133

TÃTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, NÚMERO: C

INDEXADO EM:

Scopus

DBLP

CrossRef: 24

Handle

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

134

TÃTULO: Property patterns for the formal verification of automated production systems
AUTORES: Campos, JC ; Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2008, FONTE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, NÚMERO: 1 PART 1

INDEXADO EM:

Scopus

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

135

TÃTULO: Resources for situated actions
AUTORES: Gavin Doherty; Jose Campos ; Michael Harrison ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 7

NO MEU:

ORCID |

ResearcherID |

DBLP |

CIÊNCIAVITAE

136

TÃTULO: Systematic analysis of control panel interfaces using formal tools
AUTORES: Creissac C Campos ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 43

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

137

TÃTULO: A new plant modelling approach for formal verification purposes
AUTORES: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLICAÇÃO: 2007, FONTE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, NÚMERO: PART 1

INDEXADO EM:

Scopus

CrossRef

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

138

TÃTULO: An interaction model and infrastructure for localized activities in pervasive computing environments
AUTORES: Pinto, H; Jose, R ; Campos, JC ;
PUBLICAÇÃO: 2007, FONTE: IEEE International Conference on Pervasive Services in 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 4

Handle

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

139

TÃTULO: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTORES: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 3

NO MEU:

ORCID |

ResearcherID |

DBLP |

CIÊNCIAVITAE

140

TÃTULO: Processes: Working group report
AUTORES: Stephane Chatty; Jose Creissac Campos ; Maria Paula Gonzalez; Sophie Lepreux; Erik G Nilsson; Victor M R Penichet; Monica Santos; Jan Van den Bergh;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

NO MEU:

ORCID |

ResearcherID |

DBLP |

CIÊNCIAVITAE