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
121
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
122
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
Scopus123
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
124
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
DBLP125
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
126
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
127
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
128
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
129
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
130
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
131
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
Scopus132
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
133
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 DBLP134
TITLE: Inteligência artificial e diagnóstico do glaucoma
AUTHORS: Clerimar Paulo Bragança; Jose M Torres ; Christophe Soares ;
PUBLISHED: 2023, SOURCE: Brazilian Applied Science Review, VOLUME: 7, ISSUE: 2, PAGES: 683-707
AUTHORS: Clerimar Paulo Bragança; Jose M Torres ; Christophe Soares ;
PUBLISHED: 2023, SOURCE: Brazilian Applied Science Review, VOLUME: 7, ISSUE: 2, PAGES: 683-707
135
TITLE: Intelligent Wheelchairs Rolling in Pairs Using Reinforcement Learning
AUTHORS: Rodrigues, Nelson ; Sousa, Armando ; Reis, Luis Paulo ; Coelho, Antonio ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 274-285
AUTHORS: Rodrigues, Nelson ; Sousa, Armando ; Reis, Luis Paulo ; Coelho, Antonio ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 274-285
136
TITLE: Investigating the reviewer assignment problem: A systematic literature review
AUTHORS: Ribeiro, Ana Carolina; Sizo, Amanda; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: JOURNAL OF INFORMATION SCIENCE
AUTHORS: Ribeiro, Ana Carolina; Sizo, Amanda; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: JOURNAL OF INFORMATION SCIENCE
137
TITLE: Knowledge Discovery for Risk Assessment in Economic and Food Safety
AUTHORS: Maria Clara Silva; Brígida Mónica Faria ; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023, Volume 1: KDIR, Rome, Italy, November 13-15, 2023., PAGES: 445-452
AUTHORS: Maria Clara Silva; Brígida Mónica Faria ; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023, Volume 1: KDIR, Rome, Italy, November 13-15, 2023., PAGES: 445-452
INDEXED IN: DBLP
DBLP138
TITLE: Large-Scale Tactile Detection System Based on Supervised Learning for Service Robots Human Interaction Full Text
AUTHORS: Cunha, Fabio; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 2, PAGES: 825
AUTHORS: Cunha, Fabio; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 2, PAGES: 825
139
TITLE: Learning hybrid locomotion skills - Learn to exploit residual actions and modulate model-based gait control
AUTHORS: Mohammadreza Mohades Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ; Zhibin Li;
PUBLISHED: 2023, SOURCE: Frontiers Robotics AI, VOLUME: 10
AUTHORS: Mohammadreza Mohades Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ; Zhibin Li;
PUBLISHED: 2023, SOURCE: Frontiers Robotics AI, VOLUME: 10
INDEXED IN: DBLP
DBLP140
TITLE: Learning hybrid locomotion skills-Learn to exploit residual actions and modulate model-based gait control
AUTHORS: Kasaei, Mohammadreza; Abreu, Miguel; Lau, Nuno ; Pereira, Artur; Reis, Luis Paulo ; Li, Zhibin;
PUBLISHED: 2023, SOURCE: FRONTIERS IN ROBOTICS AND AI, VOLUME: 10
AUTHORS: Kasaei, Mohammadreza; Abreu, Miguel; Lau, Nuno ; Pereira, Artur; Reis, Luis Paulo ; Li, Zhibin;
PUBLISHED: 2023, SOURCE: FRONTIERS IN ROBOTICS AND AI, VOLUME: 10
