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

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 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)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)Motivational design techniques to support healthy eating habits at work., , , , , and . ICHI, page 1-3. IEEE, (2020)A qualitative evaluation of a learning dashboard to support advisor-student dialogues., , , , and . LAK, page 56-60. ACM, (2018)A Recommendation Engine based on Social Metrics., , , , , and . S4SC@ISWC, volume 1630 of CEUR Workshop Proceedings, page 69-84. CEUR-WS.org, (2015)Second Workshop on Recommender Systems for Human Resources (RecSys in HR 2022)., , , , , and . RecSys, page 671-674. ACM, (2022)A formalization of the SMEPP model in Maude., , , and . MobiQuitous, ICST / ACM, (2008)