Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems., and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 956-968. Springer, (2003)A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene., and . LOPSTR, volume 2664 of Lecture Notes in Computer Science, page 17-31. Springer, (2002)4D Monitoring of Active Sinkholes with a Terrestrial Laser Scanner (TLS): A Case Study in the Evaporite Karst of the Ebro Valley, NE Spain., , , , , , , , , and . Remote. Sens., 10 (4): 571 (2018)Expression: Visualizing Affective Content from Social Streams., , , , , and . CLIHC, page 10:1-10:8. ACM, (2015)RecSys in HR: Workshop on Recommender Systems for Human Resources., , , , and . RecSys, page 799-802. ACM, (2021)A qualitative evaluation of a learning dashboard to support advisor-student dialogues., , , , and . LAK, page 56-60. ACM, (2018)Motivational design techniques to support healthy eating habits at work., , , , , and . ICHI, page 1-3. IEEE, (2020)A Recommendation Engine based on Social Metrics., , , , , and . S4SC@ISWC, volume 1630 of CEUR Workshop Proceedings, page 69-84. CEUR-WS.org, (2015)Exploring Tangible Algorithmic Imaginaries in Movie Recommendations., , , , and . TEI, page 12:1-12:12. ACM, (2021)Clasificacion de Objetos Funcionales en Entornos Concurrentes., , , and . APPIA-GULP-PRODE, page 581-584. (1996)