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: 3645
86 Team MembersFilters -> Year: 2026
1181
TITLE: Termination of lambda-calculus linearisation methods
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXED IN: 
Scopus
Scopus1182
TITLE: Testing and Deployment Patterns for the Internet-of-Things
AUTHORS: Dias, JP ; Ferreira, HS ; 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: 16:1-16:8
AUTHORS: Dias, JP ; Ferreira, HS ; 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: 16:1-16:8
1183
TITLE: Text mining applications to facilitate economic and food safety law enforcement
AUTHORS: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PAGES: 199-203
AUTHORS: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PAGES: 199-203
1184
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
1185
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
1186
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
1187
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
1188
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 CrossRef1189
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
1190
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
DBLP1191
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
1193
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
Scopus1194
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
1195
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
1196
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
1197
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
1198
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
Scopus1199
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 CrossRef1200
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 DBLP