José Creissac Campos - Publications, H-index & Citations

José Creissac Campos

universite toulouse iii - paul sabatier

23H指数

249论文数

1.6K被引数

收录论文 11

发表时间

Engineering Methods for HCI and UX in AI-Driven Systems 面向AI驱动系统的HCI与UX工程设计方法

HUMAN-COMPUTER INTERACTION - INTERACT 2025, PT IV

IF0

2026-01-01

PREAI

Spano, Lucio Davide; Palanque, Philippe; Martinie, Celia; Campos, Jose Creissac; Schmidt, Albrecht; Barricelli, Barbara Rita; ElAgroudy, Passant; Luyten, Kris

Towards a More Natural Approach to Property Specification in the IVY Workbench 面向IVY工作台中更自然的属性规范方法

HUMAN-COMPUTER INTERACTION - INTERACT 2025, PT III

IF0

2026-01-01

PREAI

Gomes, Joao; Arcipreste, Mario; Gomes, Miguel; Campos, Jose Creissac

Foreword to the special section on recent advances in graphics and interaction (RAGI 2025)《图形与交互（RAGI 2025）最新进展专题序言》

Computers & Graphics

IF0

2025-12-04

PREAI

Tomás Alves; José Creissac Campos; Alan Chalmers

Foreword to the special section on recent advances in graphics and interaction (RAGI 2024)《图形与交互领域最新进展（RAGI 2024）专刊前言》

computers

IF0

2025-05-23

PREAI

Anabela Marto; José Creissac Campos; Kyle Johnsen

Nutrient overload and insulin resistance can precede reductions in mitochondrial respiration in omental adipose tissue

DIABETES RESEARCH AND CLINICAL PRACTICE

IF7.4

2024-03-01

PREAI

Pinho, A.; Lazaro, A.; Barbosa, P.; Paula, D.; Campos, J. C.; Tralhao, J. G.; Carvalho, E.

Verification Templates for the Analysis of User Interface Software Design

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2019-08-01

OAAI

Harrison, Michael D.; Masci, Paolo; Campos, Jose C.

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

IF4.4

2017-12-01

OAAI

Harrison, Michael D.; Masci, Paolo; Campos, Jose Creissac; Curzon, Paul

Formal Verification of a Space System's User Interface With the IVY Workbench

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

IF4.4

2016-04-01

OAAI

Campos, Jose Creissac; Sousa, Manuel; Bergue Alves, Miriam C.; Harrison, Michael D.

Prototyping and analysing ubiquitous computing environments using multiple layers

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES

IF5.1

2014-05-01

OAAI

Silva, Jose Luis; Campos, Jose Creissac; Harrison, Michael D.

Analysing interactive devices based on information resource constraints

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES

IF5.1

2014-03-01

OAAI

Campos, Jose Creissac; Doherty, Gavin; Harrison, Michael D.

Safe controllers design for industrial automation systems

COMPUTERS & INDUSTRIAL ENGINEERING

IF6.5

2011-05-01

PREAI

Machado, Jose; Seabra, Eurico; Campos, Jose C.; Soares, Filomena; Leao, Celina P.

研究方向