Tomas Ruiz-Lopez

External collaborator

Publications

Simula-affiliated publications listed

A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori

Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening

Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA

S. Sen, T. Ruiz-Lopez and E. Jacobsen

FightHPV: Et spill som skal øke bevisstheten rundt HPV, og «dulte» folk til å forebygge livmorhalskreft

Special Issue: Catch-HPV