José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



151
TÍTULO: Reasoning about dynamic information displays
AUTORES: Campos, JC ; Doherty, GJ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
152
TÍTULO: Using task knowledge to guide interactor specifications analysis
AUTORES: Campos, JC ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
153
TÍTULO: Model Checking Interactor Specifications  Full Text
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2001, FONTE: Autom. Softw. Eng., VOLUME: 8, NÚMERO: 3-4
INDEXADO EM: Scopus DBLP CrossRef: 53
NO MEU: ORCID
154
TÍTULO: Representational Reasoning and Verification  Full Text
AUTORES: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects Comput., VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 12
NO MEU: ORCID
155
TÍTULO: Using automated reasoning in the design of an audio-visual communication system
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1999, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXADO EM: WOS DBLP
NO MEU: ORCID
156
TÍTULO: The role of verification in interactive systems design
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1998, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98
INDEXADO EM: WOS DBLP
NO MEU: ORCID
157
TÍTULO: Formally verifying interactive systems: A review
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 1997, FONTE: DSV-IS
INDEXADO EM: DBLP
NO MEU: ORCID
Página 16 de 16. Total de resultados: 157.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service