Export 2 results:
Search results for biblio_year:2015
Filters: 1 is biblio_type:PhD Thesis and 2 is biblio_year:1998 and 3 is biblio_year:2002 and 4 is biblio_year:2001 and 5 is biblio_year:2003 and 6 is biblio_year:1999 and 7 is biblio_type:Book Chapter and Author is Tomas Ruiz-Lopez  [Reset Search]
2017
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 In Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA. AAAI, 2017.PDF icon gll17.pdf (3.93 MB)