Francisco Gutiérrez

44 papers A* 1A 6B 1C 3Misc 1Journal 9Unranked 21

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Design of technology-based pervasive gaming experiences: properties and degrees of pervasiveness. CEV Johnny Salazar Cardona, Jeferson Arango-López, Francisco Gutiérrez, Juan Trillo
2022	A	`conf`	Explaining Call Recommendations in Nursing Homes: a User-Centered Design Approach for Interacting with Knowledge-Based Health Decision Support Systems. IUI Francisco Gutiérrez, Nyi Nyi Htun, Vero Vanden Abeele, Robin De Croon, Katrien Verbert
2022	—	`conf`	Older adults and types of players in game-based systems: Classification based on their motivations. Interacción Johnny Salazar Cardona, Francisco Gutiérrez, Jeferson Arango, Patricia Paderewski
2022	—	`ed.`	Proceedings of the 2nd Workshop on Recommender Systems for Human Resources (RecSys-in-HR 2022) co-located with the 16th ACM Conference on Recommender Systems (RecSys 2022), Seattle, USA, 18th-23rd September 2022. HR@RecSys Mesut Kaya, Toine Bogers, David Graus, Sepideh Mesbah, Chris Johnson, Francisco Gutiérrez
2022	A	`conf`	Second Workshop on Recommender Systems for Human Resources (RecSys in HR 2022). RecSys Toine Bogers, David Graus, Mesut Kaya, Francisco Gutiérrez, Sepideh Mesbah, Chris Johnson
2022	—	`conf`	Touching the Explanations: Explaining Movie Recommendation Scores in Mobile Augmented Reality. AIVR Po-Kai Yang, Oscar Luis Alvarado Rodriguez, Francisco Gutiérrez, Katrien Verbert
2021	J	`jnl`	Estrategias para cubrir la demanda insatisfecha en una fábrica alimenticia. CoRR Carlos Mendoza, Francisco Gutiérrez, Rodrigo Leo, Héctor Rebollo
2021	B	`conf`	Exploring Tangible Algorithmic Imaginaries in Movie Recommendations. TEI Oscar Alvarado, Vero Vanden Abeele, David Geerts, Francisco Gutiérrez, Katrien Verbert
2021	—	`ed.`	Proceedings of the Workshop on Recommender Systems for Human Resources (RecSys in HR 2021) co-located with the 15th ACM Conference on Recommender Systems (RecSys 2021), Amsterdam, The Netherlands, 27th September - 1st October 2021. HR@RecSys Mesut Kaya, Toine Bogers, David Graus, Katrien Verbert, Francisco Gutiérrez
2021	A	`conf`	RecSys in HR: Workshop on Recommender Systems for Human Resources. RecSys Toine Bogers, David Graus, Mesut Kaya, Francisco Gutiérrez, Katrien Verbert
2021	J	`jnl`	Report on the 1st workshop on recommender systems for human resources (RecSys in HR 2021) at RecSys 2021. SIGIR Forum David Graus, Toine Bogers, Mesut Kaya, Francisco Gutiérrez, Katrien Verbert
2021	J	`jnl`	The Detection of Active Sinkholes by Airborne Differential LiDAR DEMs and InSAR Cloud Computing Tools. Remote. Sens. Jesús Guerrero, Jorge Sevil, Gloria Desir, Francisco Gutiérrez, Ángel García-Arnay, Jorge Pedro Galve, Cristina Reyes-Carmona
2020	J	`jnl`	LADA: A learning analytics dashboard for academic advising. Comput. Hum. Behav. Francisco Gutiérrez, Karsten Seipp, Xavier Ochoa, Katherine Chiluiza, Tinne De Laet, Katrien Verbert
2020	—	`conf`	Motivational design techniques to support healthy eating habits at work. ICHI Robin De Croon, Francisco Gutiérrez, Rachel Berry, Siân Astley, Katrien Verbert, Vero Vanden Abeele
2020	—	`conf`	Reference Framework for Measuring the Level of Technological Acceptance by the Elderly: A Virtual Assistants Case Study. HCI-COLLAB Manuel Bolaños, César A. Collazos, Francisco Gutiérrez
2019	J	`jnl`	A review of visualisations in agricultural decision support systems: An HCI perspective. Comput. Electron. Agric. Francisco Gutiérrez, Nyi Nyi Htun, Florian Schlenz, Aikaterini Kasimati, Katrien Verbert
2019	—	`conf`	Benefits and Trade-Offs of Different Model Representations in Decision Support Systems for Non-expert Users. INTERACT (2) Francisco Gutiérrez, Xavier Ochoa, Karsten Seipp, Tom Broos, Katrien Verbert
2019	—	`conf`	Designing Augmented Reality Applications for Personal Health Decision-Making. HICSS Francisco Gutiérrez, Nyi Nyi Htun, Sven Charleer, Robin De Croon, Katrien Verbert
2019	A	`conf`	Explaining and exploring job recommendations: a user-driven approach for interacting with knowledge-based job recommender systems. RecSys Francisco Gutiérrez, Sven Charleer, Robin De Croon, Nyi Nyi Htun, Gerd Goetschalckx, Katrien Verbert
2019	J	`jnl`	IntersectionExplorer, a multi-perspective approach for exploring recommendations. Int. J. Hum. Comput. Stud. Bruno De Lemos Ribeiro Pinto Cardoso, Gayane Sedrakyan, Francisco Gutiérrez, Denis Parra, Peter Brusilovsky, Katrien Verbert
2019	A	`conf`	Supporting job mediator and job seeker through an actionable dashboard. IUI Sven Charleer, Francisco Gutiérrez, Katrien Verbert
2019	J	`jnl`	Towards a visual guide for communicating uncertainty in Visual Analytics. J. Comput. Lang. Karsten Seipp, Francisco Gutiérrez, Xavier Ochoa, Katrien Verbert
2018	J	`jnl`	4D Monitoring of Active Sinkholes with a Terrestrial Laser Scanner (TLS): A Case Study in the Evaporite Karst of the Ebro Valley, NE Spain. Remote. Sens. Alfonso Benito-Calvo, Francisco Gutiérrez, Adrián Martínez-Fernández, Domingo Carbonel, Theodoros Karampaglidis, Gloria Desir, Jorge Sevil, Jesús Guerrero, Ivan Fabregat, Ángel García-Arnay
2018	A	`conf`	A qualitative evaluation of a learning dashboard to support advisor-student dialogues. LAK Martijn Millecamp, Francisco Gutiérrez, Sven Charleer, Katrien Verbert, Tinne De Laet
2018	—	`conf`	PHARA: an augmented reality grocery store assistant. MobileHCI Adjunct Francisco Gutiérrez, Katrien Verbert, Nyi Nyi Htun
2018	Misc	`conf`	Real-Time Dashboards to Support eSports Spectating. CHI PLAY Sven Charleer, Kathrin Gerling, Francisco Gutiérrez, Hans Cauwenbergh, Bram Luycx, Katrien Verbert
2018	—	`conf`	Towards an Open Standard for Gameplay Metrics. CHI PLAY (Companion) Sven Charleer, Francisco Gutiérrez, Kathrin Gerling, Katrien Verbert
2017	—	`conf`	PHARA: a Personal Health Augmented Reality Assistant to Support Decision-Making at Grocery Stores. HealthRecSys@RecSys Francisco Gutiérrez, Bruno De Lemos Ribeiro Pinto Cardoso, Katrien Verbert
2016	—	`conf`	A Research Agenda for Managing Uncertainty in Visual Analytics. MuC (Workshopband) Karsten Seipp, Xavier Ochoa, Francisco Gutiérrez, Katrien Verbert
2015	—	`conf`	A Recommendation Engine based on Social Metrics. S4SC@ISWC Ofelia Cervantes, Francisco Gutiérrez, Ernesto Gutiérrez, J. Alfredo Sánchez, Muhammad Rizwan, Wanggen Wan
2015	—	`conf`	Expression: Visualizing Affective Content from Social Streams. CLIHC Ofelia Cervantes, Francisco Gutiérrez, Ernesto Gutiérrez, Esteban Castillo, J. Alfredo Sánchez, Wanggen Wan
2013	—	`conf`	Application of contextual QR codes to augmented reality technologies. CONIELECOMP Francisco Gutiérrez, María Antonieta Abud-Figueroa, Fernando Vera, J. Alfredo Sánchez
2011	J	`jnl`	A generalization of a classical model in contract theory: The agent behavior CoRR Francisco Gutiérrez, Camilo Argoty, Stefany Moreno
2011	—	`conf`	On the Formal Analysis of P2P Algorithms with aSMoL and Maude. CIbSE Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2008	C	`conf`	A formalization of the SMEPP model in Maude. MobiQuitous Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2008	—	`conf`	Modelado de sistemas P2P con control de excepciones. CIbSE Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu
2008	—	`conf`	Web Services and Interoperability for the Maude Termination Tool. PROLE Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez
2007	—	`conf`	A Service-Oriented Model for Embedded Peer-to-Peer Systems. FOCLASA Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2003	C	`conf`	Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. WoLLIC Francisco Gutiérrez, Blas C. Ruiz
2003	A*	`conf`	Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. ICALP Francisco Gutiérrez, Blas C. Ruiz
2002	C	`conf`	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. LOPSTR Francisco Gutiérrez, Blas C. Ruiz
2002	—	`conf`	Order Functional Pure Type Systems. WFLP Francisco Gutiérrez, Blas C. Ruiz
1997	—	`conf`	Inheritance and Selective Methods Dispatching in Concurrent Haskell. PLILP José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz
1996	—	`conf`	Clasificacion de Objetos Funcionales en Entornos Concurrentes. APPIA-GULP-PRODE Blas C. Ruiz, José E. Gallardo, Pablo Guerrero, Francisco Gutiérrez