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
201
TITLE: Asserting the correctness of Shor implementations using metamorphic testing
AUTHORS: Nuno Costa; João Paulo Fernandes ; Rui Abreu;
PUBLISHED: 2022, SOURCE: Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022, PAGES: 32-36
AUTHORS: Nuno Costa; João Paulo Fernandes ; Rui Abreu;
PUBLISHED: 2022, SOURCE: Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022, PAGES: 32-36
INDEXED IN: 
DBLP
DBLP202
TITLE: Asserting the correctness of Shor implementations using metamorphic testing
AUTHORS: Nuno Costa; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022, PAGES: 32-36
AUTHORS: Nuno Costa; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022, PAGES: 32-36
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef203
TITLE: Assessing Communication Strategies in C-ITS Using n-Person Prisoner's Dilemma
AUTHORS: da Costa, Antonio Ribeiro ; Kokkinogenis, Zafeiris ; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 322-335
AUTHORS: da Costa, Antonio Ribeiro ; Kokkinogenis, Zafeiris ; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 322-335
204
TITLE: Bringing Underused Learning Objects to the Light: A Multi-agent Based Approach
AUTHORS: Behr, Andre; Cascalho, Jose ; Mendes, Armando; Guerra, Helia; Luís Cavique; Trigo, Paulo; Coelho, Helder; Vicari, Rosa;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 751-763
AUTHORS: Behr, Andre; Cascalho, Jose ; Mendes, Armando; Guerra, Helia; Luís Cavique; Trigo, Paulo; Coelho, Helder; Vicari, Rosa;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 751-763
205
TITLE: Classification of Table Tennis Strokes in Wearable Device using Deep Learning
AUTHORS: Ferreira, Nuno Micael; José Manuel Torres ; Sobral, Pedro ; Moreira, Rui ; Christophe Soares ;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 629-636
AUTHORS: Ferreira, Nuno Micael; José Manuel Torres ; Sobral, Pedro ; Moreira, Rui ; Christophe Soares ;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 629-636
INDEXED IN: 
WOS CrossRef
WOS CrossRef206
TITLE: Combining YOLO and Deep Reinforcement Learning for Autonomous Driving in Public Roadworks Scenarios
AUTHORS: Andrade, Nuno; Ribeiro, Tiago; Coelho, Joana; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 793-800
AUTHORS: Andrade, Nuno; Ribeiro, Tiago; Coelho, Joana; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 793-800
207
TITLE: Communication in Educational Robots: From Coordination to IoT Systems
AUTHORS: Cascalho, Jose ; Mendes, Armando; Pedro, Francisco; Ramos, Alberto; Medeiros, Paulo; Funk, Matthias;
PUBLISHED: 2022, SOURCE: 2nd International Conference on Optimization, Learning Algorithms and Applications (OL2A) in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2022, VOLUME: 1754, PAGES: 654-666
AUTHORS: Cascalho, Jose ; Mendes, Armando; Pedro, Francisco; Ramos, Alberto; Medeiros, Paulo; Funk, Matthias;
PUBLISHED: 2022, SOURCE: 2nd International Conference on Optimization, Learning Algorithms and Applications (OL2A) in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2022, VOLUME: 1754, PAGES: 654-666
208
TITLE: Context Matters! Identifying Argumentative Relations in Essays. identifying argumentative relations in essays
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 879-882
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 879-882
209
TITLE: Data Type Inference for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PAGES: 16-37
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PAGES: 16-37
210
TITLE: Density Estimation in High-Dimensional Spaces: A Multivariate Histogram Approach
AUTHORS: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLISHED: 2022, SOURCE: 18th International Conference on Advanced Data Mining and Applications (ADMA) in ADVANCED DATA MINING AND APPLICATIONS, ADMA 2022, PT II, VOLUME: 13726, PAGES: 266-278
AUTHORS: Strecht, Pedro ; Mendes Moreira, Joao ; Soares, Carlos ;
PUBLISHED: 2022, SOURCE: 18th International Conference on Advanced Data Mining and Applications (ADMA) in ADVANCED DATA MINING AND APPLICATIONS, ADMA 2022, PT II, VOLUME: 13726, PAGES: 266-278
211
TITLE: Designing and constructing internet-of-Things systems: An overview of the ecosystem Full Text
AUTHORS: Dias, Joao Pedro ; André Restivo ; Ferreira, Hugo Sereno ;
PUBLISHED: 2022, SOURCE: INTERNET OF THINGS, VOLUME: 19, PAGES: 100529
AUTHORS: Dias, Joao Pedro ; André Restivo ; Ferreira, Hugo Sereno ;
PUBLISHED: 2022, SOURCE: INTERNET OF THINGS, VOLUME: 19, PAGES: 100529
212
TITLE: Detection of Glaucoma on Fundus Images Using Deep Learning on a New Image Set Obtained with a Smartphone and Handheld Ophthalmoscope Full Text
AUTHORS: Clerimar Paulo Bragança; José Manuel Torres; Christophe Soares ; Luciano Oliveira Macedo;
PUBLISHED: 2022, SOURCE: Healthcare, VOLUME: 10, ISSUE: 12, PAGES: 2345
AUTHORS: Clerimar Paulo Bragança; José Manuel Torres; Christophe Soares ; Luciano Oliveira Macedo;
PUBLISHED: 2022, SOURCE: Healthcare, VOLUME: 10, ISSUE: 12, PAGES: 2345
INDEXED IN: CrossRef
CrossRef213
TITLE: Disruption Management of ASAE's Inspection Routes
AUTHORS: Ferreira, Miguel Milheiro; Cardoso, Henrique Lopes ; Reis, Luis Paulo ; Barros, Telmo; Machado, Joao Pedro;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, VOLUME: 3, PAGES: 810-817
AUTHORS: Ferreira, Miguel Milheiro; Cardoso, Henrique Lopes ; Reis, Luis Paulo ; Barros, Telmo; Machado, Joao Pedro;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, VOLUME: 3, PAGES: 810-817
214
TITLE: Dutch Auction Based Approach for Task/Resource Allocation
AUTHORS: Pereira, Eliseu; Reis, Joao; Gil Gonçalves ; Reis, Luis Paulo ; Rocha, Ana Paula ;
PUBLISHED: 2022, SOURCE: 1st International Conference on Innovation in Engineering (ICIE) in INNOVATIONS IN MECHATRONICS ENGINEERING, PAGES: 322-333
AUTHORS: Pereira, Eliseu; Reis, Joao; Gil Gonçalves ; Reis, Luis Paulo ; Rocha, Ana Paula ;
PUBLISHED: 2022, SOURCE: 1st International Conference on Innovation in Engineering (ICIE) in INNOVATIONS IN MECHATRONICS ENGINEERING, PAGES: 322-333
215
TITLE: Dynamic Modeling of a Human-Inspired Robot Based on a Newton-Euler Approach
AUTHORS: Gonçalves, F; Ribeiro, T; Ribeiro, AF; Lopes, G ; Flores, P;
PUBLISHED: 2022, SOURCE: CISM International Centre for Mechanical Sciences, Courses and Lectures, VOLUME: 606, PAGES: 79-90
AUTHORS: Gonçalves, F; Ribeiro, T; Ribeiro, AF; Lopes, G ; Flores, P;
PUBLISHED: 2022, SOURCE: CISM International Centre for Mechanical Sciences, Courses and Lectures, VOLUME: 606, PAGES: 79-90
216
TITLE: E-APK: Energy Pattern Detection in Decompiled Android Applications
AUTHORS: Nelson Gregório; João Paulo Fernandes ; João Bispo ; Sérgio Medeiros;
PUBLISHED: 2022, SOURCE: 26th Brazilian Symposium on Programming Languages, SBLP2022 in SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, PAGES: 50-58
AUTHORS: Nelson Gregório; João Paulo Fernandes ; João Bispo ; Sérgio Medeiros;
PUBLISHED: 2022, SOURCE: 26th Brazilian Symposium on Programming Languages, SBLP2022 in SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, PAGES: 50-58
217
TITLE: Enabling Citizen-Centric ITS Services Through Blockchain and Human Incentives
AUTHORS: Martins, Sofia; Costa, Antonio ; Kokkinogenis, Zafeiris ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: 5th EAI International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS (INTSYS 2021), VOLUME: 426, PAGES: 85-94
AUTHORS: Martins, Sofia; Costa, Antonio ; Kokkinogenis, Zafeiris ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: 5th EAI International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS (INTSYS 2021), VOLUME: 426, PAGES: 85-94
218
TITLE: Enabling Processing Power Scalability with Internet of Things (IoT) Clusters Full Text
AUTHORS: Coelho, J ; Nogueira, L ;
PUBLISHED: 2022, SOURCE: ELECTRONICS, VOLUME: 11, ISSUE: 1, PAGES: 81
AUTHORS: Coelho, J ; Nogueira, L ;
PUBLISHED: 2022, SOURCE: ELECTRONICS, VOLUME: 11, ISSUE: 1, PAGES: 81
219
TITLE: Evaluation of IoT Self-healing Mechanisms using Fault-Injection in Message Brokers
AUTHORS: Duarte, Miguel; Dias, Joao Pedro ; Ferreira, Hugo Sereno ; André Restivo ;
PUBLISHED: 2022, SOURCE: IEEE/ACM 4th International Workshop on Software Engineering Research and Practices for the Internet of Things (SERP4IoT) in 2022 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT 2022), PAGES: 9-16
AUTHORS: Duarte, Miguel; Dias, Joao Pedro ; Ferreira, Hugo Sereno ; André Restivo ;
PUBLISHED: 2022, SOURCE: IEEE/ACM 4th International Workshop on Software Engineering Research and Practices for the Internet of Things (SERP4IoT) in 2022 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT 2022), PAGES: 9-16
220
TITLE: Execution Time Program Verification With Tight Bounds
AUTHORS: Ana Carolina Silva; Manuel Barbosa ; Mário Florido ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2210.11105
AUTHORS: Ana Carolina Silva; Manuel Barbosa ; Mário Florido ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2210.11105
INDEXED IN: DBLP
DBLP