CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8438
531 Team MembersFilters -> Year: 2025
1361
TITLE: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
1362
TITLE: Uncovering the Potential of Cognitive Personalization for UI Adaptation in Crowd Work
AUTHORS: Dennis Paulino ; António Correia ; Diogo Guimarães; João Barroso; Hugo Paredes ;
PUBLISHED: 2022, SOURCE: 25th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2022, Hangzhou, China, May 4-6, 2022, PAGES: 484-489
AUTHORS: Dennis Paulino ; António Correia ; Diogo Guimarães; João Barroso; Hugo Paredes ;
PUBLISHED: 2022, SOURCE: 25th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2022, Hangzhou, China, May 4-6, 2022, PAGES: 484-489
1363
TITLE: Understand the Importance of Garments’ Identification and Combination to Blind People
AUTHORS: Rocha, D; Carvalho, V; Soares, F ; Oliveira, E; Leão, CP;
PUBLISHED: 2022, SOURCE: 5th International Virtual Conference on Human Interaction and Emerging Technologies, IHIET 2021 and 6th International Conference on Human Interaction and Emerging Technologies: Future Systems, IHIET-FS 2021 in Lecture Notes in Networks and Systems, VOLUME: 319, PAGES: 74-81
AUTHORS: Rocha, D; Carvalho, V; Soares, F ; Oliveira, E; Leão, CP;
PUBLISHED: 2022, SOURCE: 5th International Virtual Conference on Human Interaction and Emerging Technologies, IHIET 2021 and 6th International Conference on Human Interaction and Emerging Technologies: Future Systems, IHIET-FS 2021 in Lecture Notes in Networks and Systems, VOLUME: 319, PAGES: 74-81
1364
TITLE: Usability and Accessibility Evaluation of the ICT Accessibility Requirements Tool Prototype
AUTHORS: Martins, Marcio; Godinho, Francisco; Goncalves, Pedro; Goncalves, Ramiro ;
PUBLISHED: 2022, SOURCE: 16th International Conference on UniversalAccess inHuman-Computer Interaction (UAHCI) Held as Part of the 24th International Conference on Human-Computer Interaction (HCII) in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: NOVEL DESIGN APPROACHES AND TECHNOLOGIES, UAHCI 2022, PT I, VOLUME: 13308, PAGES: 59-78
AUTHORS: Martins, Marcio; Godinho, Francisco; Goncalves, Pedro; Goncalves, Ramiro ;
PUBLISHED: 2022, SOURCE: 16th International Conference on UniversalAccess inHuman-Computer Interaction (UAHCI) Held as Part of the 24th International Conference on Human-Computer Interaction (HCII) in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: NOVEL DESIGN APPROACHES AND TECHNOLOGIES, UAHCI 2022, PT I, VOLUME: 13308, PAGES: 59-78
1365
TITLE: User-Centred Usability Evaluation of Embodied Communication Agents to Support Older Adults: A Scoping Review
AUTHORS: BASTARDO, Rute ; Pavão, J ; Rocha, NP;
PUBLISHED: 2022, SOURCE: International Conference on Information Technology and Systems, ICITS 2022 in Lecture Notes in Networks and Systems, VOLUME: 414 LNNS, PAGES: 509-518
AUTHORS: BASTARDO, Rute ; Pavão, J ; Rocha, NP;
PUBLISHED: 2022, SOURCE: International Conference on Information Technology and Systems, ICITS 2022 in Lecture Notes in Networks and Systems, VOLUME: 414 LNNS, PAGES: 509-518
1366
TITLE: Using Computer Vision to Track Facial Color Changes and Predict Heart Rate
AUTHORS: Khanal, Salik Ram ; Sampaio, Jaime ; Exel, Juliana; Barroso, Joao ; Filipe, Vitor ;
PUBLISHED: 2022, SOURCE: JOURNAL OF IMAGING, VOLUME: 8, ISSUE: 9, PAGES: 245
AUTHORS: Khanal, Salik Ram ; Sampaio, Jaime ; Exel, Juliana; Barroso, Joao ; Filipe, Vitor ;
PUBLISHED: 2022, SOURCE: JOURNAL OF IMAGING, VOLUME: 8, ISSUE: 9, PAGES: 245
1367
TITLE: Using EPP Boxes in a Dark Store: A New Approach to Simplify Food Retail E-Commerce Deliveries
AUTHORS: Pintado, Eduardo; de Oliveira, Lia Coelho ; Garcia, Jorge Esparteiro ;
PUBLISHED: 2022, SOURCE: BUSINESS SYSTEMS RESEARCH JOURNAL, VOLUME: 13, ISSUE: 3, PAGES: 130-143
AUTHORS: Pintado, Eduardo; de Oliveira, Lia Coelho ; Garcia, Jorge Esparteiro ;
PUBLISHED: 2022, SOURCE: BUSINESS SYSTEMS RESEARCH JOURNAL, VOLUME: 13, ISSUE: 3, PAGES: 130-143
1368
TITLE: Using Socially Relevant Projects to Develop Engineering Students' Project Management, Critical Thinking, Teamwork, and Empathy Skills: The UTAD-REFOOD Experience
AUTHORS: Dominguez, Caroline; Cruz, Goncalo; Cerveira, Adelaide ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 294-315
AUTHORS: Dominguez, Caroline; Cruz, Goncalo; Cerveira, Adelaide ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 294-315
1369
TITLE: Using Virtual Choreographies to Identify Office Users' Behaviors to Target Behavior Change Based on Their Potential to Impact Energy Consumption
AUTHORS: Cassola, Fernando ; Morgado, Leonel ; Coelho, Antonio ; Paredes, Hugo ; Barbosa, Antonio; Tavares, Helga; Soares, Filipe ;
PUBLISHED: 2022, SOURCE: ENERGIES, VOLUME: 15, ISSUE: 12, PAGES: 4354
AUTHORS: Cassola, Fernando ; Morgado, Leonel ; Coelho, Antonio ; Paredes, Hugo ; Barbosa, Antonio; Tavares, Helga; Soares, Filipe ;
PUBLISHED: 2022, SOURCE: ENERGIES, VOLUME: 15, ISSUE: 12, PAGES: 4354
1370
TITLE: Using Virtual Choreographies to Identify Office Users’ Behaviour-Change Priorities with Greater Impact Potential on Energy Consumption
AUTHORS: Fernando Cassola ; Leonel Morgado ; António Coelho; Hugo Paredes ; António Barbosa; Helga Tavares; Filipe Soares ;
PUBLISHED: 2022
AUTHORS: Fernando Cassola ; Leonel Morgado ; António Coelho; Hugo Paredes ; António Barbosa; Helga Tavares; Filipe Soares ;
PUBLISHED: 2022
INDEXED IN: 
CrossRef
CrossRef1371
TITLE: Using Virtual Reality to Demonstrate and Promote Products: The Effect of Gender, Product Contextualization and Presence on Purchase Intention and User Satisfaction
AUTHORS: Meirinhos, Galvao; Goncalves, Guilherme ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 58811-58820
AUTHORS: Meirinhos, Galvao; Goncalves, Guilherme ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 58811-58820
1372
TITLE: Validation of the Patient Health Questionnaire (PHQ-8) in a Sample of Military br
AUTHORS: Vasconcelos Raposo, Jose ; Sousa, Daniela M.; Teixeira, Carla M.;
PUBLISHED: 2022, SOURCE: REVISTA IBEROAMERICANA DE DIAGNOSTICO Y EVALUACION-E AVALIACAO PSICOLOGICA, VOLUME: 4, ISSUE: 65, PAGES: 179-192
AUTHORS: Vasconcelos Raposo, Jose ; Sousa, Daniela M.; Teixeira, Carla M.;
PUBLISHED: 2022, SOURCE: REVISTA IBEROAMERICANA DE DIAGNOSTICO Y EVALUACION-E AVALIACAO PSICOLOGICA, VOLUME: 4, ISSUE: 65, PAGES: 179-192
INDEXED IN: 
WOS
WOS1373
TITLE: Valuing Players Over Time
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.03882
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.03882
INDEXED IN: 
DBLP
DBLP1374
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
1375
TITLE: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.10591
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.10591
INDEXED IN: DBLP
DBLP1376
TITLE: Various extensions in resource-constrained project scheduling with alternative subgraphs Full Text
AUTHORS: Servranckx, T; Coelho, J ; Vanhoucke, M;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 60, ISSUE: 11, PAGES: 3501-3520
AUTHORS: Servranckx, T; Coelho, J ; Vanhoucke, M;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 60, ISSUE: 11, PAGES: 3501-3520
1377
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PAGES: 345-355
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PAGES: 345-355
1378
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
1379
TITLE: Virtual and Augmented Reality Awareness Tools for Universal Design. Towards Active Preventive Healthcare
AUTHORS: Luis Pinto Coelho; Idalina Freitas; Dorota Urszula Kaminska; Ricardo Queirós ; Anna Laska-Lesniewicz; Grzegorz Zwolinski; Rui Raposo ; Mário Vairinhos; Elisabeth T Pereira; Eric Haamer; Gholamreza Anbarjafari;
PUBLISHED: 2022, SOURCE: Emerging Advancements for Virtual and Augmented Reality in Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 11-24
AUTHORS: Luis Pinto Coelho; Idalina Freitas; Dorota Urszula Kaminska; Ricardo Queirós ; Anna Laska-Lesniewicz; Grzegorz Zwolinski; Rui Raposo ; Mário Vairinhos; Elisabeth T Pereira; Eric Haamer; Gholamreza Anbarjafari;
PUBLISHED: 2022, SOURCE: Emerging Advancements for Virtual and Augmented Reality in Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 11-24
INDEXED IN: CrossRef
CrossRef1380
TITLE: Virtual Assistance in the Context of the Industry 4.0: A Case Study at Continental Advanced Antenna
AUTHORS: Reis, Arsenio ; Barroso, Joao ; Santos, Arlindo; Rodrigues, Paulo; Pereira, Rodrigo;
PUBLISHED: 2022, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2022, VOL 1, VOLUME: 468, PAGES: 651-662
AUTHORS: Reis, Arsenio ; Barroso, Joao ; Santos, Arlindo; Rodrigues, Paulo; Pereira, Rodrigo;
PUBLISHED: 2022, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2022, VOL 1, VOLUME: 468, PAGES: 651-662
