José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 157



151
TITLE: Reasoning about dynamic information displays
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
152
TITLE: Using task knowledge to guide interactor specifications analysis
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
153
TITLE: Model Checking Interactor Specifications  Full Text
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2001, SOURCE: Autom. Softw. Eng., VOLUME: 8, ISSUE: 3-4
INDEXED IN: Scopus DBLP CrossRef: 50
IN MY: ORCID | DBLP | CIÊNCIAVITAE
154
TITLE: Representational Reasoning and Verification  Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID | DBLP | CIÊNCIAVITAE
155
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
156
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
157
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 16 of 16. Total results: 157.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service