Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY7
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3745
213 Team MembersFilters -> Year: 2025
961
TITLE: Evaluating Animated Transitions between Contiguous Visualizations for Streaming Big Data
AUTHORS: Pereira, T; Moreira, J; Mendes, D ; Goncalves, D;
PUBLISHED: 2020, SOURCE: IEEE Visualization Conference (VIS) in 2020 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2020), PAGES: 161-165
AUTHORS: Pereira, T; Moreira, J; Mendes, D ; Goncalves, D;
PUBLISHED: 2020, SOURCE: IEEE Visualization Conference (VIS) in 2020 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2020), PAGES: 161-165
962
TITLE: Evaluating the quality of an online course in information literacy applied to engineering students
AUTHORS: Oliveira Ramos, Teresa ; Morais, C ; Ribeiro, C ;
PUBLISHED: 2020, SOURCE: Handbook of Research on Determining the Reliability of Online Assessment and Distance Learning, PAGES: 79-117
AUTHORS: Oliveira Ramos, Teresa ; Morais, C ; Ribeiro, C ;
PUBLISHED: 2020, SOURCE: Handbook of Research on Determining the Reliability of Online Assessment and Distance Learning, PAGES: 79-117
963
TITLE: Evaluation of a temporal causal model for predicting the mood of clients in an online therapy
AUTHORS: Dennis Becker; Vincent Bremer; Burkhardt Funk; Mark Hoogendoorn; Artur Rocha ; Heleen Riper;
PUBLISHED: 2020, SOURCE: EVIDENCE-BASED MENTAL HEALTH, VOLUME: 23, ISSUE: 1, PAGES: 27-33
AUTHORS: Dennis Becker; Vincent Bremer; Burkhardt Funk; Mark Hoogendoorn; Artur Rocha ; Heleen Riper;
PUBLISHED: 2020, SOURCE: EVIDENCE-BASED MENTAL HEALTH, VOLUME: 23, ISSUE: 1, PAGES: 27-33
964
TITLE: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
965
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 61-77
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 61-77
966
TITLE: Experimenting with Liveness in Cloud Infrastructure Management
AUTHORS: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 58-82
AUTHORS: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 58-82
967
TITLE: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture Full Text
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
968
TITLE: eXtended new reality
AUTHORS: Fausto d Carvalho; Leonel Morgado ; Ricardo Machado;
PUBLISHED: 2020, SOURCE: InnovAction, VOLUME: 2020, ISSUE: 5
AUTHORS: Fausto d Carvalho; Leonel Morgado ; Ricardo Machado;
PUBLISHED: 2020, SOURCE: InnovAction, VOLUME: 2020, ISSUE: 5
INDEXED IN: 
Handle
Handle969
TITLE: Factors that Influence the Use of Educational Software in Mathematics Teaching Full Text
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
970
TITLE: Fammeal: A Gamified Mobile Application for Parents and Children to Help Healthcare Centers Treat Childhood Obesity
AUTHORS: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 351-360
AUTHORS: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 351-360
971
TITLE: Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys
AUTHORS: Dennis Beck; Leonel Morgado ; Patrick O'Shea;
PUBLISHED: 2020, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 26, ISSUE: 8, PAGES: 1043-1073
AUTHORS: Dennis Beck; Leonel Morgado ; Patrick O'Shea;
PUBLISHED: 2020, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 26, ISSUE: 8, PAGES: 1043-1073
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP972
TITLE: Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach
AUTHORS: Torres, MF ; Flores, N ; Torres, RT;
PUBLISHED: 2020, SOURCE: Journal of Innovation Management, VOLUME: 8, ISSUE: 1, PAGES: 20-38
AUTHORS: Torres, MF ; Flores, N ; Torres, RT;
PUBLISHED: 2020, SOURCE: Journal of Innovation Management, VOLUME: 8, ISSUE: 1, PAGES: 20-38
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef973
TITLE: From Requirements to Automated Acceptance Tests with the RSL Language
AUTHORS: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 39-57
AUTHORS: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 39-57
974
TITLE: Fundão, Portugal: Using STEM Education to Help Build a New ICT Technopolis
AUTHORS: Aguiar, A ; Pereira, S;
PUBLISHED: 2020, SOURCE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PAGES: 189-202
AUTHORS: Aguiar, A ; Pereira, S;
PUBLISHED: 2020, SOURCE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PAGES: 189-202
INDEXED IN: Scopus CrossRef
Scopus CrossRef975
TITLE: Gait Pattern Analysis with Accelerometer Data From a Smartphone in PAD Patients
AUTHORS: Renner, K; Filipe, V ; Pereira, LT; Silva, I; Abrantes, C; Paredes, H ;
PUBLISHED: 2020, SOURCE: 8th International Conference on E-Health and Bioengineering (EHB) in 2020 INTERNATIONAL CONFERENCE ON E-HEALTH AND BIOENGINEERING (EHB)
AUTHORS: Renner, K; Filipe, V ; Pereira, LT; Silva, I; Abrantes, C; Paredes, H ;
PUBLISHED: 2020, SOURCE: 8th International Conference on E-Health and Bioengineering (EHB) in 2020 INTERNATIONAL CONFERENCE ON E-HEALTH AND BIOENGINEERING (EHB)
976
TITLE: Gamifying the Museological Experience PDF
AUTHORS: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz; José Raimundo;
PUBLISHED: 2020, SOURCE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PAGES: 5-8
AUTHORS: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz; José Raimundo;
PUBLISHED: 2020, SOURCE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PAGES: 5-8
INDEXED IN: Scopus DBLP
Scopus DBLP977
TITLE: Generating Query Suggestions for Cross-language and Cross-terminology Health Information Retrieval
AUTHORS: Paulo Miguel Santos; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PAGES: 344-351
AUTHORS: Paulo Miguel Santos; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PAGES: 344-351
978
TITLE: Going to the core of hard resource-constrained project scheduling instances
AUTHORS: Jose Coelho ; Mario Vanhoucke;
PUBLISHED: 2020, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 121, PAGES: 104976
AUTHORS: Jose Coelho ; Mario Vanhoucke;
PUBLISHED: 2020, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 121, PAGES: 104976
979
TITLE: Guest Editorial: Special Issue on Serious Games for Health
AUTHORS: Duque, D ; Vilaca, JL; Zielke, MA; Dias, N; Rodrigues, NF ; Thawonmas, R;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 337-340
AUTHORS: Duque, D ; Vilaca, JL; Zielke, MA; Dias, N; Rodrigues, NF ; Thawonmas, R;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 337-340
980
TITLE: Hashing for cleaner reverse engineered queries for the Entity Comparison Problem in RDF Graphs
AUTHORS: Tyagi, P; Malta, MC ; Dutta, A;
PUBLISHED: 2020, SOURCE: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2020 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2020), PAGES: 177-186
AUTHORS: Tyagi, P; Malta, MC ; Dutta, A;
PUBLISHED: 2020, SOURCE: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2020 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2020), PAGES: 177-186
