Tomás Ruiz-López

dblp:22/10092 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2017
0000-0001-9994-6522ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program verification · 100%
Human-computer interaction and pervasive computing
1 paper
Health and well-being technologies · 100%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification
constraint-based verification
0.312017
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening · AAAI 2017

Methods — techniques the papers use, named apart from their topics

constraint solving · 0.6
YearPublicationVenuePosition
2017 Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori
AAAI4
2016 A Tool to Improve Visual Attention and the Acquisition of Meaning for Low-Functioning People
María Luisa Rodríguez 0001, Marcelino Cabrera-Cuevas, Carlos Rodríguez-Domínguez, Tomás Ruiz-López, María Bermúdez-Edo, María José Rodríguez-Fórtiz
ICCHP (2)4
2013 REUBI: A Requirements Engineering method for ubiquitous systems
Tomás Ruiz-López, Manuel Noguera, María José Rodríguez-Fórtiz, José Luis Garrido, Lawrence Chung
Sci. Comput. Program.1