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: 2681
84 Team MembersFilters -> Year: 2024
341
TITLE: Discovery Science - 24th International Conference, DS 2021, Halifax, NS, Canada, October 11-13, 2021, Proceedings
AUTHORS: Carlos Soares ; Luís Torgo ;
PUBLISHED: 2021, SOURCE: DS, VOLUME: 12986
AUTHORS: Carlos Soares ; Luís Torgo ;
PUBLISHED: 2021, SOURCE: DS, VOLUME: 12986
INDEXED IN: 
DBLP
DBLP342
TITLE: Economic and Food Safety: Optimized Inspection Routes Generation
AUTHORS: Barros, T; Oliveira, A; Cardoso, HL ; Reis, LP ; Caldeira, C; Machado, JP;
PUBLISHED: 2021, SOURCE: 12th International Conference on Agents and Artificial Intelligence (ICAART) in AGENTS AND ARTIFICIAL INTELLIGENCE, ICAART 2020, VOLUME: 12613, PAGES: 482-503
AUTHORS: Barros, T; Oliveira, A; Cardoso, HL ; Reis, LP ; Caldeira, C; Machado, JP;
PUBLISHED: 2021, SOURCE: 12th International Conference on Agents and Artificial Intelligence (ICAART) in AGENTS AND ARTIFICIAL INTELLIGENCE, ICAART 2020, VOLUME: 12613, PAGES: 482-503
343
TITLE: Editorial of the topical collection "state of the art on autonomous robot systems and competitions"
AUTHORS: Lau, N; Silva, MF ; Reis, LP ; Cascalho, JM ;
PUBLISHED: 2021, SOURCE: SN APPLIED SCIENCES, VOLUME: 3, ISSUE: 11
AUTHORS: Lau, N; Silva, MF ; Reis, LP ; Cascalho, JM ;
PUBLISHED: 2021, SOURCE: SN APPLIED SCIENCES, VOLUME: 3, ISSUE: 11
344
TITLE: Educational Robotics and Tangible Devices for Promoting Computational Thinking
AUTHORS: Funk, MG; Cascalho, JM ; Santos, AI; Mendes, AB;
PUBLISHED: 2021, SOURCE: FRONTIERS IN ROBOTICS AND AI, VOLUME: 8
AUTHORS: Funk, MG; Cascalho, JM ; Santos, AI; Mendes, AB;
PUBLISHED: 2021, SOURCE: FRONTIERS IN ROBOTICS AND AI, VOLUME: 8
345
TITLE: Effectiveness of a holistic neuropsychological rehabilitation program using virtual reality
AUTHORS: Liliana Mendes; Luís Paulo Reis ; Fernando Barbosa;
PUBLISHED: 2021, SOURCE: PSYCHTECH & HEALTH JOURNAL, VOLUME: 5, ISSUE: 1, PAGES: 20-41
AUTHORS: Liliana Mendes; Luís Paulo Reis ; Fernando Barbosa;
PUBLISHED: 2021, SOURCE: PSYCHTECH & HEALTH JOURNAL, VOLUME: 5, ISSUE: 1, PAGES: 20-41
INDEXED IN: 
CrossRef
CrossRef346
TITLE: Efficient Secure Communication for Distributed Multi-Agent Systems
AUTHORS: Costa, D; Garrido, D; Silva, DC ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, PAGES: 543-552
AUTHORS: Costa, D; Garrido, D; Silva, DC ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, PAGES: 543-552
INDEXED IN: 
WOS DBLP
WOS DBLP347
TITLE: Empirical Study on the Impact of Different Sets of Parameters of Gradient Boosting Algorithms for Time-Series Forecasting with LightGBM
AUTHORS: Filipa S. Barros ; Vítor Cerqueira ; Carlos Soares ;
PUBLISHED: 2021, SOURCE: 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021 in PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I, VOLUME: 13031, PAGES: 454-465
AUTHORS: Filipa S. Barros ; Vítor Cerqueira ; Carlos Soares ;
PUBLISHED: 2021, SOURCE: 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021 in PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I, VOLUME: 13031, PAGES: 454-465
348
TITLE: Empowering Visual Internet-of-Things Mashups with Self-Healing Capabilities
AUTHORS: Dias, JP ; André Restivo ; Ferreira, HS ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT), PAGES: 44-51
AUTHORS: Dias, JP ; André Restivo ; Ferreira, HS ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT), PAGES: 44-51
349
TITLE: Enhancing Learning Object Repositories with Ontologies
AUTHORS: Behr, A; Mendes, A; Cascalho, J ; Rossi, L; Vicari, R; Trigo, P; Novo, P; Cavique, L; Guerra, H;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in Advances in Intelligent Systems and Computing, VOLUME: 1368 AISC, PAGES: 463-472
AUTHORS: Behr, A; Mendes, A; Cascalho, J ; Rossi, L; Vicari, R; Trigo, P; Novo, P; Cavique, L; Guerra, H;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in Advances in Intelligent Systems and Computing, VOLUME: 1368 AISC, PAGES: 463-472
350
TITLE: Enriching word embeddings with food knowledge for ingredient retrieval
AUTHORS: Samagaio, ÁM; Cardoso, HL ; Ribeiro, D;
PUBLISHED: 2021, SOURCE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in OpenAccess Series in Informatics, VOLUME: 93
AUTHORS: Samagaio, ÁM; Cardoso, HL ; Ribeiro, D;
PUBLISHED: 2021, SOURCE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in OpenAccess Series in Informatics, VOLUME: 93
INDEXED IN: 
Scopus
Scopus351
TITLE: EVL: a typed functional language for event processing
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
INDEXED IN: DBLP
DBLP352
TITLE: Fixing vulnerabilities potentially hinders maintainability
AUTHORS: Reis, S; Abreu, R ; Cruz, L;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 6
AUTHORS: Reis, S; Abreu, R ; Cruz, L;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 6
INDEXED IN: Scopus WOS
Scopus WOS353
TITLE: FogWise: On the limits of the coexistence of heterogeneous applications on Fog computing and Internet of Vehicles Full Text
AUTHORS: de Mendonca, FF; Dias, KL; D'Orey, PM ; Kokkinogenis, Z ;
PUBLISHED: 2021, SOURCE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 32, ISSUE: 1
AUTHORS: de Mendonca, FF; Dias, KL; D'Orey, PM ; Kokkinogenis, Z ;
PUBLISHED: 2021, SOURCE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 32, ISSUE: 1
354
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
Scopus355
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
356
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
358
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
DBLP359
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
360
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 DBLP