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: 4031
213 Team MembersFilters -> Year: 2025
1201
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
1202
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
1203
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
1204
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
Handle1205
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
1206
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
1207
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 DBLP1208
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
1209
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
1210
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 CrossRef1211
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)
1212
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 DBLP1213
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
1214
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
1215
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
1216
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
1217
TITLE: Helping software developers through live software metrics visualization
AUTHORS: Sara Fernandes ; André Restivo ; Hugo Sereno Ferreira ; Ademar Aguiar ;
PUBLISHED: 2020, SOURCE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, PAGES: 209-210
AUTHORS: Sara Fernandes ; André Restivo ; Hugo Sereno Ferreira ; Ademar Aguiar ;
PUBLISHED: 2020, SOURCE: 4th International Conference on Art, Science, and Engineering of Programming, Programming 2020 in Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, PAGES: 209-210
1218
TITLE: How Accessibility Is For Everyone - A Deaf User Perspective
AUTHORS: Rui Pinheiro; João Barroso ; Tânia Rocha;
PUBLISHED: 2020, SOURCE: DSAI 2020: 9th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, Virtual Event, Portugal, December 2-4, 2020., PAGES: 47-50
AUTHORS: Rui Pinheiro; João Barroso ; Tânia Rocha;
PUBLISHED: 2020, SOURCE: DSAI 2020: 9th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, Virtual Event, Portugal, December 2-4, 2020., PAGES: 47-50
INDEXED IN: DBLP CrossRef
DBLP CrossRef1219
TITLE: I2B+tree: Interval B plus tree variant towards fast indexing of time-dependent data
AUTHORS: Carneiro, E ; de Carvalho, AV ; Oliveira, MA ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
AUTHORS: Carneiro, E ; de Carvalho, AV ; Oliveira, MA ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
1220
TITLE: Impact of Different Sensory Stimuli on Presence in Credible Virtual Environments Full Text
AUTHORS: Guilherme Goncalves ; Miguel Melo ; Jose Vasconcelos Raposo; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 26, ISSUE: 11, PAGES: 3231-3240
AUTHORS: Guilherme Goncalves ; Miguel Melo ; Jose Vasconcelos Raposo; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 26, ISSUE: 11, PAGES: 3231-3240
