José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 131



101
TITLE: An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence
AUTHORS: Jose Luis Silva ; Jose C Campos ; Michael D Harrison ;
PUBLISHED: 2009, SOURCE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | ResearcherID | DBLP
102
TITLE: Interaction Engineering Using the IVY Tool
AUTHORS: Jose C Campos ; Michael D Harrison ;
PUBLISHED: 2009, SOURCE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | ResearcherID | DBLP
103
TITLE: Pattern-based analysis of automated production systems
AUTHORS: Campos, JC ; Machado, J ;
PUBLISHED: 2009, SOURCE: 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 13, ISSUE: PART 1
INDEXED IN: Scopus CrossRef: 12
IN MY: ORCID
104
TITLE: Analysing Human Aspects of Safety-Critical Software
AUTHORS: Michael D Harrison ; José Creissac Campos ;
PUBLISHED: 2008, SOURCE: ERCIM News, VOLUME: 2008, ISSUE: 75
INDEXED IN: DBLP
IN MY: ORCID | DBLP
105
TITLE: Connecting Rigorous System Analysis to Experience-Centered Design
AUTHORS: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLISHED: 2008, SOURCE: Maturing Usability - Quality in Software, Interaction and Value
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
106
TITLE: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTHORS: Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2008, SOURCE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
107
TITLE: Exploring an Option Space to Engineer a Ubiquitous Computing System
AUTHORS: Harrison, MD ; Kray, C; Campos, JC ;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
108
TITLE: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: Silva, JL ; Campos, JC ; Paiva, ACR ;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 23
IN MY: ORCID | DBLP
109
TITLE: Property patterns for the formal verification of automated production systems
AUTHORS: Campos, JC ; Machado, J ; Seabra, E ;
PUBLISHED: 2008, SOURCE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, ISSUE: 1 PART 1
INDEXED IN: Scopus
IN MY: ORCID
110
TITLE: Resources for situated actions
AUTHORS: Gavin Doherty; Jose Campos ; Michael Harrison ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | ResearcherID | DBLP
Page 11 of 14. Total results: 131.

A place for researchers and their institutions

Useful Links

Get Help

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