Concepedia

José Creissac Campos

JC

Statistics

Publications

35

Citations

925

H-Index

21

Active since

2000

Affiliations

University of Minho(Current)

INESC TEC

Newcastle University

Queen Mary University of London

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

José Creissac Campos is an author at University of Minho specializing in computer science, computing, and systems engineering.

ORCID

Publications per year

2000–2024

35

Publications

35

Model Checking Interactor Specifications

José Creissac Campos, Michael D. Harrison · Automated Software Engineering · 2001 · 83 citations · Full text

, , +11

Interaction engineering using the IVY tool

José Creissac Campos, Michael D. Harrison · 2009 · 64 citations · Full text

, , +15

The GUISurfer tool

João Carlos Silva, Carlos Silva, Rui D. Gonçalo et al. · 2010 · 47 citations · Full text

, , +9

An integrated simulator for surgery of the petrous bone.

Nigel W. John, N. A. Thacker, Maja Pokrić et al. · PubMed · 2001 · 41 citations

, , +9

Modelling and analysing the interactive behaviour of an infusion pump

José Creissac Campos, Michael D. Harrison · RepositóriUM (Universidade do Minho) · 2011 · 38 citations · Full text

, , +12

1–5 of 35