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: 4556
213 Team MembersFilters -> Year: 2026
2181
TITLE: Runtime verification of autopilot systems using a fragment of MTL-
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PAGES: 379-395
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PAGES: 379-395
2182
TITLE: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873, PAGES: 141-157
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873, PAGES: 141-157
2183
TITLE: Satisfaction with e-participation: A model from the Citizen’s perspective, expectations, and affective ties to the place
AUTHORS: Zolotov, MN; Oliveira, T; Cruz Jesus, F; Martins, J ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Advances in Intelligent Systems and Computing, VOLUME: 745, PAGES: 1049-1059
AUTHORS: Zolotov, MN; Oliveira, T; Cruz Jesus, F; Martins, J ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Advances in Intelligent Systems and Computing, VOLUME: 745, PAGES: 1049-1059
2184
TITLE: SciCrowd: Towards a Hybrid, Crowd-Computing System for Supporting Research Groups in Academic Settings
AUTHORS: António Correia ; Daniel Schneider; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2018, SOURCE: CRIWG, VOLUME: 11001 LNCS, PAGES: 34-41
AUTHORS: António Correia ; Daniel Schneider; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2018, SOURCE: CRIWG, VOLUME: 11001 LNCS, PAGES: 34-41
2185
TITLE: Scientometric analysis of scientific publications in CSCW
AUTHORS: Correia, A ; Paredes, H ; Fonseca, B ;
PUBLISHED: 2018, SOURCE: SCIENTOMETRICS, VOLUME: 114, ISSUE: 1, PAGES: 31-89
AUTHORS: Correia, A ; Paredes, H ; Fonseca, B ;
PUBLISHED: 2018, SOURCE: SCIENTOMETRICS, VOLUME: 114, ISSUE: 1, PAGES: 31-89
2186
TITLE: SClinico: Usability Study
AUTHORS: João Pavão ; BASTARDO, Rute ; Marta Covêlo; Luís Torres Pereira ; Paula Oliveira; Catarina Pedrosa; Anabela G Silva; Victor Costa; Ana Isabel Martins ; Alexandra Queirós; Nelson Pacheco da Rocha ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Health Informatics, HEALTHINF 2018 - Part of 11th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2018 in Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 5: HEALTHINF, Funchal, Madeira, Portugal, January 19-21, 2018., VOLUME: 5, PAGES: 48-56
AUTHORS: João Pavão ; BASTARDO, Rute ; Marta Covêlo; Luís Torres Pereira ; Paula Oliveira; Catarina Pedrosa; Anabela G Silva; Victor Costa; Ana Isabel Martins ; Alexandra Queirós; Nelson Pacheco da Rocha ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Health Informatics, HEALTHINF 2018 - Part of 11th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2018 in Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 5: HEALTHINF, Funchal, Madeira, Portugal, January 19-21, 2018., VOLUME: 5, PAGES: 48-56
2187
TITLE: Sculpture maps and assistive navigation as a way to promote universal access
AUTHORS: Fernandes, H; Rocha, T ; Reis, A ; Paredes, H ; Barroso, J ;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 117-122
AUTHORS: Fernandes, H; Rocha, T ; Reis, A ; Paredes, H ; Barroso, J ;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 117-122
2188
TITLE: Security Monitoring in a Low Cost Smart Home for the Elderly
AUTHORS: Ferreira, G; Penicheiro, P; Bernardo, R; Neves, A; Mendes, L; Barroso, J ; Pereira, A ;
PUBLISHED: 2018, SOURCE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PAGES: 262-273
AUTHORS: Ferreira, G; Penicheiro, P; Bernardo, R; Neves, A; Mendes, L; Barroso, J ; Pereira, A ;
PUBLISHED: 2018, SOURCE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PAGES: 262-273
2189
TITLE: Segmentation of Kidney and Renal Collecting System on 3D Computed Tomography Images
AUTHORS: Oliveira, B ; Torres, HR; Queirós, S; Morais, P; Fonseca, JC ; D'hooge, J; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2018, SOURCE: 6th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2018 in 2018 IEEE 6TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH '18), PAGES: 1-8
AUTHORS: Oliveira, B ; Torres, HR; Queirós, S; Morais, P; Fonseca, JC ; D'hooge, J; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2018, SOURCE: 6th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2018 in 2018 IEEE 6TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH '18), PAGES: 1-8
2190
TITLE: Sensors: The Enablers for Proactive Maintenance in the Real World
AUTHORS: Albano, M; Ferreira, LL ; Di Orio, G; Malo, P; Webers, G; Jantunen, E; Gabilondo, I; Viguera, M; Papa, G; Novak, F;
PUBLISHED: 2018, SOURCE: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018 in 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, PAGES: 569-574
AUTHORS: Albano, M; Ferreira, LL ; Di Orio, G; Malo, P; Webers, G; Jantunen, E; Gabilondo, I; Viguera, M; Papa, G; Novak, F;
PUBLISHED: 2018, SOURCE: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018 in 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, PAGES: 569-574
2191
TITLE: Sensors: the Enablers for Proactive Maintenance in the Real World
AUTHORS: Albano, M; Ferreira, LL ; Di Orio, G; Malo, P; Webers, G; Jantunen, E; Gabilondo, I; Viguera, M; Papa, G; Novak, F;
PUBLISHED: 2018, SOURCE: 5th International Conference on Control, Decision and Information Technologies (CoDIT) in 2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), PAGES: 569-574
AUTHORS: Albano, M; Ferreira, LL ; Di Orio, G; Malo, P; Webers, G; Jantunen, E; Gabilondo, I; Viguera, M; Papa, G; Novak, F;
PUBLISHED: 2018, SOURCE: 5th International Conference on Control, Decision and Information Technologies (CoDIT) in 2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), PAGES: 569-574
INDEXED IN: 
WOS 
DBLP
WOS DBLP2192
TITLE: Single window for collaborative multimodal logistics services an optimized and integrated door-to-door services offer
AUTHORS: Oliveira, MA ; Barros, RS; De Carvalho, AV ; Melo, PR;
PUBLISHED: 2018, SOURCE: 23rd International Conference on Engineering, Technology and Innovation, ICE/ITMC 2017 in 2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings, VOLUME: 2018-January, PAGES: 1496-1500
AUTHORS: Oliveira, MA ; Barros, RS; De Carvalho, AV ; Melo, PR;
PUBLISHED: 2018, SOURCE: 23rd International Conference on Engineering, Technology and Innovation, ICE/ITMC 2017 in 2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings, VOLUME: 2018-January, PAGES: 1496-1500
2193
TITLE: Smart Choices for Deviceless and Device-Based Manipulation in Immersive Virtual Reality
AUTHORS: Fabio Marco Caputo; Daniel Mendes ; Alessia Bonetti; Giacomo Saletti; Andrea Giachetti;
PUBLISHED: 2018, SOURCE: VR, PAGES: 519-520
AUTHORS: Fabio Marco Caputo; Daniel Mendes ; Alessia Bonetti; Giacomo Saletti; Andrea Giachetti;
PUBLISHED: 2018, SOURCE: VR, PAGES: 519-520
2194
TITLE: Smart City Governance: From E-Government to Smart Governance. From E-Government to Smart Governance
AUTHORS: Maria do Rosário Matos Bernardo ;
PUBLISHED: 2018, SOURCE: Smart Cities and Smart Spaces, PAGES: 196-232
AUTHORS: Maria do Rosário Matos Bernardo ;
PUBLISHED: 2018, SOURCE: Smart Cities and Smart Spaces, PAGES: 196-232
2195
TITLE: Social Media and Information Consumption Diversity
AUTHORS: José Luís Devezas ; Sérgio Nunes ;
PUBLISHED: 2018, SOURCE: NewsIR@ECIR, VOLUME: 2079, PAGES: 18-23
AUTHORS: José Luís Devezas ; Sérgio Nunes ;
PUBLISHED: 2018, SOURCE: NewsIR@ECIR, VOLUME: 2079, PAGES: 18-23
INDEXED IN: 
Scopus DBLP
Scopus DBLP2196
TITLE: SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications
AUTHORS: Davide Gadioli; Ricardo Nobre; Pedro Pinto ; Emanuele Vitali; Amir H Ashouri; Gianluca Palermo; João M P Cardoso ; Cristina Silvano;
PUBLISHED: 2018, SOURCE: DATE, VOLUME: 2018-January, PAGES: 1143-1146
AUTHORS: Davide Gadioli; Ricardo Nobre; Pedro Pinto ; Emanuele Vitali; Amir H Ashouri; Gianluca Palermo; João M P Cardoso ; Cristina Silvano;
PUBLISHED: 2018, SOURCE: DATE, VOLUME: 2018-January, PAGES: 1143-1146
2197
TITLE: State of the Software Development Life-Cycle for the Internet-of-Things
AUTHORS: João Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.04159
AUTHORS: João Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.04159
INDEXED IN: DBLP
DBLP2198
TITLE: Strategic Particle Swarm Inertia Selection for Electricity Markets Participation Portfolio Optimization Full Text
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLISHED: 2018, SOURCE: APPLIED ARTIFICIAL INTELLIGENCE, VOLUME: 32, ISSUE: 7-8, PAGES: 745-767
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLISHED: 2018, SOURCE: APPLIED ARTIFICIAL INTELLIGENCE, VOLUME: 32, ISSUE: 7-8, PAGES: 745-767
2199
TITLE: Success factors of the implementation of CRM systems - a literature review
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
2200
TITLE: Supporting Description of Research Data: Evaluation and Comparison of Term and Concept Extraction Approaches
AUTHORS: Monteiro, C; Lopes, CT ; Silva, JR ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2018, VOLUME: 11057, PAGES: 377-380
AUTHORS: Monteiro, C; Lopes, CT ; Silva, JR ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2018, VOLUME: 11057, PAGES: 377-380
