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: 2723
85 Team MembersFilters -> Year: 2025
141
TITLE: Ebserver: Automating Resource-Usage Data Collection of Android Applications
AUTHORS: Oliveira, Wellington; Moraes, Bernardo; Castor, Fernando; Fernandes, Joao Paulo ;
PUBLISHED: 2023, SOURCE: IEEE/ACM 10th International Conference on Mobile Software Engineering and Systems (MOBILESoft) in 2023 IEEE/ACM 10TH INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT, PAGES: 55-59
AUTHORS: Oliveira, Wellington; Moraes, Bernardo; Castor, Fernando; Fernandes, Joao Paulo ;
PUBLISHED: 2023, SOURCE: IEEE/ACM 10th International Conference on Mobile Software Engineering and Systems (MOBILESoft) in 2023 IEEE/ACM 10TH INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT, PAGES: 55-59
INDEXED IN: 
WOS 
DBLP
WOS DBLP142
TITLE: eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture
AUTHORS: Maria Inês Alves; António Duarte Araújo ; Bruno Lima ;
PUBLISHED: 2023, SOURCE: 15th International Conference on Computer Supported Education, CSEDU 2023 in International Conference on Computer Supported Education, CSEDU - Proceedings, VOLUME: 2, PAGES: 341-348
AUTHORS: Maria Inês Alves; António Duarte Araújo ; Bruno Lima ;
PUBLISHED: 2023, SOURCE: 15th International Conference on Computer Supported Education, CSEDU 2023 in International Conference on Computer Supported Education, CSEDU - Proceedings, VOLUME: 2, PAGES: 341-348
143
TITLE: Electrical sensing of the plant Mimosa pudica under environmental temperatures
AUTHORS: Lobo, Marta A.; Cardoso, Joao M. P. ; Rocha, Paulo R. F.;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 191-194
AUTHORS: Lobo, Marta A.; Cardoso, Joao M. P. ; Rocha, Paulo R. F.;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 191-194
144
TITLE: Empirical Evaluation of a Live Environment for Extract Method Refactoring
AUTHORS: Sara Fernandes; Ademar Aguiar ; André Restivo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.11010
AUTHORS: Sara Fernandes; Ademar Aguiar ; André Restivo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.11010
INDEXED IN: DBLP
DBLP145
TITLE: End-to-End Approach for Autonomous Driving: A Supervised Learning Method Using Computer Vision Algorithms for Dataset Creation Full Text
AUTHORS: Ribeiro, Ines A.; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2023, SOURCE: ALGORITHMS, VOLUME: 16, ISSUE: 9, PAGES: 411
AUTHORS: Ribeiro, Ines A.; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2023, SOURCE: ALGORITHMS, VOLUME: 16, ISSUE: 9, PAGES: 411
146
TITLE: Enhancing decision-making in transportation management: A comparative study of text classification models
AUTHORS: Carneiro, Eduardo; Fontes, Tania ; Rossetti, Rosaldo J. F.; Kokkinogenis, Zafeiris ;
PUBLISHED: 2023, SOURCE: IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) in 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PAGES: 4141-4146
AUTHORS: Carneiro, Eduardo; Fontes, Tania ; Rossetti, Rosaldo J. F.; Kokkinogenis, Zafeiris ;
PUBLISHED: 2023, SOURCE: IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) in 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PAGES: 4141-4146
147
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
148
TITLE: Explaining ANN-modeled fMRI Data with Path-Weights and Layer-Wise Relevance Propagation
AUTHORS: José Diogo Marques Dos Santos; Marques dos Santos, José Paulo ;
PUBLISHED: 2023, SOURCE: Joint 1st World Conference on eXplainable Artificial Intelligence: Late-Breaking Work, Demos and Doctoral Consortium, xAI-2023: LB-D-DC in CEUR Workshop Proceedings, VOLUME: 3554, PAGES: 24-29
AUTHORS: José Diogo Marques Dos Santos; Marques dos Santos, José Paulo ;
PUBLISHED: 2023, SOURCE: Joint 1st World Conference on eXplainable Artificial Intelligence: Late-Breaking Work, Demos and Doctoral Consortium, xAI-2023: LB-D-DC in CEUR Workshop Proceedings, VOLUME: 3554, PAGES: 24-29
INDEXED IN: 
Scopus
Scopus149
TITLE: Exploring the Reduction of Configuration Spaces of Workflows
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 33-47
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 33-47
150
TITLE: FC Portugal 3D Simulation Team: Team Description Paper 2020
AUTHORS: Nuno Lau; Luís Paulo Reis ; David Simões; Mohammadreza Kasaei; Miguel Abreu; Tiago Silva; Francisco Resende;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.15931
AUTHORS: Nuno Lau; Luís Paulo Reis ; David Simões; Mohammadreza Kasaei; Miguel Abreu; Tiago Silva; Francisco Resende;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.15931
INDEXED IN: DBLP
DBLP151
TITLE: FC Portugal: RoboCup 2022 3D Simulation League and Technical Challenge Champions
AUTHORS: Abreu, Miguel; Kasaei, Mohammadreza; Reis, Luis Paulo ; Lau, Nuno ;
PUBLISHED: 2023, SOURCE: RoboCup Symposium in ROBOCUP 2022, VOLUME: 13561, PAGES: 313-324
AUTHORS: Abreu, Miguel; Kasaei, Mohammadreza; Reis, Luis Paulo ; Lau, Nuno ;
PUBLISHED: 2023, SOURCE: RoboCup Symposium in ROBOCUP 2022, VOLUME: 13561, PAGES: 313-324
152
TITLE: Federated Learning for Computer-Aided Diagnosis of Glaucoma Using Retinal Fundus Images
AUTHORS: Baptista, Telmo; Soares, Carlos ; Oliveira, Tiago; Soares, Filipe;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11620
AUTHORS: Baptista, Telmo; Soares, Carlos ; Oliveira, Tiago; Soares, Filipe;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11620
153
TITLE: GASTeN: Generative Adversarial Stress Test Networks
AUTHORS: Cunha, Luis; Soares, Carlos ; André Restivo ; Luis F. Teixeira ;
PUBLISHED: 2023, SOURCE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PAGES: 91-102
AUTHORS: Cunha, Luis; Soares, Carlos ; André Restivo ; Luis F. Teixeira ;
PUBLISHED: 2023, SOURCE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PAGES: 91-102
154
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, PAGES: 111-124
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, PAGES: 111-124
155
TITLE: Gradual Guarantee for FJ with lambda-Expressions
AUTHORS: Angelo, Pedro; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, PAGES: 32-38
AUTHORS: Angelo, Pedro; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, PAGES: 32-38
156
TITLE: Hand Gestures Recognition for an Intelligent Wheelchair Steering Command
AUTHORS: Almeida, Patricia; Faria, Brigida Monica ; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 41-52
AUTHORS: Almeida, Patricia; Faria, Brigida Monica ; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 41-52
157
TITLE: Has It Ever Been the Fashion Blog’s Dusk? A Thematic Analysis-Based Research on the Anguishes in the Post-transition from Text Blog Writers to the Ready-Made Scroll, Scroll, Scroll Instagram Images
AUTHORS: Pimenta, MI; Marques dos Santos, José Paulo ;
PUBLISHED: 2023, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2022 in Smart Innovation, Systems and Technologies, VOLUME: 337 SIST, PAGES: 575-596
AUTHORS: Pimenta, MI; Marques dos Santos, José Paulo ;
PUBLISHED: 2023, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2022 in Smart Innovation, Systems and Technologies, VOLUME: 337 SIST, PAGES: 575-596
158
TITLE: Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2023, SOURCE: OpenAccess Series in Informatics, VOLUME: 112
AUTHORS: Pedro Vasconcelos ;
PUBLISHED: 2023, SOURCE: OpenAccess Series in Informatics, VOLUME: 112
INDEXED IN: Scopus
Scopus159
TITLE: Immersive Virtual Reality Serious Games for Schizophrenia Negative Symptomatology
AUTHORS: Beatriz Miranda; Paula Alexandra Rego ; Luis Romero; Pedro Miguel Moreira;
PUBLISHED: 2023, SOURCE: 11th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2023 in 2023 IEEE 11th International Conference on Serious Games and Applications for Health, SeGAH 2023
AUTHORS: Beatriz Miranda; Paula Alexandra Rego ; Luis Romero; Pedro Miguel Moreira;
PUBLISHED: 2023, SOURCE: 11th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2023 in 2023 IEEE 11th International Conference on Serious Games and Applications for Health, SeGAH 2023
160
TITLE: Immersive Virtual Reality Serious Games for Schizophrenia Negative Symptomatology
AUTHORS: Miranda, Beatriz; Rego, Paula Alexandra ; Romero, Luis; Moreira, Pedro Miguel;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-5
AUTHORS: Miranda, Beatriz; Rego, Paula Alexandra ; Romero, Luis; Moreira, Pedro Miguel;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-5
INDEXED IN: WOS DBLP
WOS DBLP