Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 3642
85 Team MembersFilters -> Year: 2026
1181
TITLE: The ANTAREX domain specific language for high performance computing PDF
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; ...More
PUBLISHED: 2019, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PAGES: 58-73
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; ...More
PUBLISHED: 2019, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PAGES: 58-73
1182
TITLE: The Challenges of European Public Health Surveillance Systems - An Overview of the HIV-AIDS Surveillance
AUTHORS: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLISHED: 2019, SOURCE: WorldCIST (3), VOLUME: 932, PAGES: 513-523
AUTHORS: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLISHED: 2019, SOURCE: WorldCIST (3), VOLUME: 932, PAGES: 513-523
1183
TITLE: The Design of a HMI for Additive Manufacturing
AUTHORS: Rodrigues, M; Pereira, JP; Moreira, PM ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Rodrigues, M; Pereira, JP; Moreira, PM ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
1184
TITLE: The effect of reinforcement probability on time discrimination in the midsession reversal task Full Text
AUTHORS: Santos, C ; Soares, C; Vasconcelos, M; Machado, A;
PUBLISHED: 2019, SOURCE: JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, VOLUME: 111, ISSUE: 3, PAGES: 371-386
AUTHORS: Santos, C ; Soares, C; Vasconcelos, M; Machado, A;
PUBLISHED: 2019, SOURCE: JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, VOLUME: 111, ISSUE: 3, PAGES: 371-386
1185
TITLE: The potential of visual cues to overcome freezing of gait in Parkinson's disease
AUTHORS: Moreira, R; Gonçalves, H; Rodrigues, A; Santos, C ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 in 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 - Proceedings
AUTHORS: Moreira, R; Gonçalves, H; Rodrigues, A; Santos, C ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 in 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 - Proceedings
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1186
TITLE: The prediction of traffic flow with regression analysis
AUTHORS: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLISHED: 2019, SOURCE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PAGES: 661-671
AUTHORS: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLISHED: 2019, SOURCE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PAGES: 661-671
1187
TITLE: The Quest for Beneficial AI
AUTHORS: Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2019, Porto, Portugal, May 6-8, 2019, PAGES: 2
AUTHORS: Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2019, Porto, Portugal, May 6-8, 2019, PAGES: 2
INDEXED IN: 
DBLP
DBLP1188
TITLE: Three-link inverted pendulum for human balance analysis: A preliminary study
AUTHORS: Lopes, JM; Moreira, L; Pinheiro, C; Sanz Merodio, D; Figueiredo, J; Santos, CP ; Garcia, E;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 in 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 - Proceedings
AUTHORS: Lopes, JM; Moreira, L; Pinheiro, C; Sanz Merodio, D; Figueiredo, J; Santos, CP ; Garcia, E;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 in 6th IEEE Portuguese Meeting on Bioengineering, ENBENG 2019 - Proceedings
1190
TITLE: Towards a formally verified space mission software using SPARK
AUTHORS: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLISHED: 2019, SOURCE: Ada User Journal, VOLUME: 40, ISSUE: 4, PAGES: 243-246
AUTHORS: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLISHED: 2019, SOURCE: Ada User Journal, VOLUME: 40, ISSUE: 4, PAGES: 243-246
INDEXED IN: Scopus
Scopus1191
TITLE: Towards a Pattern Language for the Masters Student
AUTHORS: Ferreira, HS ; André Restivo ; Sousa, TB ;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 34:1-34:12
AUTHORS: Ferreira, HS ; André Restivo ; Sousa, TB ;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 34:1-34:12
1192
TITLE: Transportation Policy Evaluation Using Minority Games and Agent-Based Simulation
AUTHORS: Hajar Baghcheband; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: ISC2, PAGES: 498-503
AUTHORS: Hajar Baghcheband; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: ISC2, PAGES: 498-503
1193
TITLE: Trusted Data Transformation with Blockchain Technology in Open Data
AUTHORS: Bruno Tavares; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: DCAI (Special Sessions), VOLUME: 1004, PAGES: 213-216
AUTHORS: Bruno Tavares; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: DCAI (Special Sessions), VOLUME: 1004, PAGES: 213-216
1194
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: TFP, VOLUME: 12053 LNCS, PAGES: 84-120
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: TFP, VOLUME: 12053 LNCS, PAGES: 84-120
1195
TITLE: Unfolding and folding: A new approach for code restructuring targeting HLS for FPGAs
AUTHORS: Ferreira, AC; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018 in 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018, PAGES: 28-37
AUTHORS: Ferreira, AC; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018 in 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018, PAGES: 28-37
INDEXED IN: Scopus
Scopus1196
TITLE: User Behaviour Analysis and Personalized TV Content Recommendation
AUTHORS: Ribeiro, AC ; Frazão, R; Oliveira e Sá, J;
PUBLISHED: 2019, SOURCE: 10th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 273, PAGES: 127-136
AUTHORS: Ribeiro, AC ; Frazão, R; Oliveira e Sá, J;
PUBLISHED: 2019, SOURCE: 10th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 273, PAGES: 127-136
INDEXED IN: Scopus CrossRef
Scopus CrossRef1197
TITLE: Using AR Interfaces to Support Industrial Maintenance Procedures
AUTHORS: Cachada, A; Costa, D; Badikyan, H; Barbosa, J ; Leitao, P; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM; Romero, L ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), PAGES: 3795-3800
AUTHORS: Cachada, A; Costa, D; Badikyan, H; Barbosa, J ; Leitao, P; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM; Romero, L ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), PAGES: 3795-3800
INDEXED IN: 
WOS DBLP
WOS DBLP1198
TITLE: Using AR Interfaces to Support Industrial Maintenance Procedures
AUTHORS: Cachada, A; Romero, L; Costa, D; Badikyan, H; Barbosa, J; Leitao, P ; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 in IECON Proceedings (Industrial Electronics Conference), VOLUME: 2019-October, PAGES: 3795-3800
AUTHORS: Cachada, A; Romero, L; Costa, D; Badikyan, H; Barbosa, J; Leitao, P ; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 in IECON Proceedings (Industrial Electronics Conference), VOLUME: 2019-October, PAGES: 3795-3800
1199
TITLE: Using CAQDAS in Visual Data Analysis: A Systematic Literature Review
AUTHORS: Rodrigues, AI; Costa, AP ; Moreira, A ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research (WCQR) in COMPUTER SUPPORTED QUALITATIVE RESEARCH: NEW TRENDS ON QUALITATIVE RESEARCH, VOLUME: 861, PAGES: 235-247
AUTHORS: Rodrigues, AI; Costa, AP ; Moreira, A ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research (WCQR) in COMPUTER SUPPORTED QUALITATIVE RESEARCH: NEW TRENDS ON QUALITATIVE RESEARCH, VOLUME: 861, PAGES: 235-247
1200
TITLE: Using real-life alert-based data to analyse drowsiness and distraction of commercial drivers Full Text
AUTHORS: Sara Ferreira ; Zafeiris Kokkinogenis ; Antnio Couto ;
PUBLISHED: 2019, SOURCE: TRANSPORTATION RESEARCH PART F-TRAFFIC PSYCHOLOGY AND BEHAVIOUR, VOLUME: 60, PAGES: 25-36
AUTHORS: Sara Ferreira ; Zafeiris Kokkinogenis ; Antnio Couto ;
PUBLISHED: 2019, SOURCE: TRANSPORTATION RESEARCH PART F-TRAFFIC PSYCHOLOGY AND BEHAVIOUR, VOLUME: 60, PAGES: 25-36
