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

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)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)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)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)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)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)A formalization of the SMEPP model in Maude., , , and . MobiQuitous, ICST / ACM, (2008)