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: 2687
85 Team MembersFilters -> Year: 2024
361
TITLE: Foreword
AUTHORS: Fernandes, JP ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
AUTHORS: Fernandes, JP ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
INDEXED IN: 
Scopus
Scopus362
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
363
TITLE: Fundamental privacy rights in a pandemic state Full Text
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
365
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
INDEXED IN: 
DBLP
DBLP366
TITLE: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices Full Text
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
367
TITLE: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP368
TITLE: Home Appliance Recognition Using Edge Intelligence
AUTHORS: Jose M Torres ; Luis Aguiar; Christophe Soares ; Pedro Sobral ; Rui S Moreira ;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in Trends and Applications in Information Systems and Technologies - Volume 3, WorldCIST 2021, Terceira Island, Azores, Portugal, 30 March - 2 April, 2021., VOLUME: 1367, PAGES: 619-629
AUTHORS: Jose M Torres ; Luis Aguiar; Christophe Soares ; Pedro Sobral ; Rui S Moreira ;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in Trends and Applications in Information Systems and Technologies - Volume 3, WorldCIST 2021, Terceira Island, Azores, Portugal, 30 March - 2 April, 2021., VOLUME: 1367, PAGES: 619-629
369
TITLE: Impact of COVID-19 on Medicine Lecturers' Mental Health and Emergency Remote Teaching Challenges Full Text
AUTHORS: Miguel, C; Castro, L ; Marques dos Santos, José Paulo ; Serrao, C; Duarte, I ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 13, PAGES: 6792
AUTHORS: Miguel, C; Castro, L ; Marques dos Santos, José Paulo ; Serrao, C; Duarte, I ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 13, PAGES: 6792
370
TITLE: Improving energy-efficiency by recommending Java collections Full Text
AUTHORS: Oliveira, W; Oliveira, R; Castor, F; Pinto, G; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 55
AUTHORS: Oliveira, W; Oliveira, R; Castor, F; Pinto, G; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 55
371
TITLE: Improving Transfer Learning in Unsupervised Language Adaptation
AUTHORS: Rocha, G ; Cardoso, HL ;
PUBLISHED: 2021, SOURCE: 30th International Conference on Artificial Neural Networks (ICANN) in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING, ICANN 2021, PT V, VOLUME: 12895, PAGES: 588-599
AUTHORS: Rocha, G ; Cardoso, HL ;
PUBLISHED: 2021, SOURCE: 30th International Conference on Artificial Neural Networks (ICANN) in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING, ICANN 2021, PT V, VOLUME: 12895, PAGES: 588-599
372
TITLE: Inconsistency Detection in Job Postings
AUTHORS: Joana Urbano; Miguel Couto; Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2021, SOURCE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in 3rd Conference on Language, Data and Knowledge, LDK 2021, September 1-3, 2021, Zaragoza, Spain., VOLUME: 93, PAGES: 25:1-25:16
AUTHORS: Joana Urbano; Miguel Couto; Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2021, SOURCE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in 3rd Conference on Language, Data and Knowledge, LDK 2021, September 1-3, 2021, Zaragoza, Spain., VOLUME: 93, PAGES: 25:1-25:16
INDEXED IN: Scopus DBLP
Scopus DBLP373
TITLE: Inmplode: A framework to interpret multiple related rule-based models Full Text
AUTHORS: Strecht, P ; Mendes Moreira, J ; Soares, C ;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 38, ISSUE: 6
AUTHORS: Strecht, P ; Mendes Moreira, J ; Soares, C ;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 38, ISSUE: 6
374
TITLE: Machine Learning Informed Decision-Making with Interpreted Model's Outputs: A Field Intervention Full Text
AUTHORS: Leid Zejnilović; Susana Lavado; Carlos Soares ; Íñigo Martínez de Rituerto De Troya; Andrew Bell; Rayid Ghani;
PUBLISHED: 2021, SOURCE: 81st Annual Meeting of the Academy of Management 2021: Bringing the Manager Back in Management, AoM 2021, VOLUME: 2021, ISSUE: 1, PAGES: 15424
AUTHORS: Leid Zejnilović; Susana Lavado; Carlos Soares ; Íñigo Martínez de Rituerto De Troya; Andrew Bell; Rayid Ghani;
PUBLISHED: 2021, SOURCE: 81st Annual Meeting of the Academy of Management 2021: Bringing the Manager Back in Management, AoM 2021, VOLUME: 2021, ISSUE: 1, PAGES: 15424
375
TITLE: Mapping CPTED parameters with the LookCrim application
AUTHORS: Gouveia, F; Ana Sani ; Guerreiro, M; Azevedo, V; Santos, H; Nunes, LM;
PUBLISHED: 2021, SOURCE: CRIME PREVENTION & COMMUNITY SAFETY, VOLUME: 23, ISSUE: 3, PAGES: 252-263
AUTHORS: Gouveia, F; Ana Sani ; Guerreiro, M; Azevedo, V; Santos, H; Nunes, LM;
PUBLISHED: 2021, SOURCE: CRIME PREVENTION & COMMUNITY SAFETY, VOLUME: 23, ISSUE: 3, PAGES: 252-263
376
TITLE: Meta-aprendizado para otimizacao de parametros de redes neurais
AUTHORS: Tarsicio Lucas; Teresa Bernarda Ludermir; Ricardo B C Prudencio; Carlos Soares ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.13745
AUTHORS: Tarsicio Lucas; Teresa Bernarda Ludermir; Ricardo B C Prudencio; Carlos Soares ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.13745
INDEXED IN: DBLP
DBLP377
TITLE: Micro-MetaStream: Algorithm selection for time-changing data Full Text
AUTHORS: Rossi, ALD; Soares, C ; de Souza, BF; de Carvalho, ACPDF;
PUBLISHED: 2021, SOURCE: INFORMATION SCIENCES, VOLUME: 565, PAGES: 262-277
AUTHORS: Rossi, ALD; Soares, C ; de Souza, BF; de Carvalho, ACPDF;
PUBLISHED: 2021, SOURCE: INFORMATION SCIENCES, VOLUME: 565, PAGES: 262-277
378
TITLE: Mobile System for Personal Support to Psoriatic Patients
AUTHORS: Rui S Moreira ; Paulo Carvalho; Rui Catarino; Toni Lopes; Christophe Soares ; Jose M Torres ; Pedro Sobral ; Ana Teixeira; Isabel F Almeida ; Vera Almeida;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in Trends and Applications in Information Systems and Technologies - Volume 3, WorldCIST 2021, Terceira Island, Azores, Portugal, 30 March - 2 April, 2021., VOLUME: 1367, PAGES: 483-493
AUTHORS: Rui S Moreira ; Paulo Carvalho; Rui Catarino; Toni Lopes; Christophe Soares ; Jose M Torres ; Pedro Sobral ; Ana Teixeira; Isabel F Almeida ; Vera Almeida;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in Trends and Applications in Information Systems and Technologies - Volume 3, WorldCIST 2021, Terceira Island, Azores, Portugal, 30 March - 2 April, 2021., VOLUME: 1367, PAGES: 483-493
379
TITLE: Model Compression for Dynamic Forecast Combination
AUTHORS: Vítor Cerqueira ; Luís Torgo ; Carlos Soares ; Albert Bifet;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01830
AUTHORS: Vítor Cerqueira ; Luís Torgo ; Carlos Soares ; Albert Bifet;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01830
INDEXED IN: DBLP
DBLP380
TITLE: New Open-Source Tools: Using Bonsai for Behavioral Tracking and Closed-Loop Experiments Full Text
AUTHORS: Lopes, G ; Monteiro, P;
PUBLISHED: 2021, SOURCE: FRONTIERS IN BEHAVIORAL NEUROSCIENCE, VOLUME: 15
AUTHORS: Lopes, G ; Monteiro, P;
PUBLISHED: 2021, SOURCE: FRONTIERS IN BEHAVIORAL NEUROSCIENCE, VOLUME: 15
INDEXED IN: Scopus WOS
Scopus WOS