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: 2958
85 Team MembersFilters -> Year: 2025
341
TITLE: A Pattern-Based Test Platform for Families of Smart Health Products
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December, PAGES: 595-605
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December, PAGES: 595-605
342
TITLE: A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), PAGES: 118-121
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), PAGES: 118-121
343
TITLE: A Recursive Algorithm for the Forward Kinematic Analysis of Robotic Systems Using Euler Angles
AUTHORS: Goncalves, F; Ribeiro, T; Ribeiro, AF ; Lopes, G ; Flores, P ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 1, PAGES: 15
AUTHORS: Goncalves, F; Ribeiro, T; Ribeiro, AF ; Lopes, G ; Flores, P ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 1, PAGES: 15
344
TITLE: A simple interactive robot to promote computational thinking
AUTHORS: Funk, Matthias; Cascalho, Jose ; Santos, Ana Isabel; Pedro, Francisco; Medeiros, Paulo; Amaral, Barbara; Domingos, Manuel; Ramos, Alberto; Mendes, Armando ;
PUBLISHED: 2022, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 4
AUTHORS: Funk, Matthias; Cascalho, Jose ; Santos, Ana Isabel; Pedro, Francisco; Medeiros, Paulo; Amaral, Barbara; Domingos, Manuel; Ramos, Alberto; Mendes, Armando ;
PUBLISHED: 2022, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 4
345
TITLE: A Toolkit for Re-Mar to Enhance Classroom Ocean Literacy
AUTHORS: Behr, Andre; Freitas, Diana; Cascalho, Jose ; Mendes, Armando ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 446-453
AUTHORS: Behr, Andre; Freitas, Diana; Cascalho, Jose ; Mendes, Armando ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 446-453
346
TITLE: A transformer-based IDE plugin for vulnerability detection
AUTHORS: Mamede, Claudia; Pinconschi, Eduard; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
AUTHORS: Mamede, Claudia; Pinconschi, Eduard; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
347
TITLE: A Typed Lambda Calculus with Gradual Intersection Types
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 in PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, PAGES: 9:1-9:13
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 in PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, PAGES: 9:1-9:13
348
TITLE: Adaptação psicológica da pessoa e da família ao risco de cancro hereditário - Livro Branco
AUTHORS: Célia Sales; Et Al. ;
PUBLISHED: 2022
AUTHORS: Célia Sales; Et Al. ;
PUBLISHED: 2022
INDEXED IN: 
DataCite
DataCite349
TITLE: Aerial Fire Image Synthesis and Detection
AUTHORS: Campos, Sandro; Silva, Daniel Castro ;
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 2, PAGES: 273-284
AUTHORS: Campos, Sandro; Silva, Daniel Castro ;
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 2, PAGES: 273-284
350
TITLE: Agent-Based Distributed Data Analysis in Industrial Cyber-Physical Systems
AUTHORS: Jonas P Queiroz ; Paulo Leitão ; José Barbosa; Eugénio Costa Oliveira; Gisela Garcia;
PUBLISHED: 2022, SOURCE: IEEE Journal of Emerging and Selected Topics in Industrial Electronics, VOLUME: 3, ISSUE: 1, PAGES: 5-12
AUTHORS: Jonas P Queiroz ; Paulo Leitão ; José Barbosa; Eugénio Costa Oliveira; Gisela Garcia;
PUBLISHED: 2022, SOURCE: IEEE Journal of Emerging and Selected Topics in Industrial Electronics, VOLUME: 3, ISSUE: 1, PAGES: 5-12
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef351
TITLE: Agents and Artificial Intelligence. 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef352
TITLE: Agents and Artificial Intelligence. 14th International Conference, ICAART 2022, Virtual Event, February 3–5, 2022, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef353
TITLE: Agents and Artificial Intelligence - 13th International Conference, ICAART 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (Revised Selected Papers), VOLUME: 13251
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (Revised Selected Papers), VOLUME: 13251
INDEXED IN: 
DBLP
DBLP354
TITLE: Agents and Artificial Intelligence - 14th International Conference, ICAART 2022, Virtual Event, February 3-5, 2022, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (Revised Selected Paper, VOLUME: 13786
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2022, SOURCE: ICAART (Revised Selected Paper, VOLUME: 13786
INDEXED IN: DBLP
DBLP355
TITLE: AN ADAPTIVE THERMAL FINITE ELEMENT SIMULATION OF DIRECT ENERGY DEPOSITION WITH REINFORCEMENT LEARNING: A CONCEPTUAL FRAMEWORK
AUTHORS: Sousa, J; Darabi, R; Reis, A ; Parente, M ; Reis, LP ; de Sa, JC;
PUBLISHED: 2022, SOURCE: ASME 2022 International Mechanical Engineering Congress and Exposition, IMECE 2022 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2-B
AUTHORS: Sousa, J; Darabi, R; Reis, A ; Parente, M ; Reis, LP ; de Sa, JC;
PUBLISHED: 2022, SOURCE: ASME 2022 International Mechanical Engineering Congress and Exposition, IMECE 2022 in ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE), VOLUME: 2-B
INDEXED IN: Scopus CrossRef
Scopus CrossRef356
TITLE: An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization
AUTHORS: Cláudio Gomes; Gabriel Falcão; Luís Paquete; João Paulo Fernandes ;
PUBLISHED: 2022, SOURCE: SN Comput. Sci., VOLUME: 3, ISSUE: 5, PAGES: 335
AUTHORS: Cláudio Gomes; Gabriel Falcão; Luís Paquete; João Paulo Fernandes ;
PUBLISHED: 2022, SOURCE: SN Comput. Sci., VOLUME: 3, ISSUE: 5, PAGES: 335
357
TITLE: An IoT Sensing System for Managing Industrial FOG-Separators
AUTHORS: Moreira, RS ; Soares, C; Jose M Torres ; Sobral, P ; Carvalho, C; Gomes, B; Karmali, K; Karmali, S; Rodrigues, R;
PUBLISHED: 2022, SOURCE: 2022 International Conference on Smart Applications, Communications and Networking, SmartNets 2022 in 2022 International Conference on Smart Applications, Communications and Networking, SmartNets 2022
AUTHORS: Moreira, RS ; Soares, C; Jose M Torres ; Sobral, P ; Carvalho, C; Gomes, B; Karmali, K; Karmali, S; Rodrigues, R;
PUBLISHED: 2022, SOURCE: 2022 International Conference on Smart Applications, Communications and Networking, SmartNets 2022 in 2022 International Conference on Smart Applications, Communications and Networking, SmartNets 2022
INDEXED IN: Scopus CrossRef
Scopus CrossRef358
TITLE: An IoT Sensing System for Managing Industrial FOG-Separators
AUTHORS: Rui S Moreira; Christophe Soares; Jose M Torres ; Pedro Sobral; Célio Carvalho; Bruno Gomes; Karim Karmali; Salim Karmali; Rafael Rodrigues;
PUBLISHED: 2022, SOURCE: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, PAGES: 1-7
AUTHORS: Rui S Moreira; Christophe Soares; Jose M Torres ; Pedro Sobral; Célio Carvalho; Bruno Gomes; Karim Karmali; Salim Karmali; Rafael Rodrigues;
PUBLISHED: 2022, SOURCE: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, PAGES: 1-7
INDEXED IN: DBLP
DBLP359
TITLE: An IoT-enabled Portable System for Field-based Endurance Run Testing
AUTHORS: Passos, Joao M. O.; LOPES, S. I. ; Moreira, Pedro M.; Clemente, Filipe M. ; Bezerra, Pedro; Silva, Rui; Rodrigues, Luis P. ;
PUBLISHED: 2022, SOURCE: 1st IEEE International Workshop on Sport Technology and Research (IEEE STAR) in 2022 IEEE INTERNATIONAL WORKSHOP ON SPORT TECHNOLOGY AND RESEARCH (IEEE STAR 2022), PAGES: 7-12
AUTHORS: Passos, Joao M. O.; LOPES, S. I. ; Moreira, Pedro M.; Clemente, Filipe M. ; Bezerra, Pedro; Silva, Rui; Rodrigues, Luis P. ;
PUBLISHED: 2022, SOURCE: 1st IEEE International Workshop on Sport Technology and Research (IEEE STAR) in 2022 IEEE INTERNATIONAL WORKSHOP ON SPORT TECHNOLOGY AND RESEARCH (IEEE STAR 2022), PAGES: 7-12
360
TITLE: Annotating Arguments in a Corpus of Opinion Articles
AUTHORS: Rocha, Gil; Trigo, Luis ; Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula; Martins, Bruno; Won, Miguel;
PUBLISHED: 2022, SOURCE: 13th International Conference on Language Resources and Evaluation (LREC) in LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 1890-1899
AUTHORS: Rocha, Gil; Trigo, Luis ; Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula; Martins, Bruno; Won, Miguel;
PUBLISHED: 2022, SOURCE: 13th International Conference on Language Resources and Evaluation (LREC) in LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 1890-1899
INDEXED IN: Scopus 
WOS DBLP 
Handle
Scopus WOS DBLP Handle