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: 2691
85 Team MembersFilters -> Year: 2024
281
TITLE: Quantitative Weak Linearisation
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
282
TITLE: Quantum Software Frameworks for Deep Learning
AUTHORS: Filipa Ramos Ferreira; João Paulo Fernandes ; Rui Abreu;
PUBLISHED: 2022, SOURCE: Quantum Software Engineering, PAGES: 281-302
AUTHORS: Filipa Ramos Ferreira; João Paulo Fernandes ; Rui Abreu;
PUBLISHED: 2022, SOURCE: Quantum Software Engineering, PAGES: 281-302
283
TITLE: Reinforcement Learning for Multi-Agent Competitive Scenarios
AUTHORS: Manuel Coutinho; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2022, Santa Maria da Feira, Portugal, April 29-30, 2022, PAGES: 130-135
AUTHORS: Manuel Coutinho; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2022, Santa Maria da Feira, Portugal, April 29-30, 2022, PAGES: 130-135
INDEXED IN: 
DBLP
DBLP284
TITLE: Reinforcement Learning for Multi-Agent Competitive Scenarios
AUTHORS: Coutinho, Manuel; Reis, Luis Paulo ;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 130-135
AUTHORS: Coutinho, Manuel; Reis, Luis Paulo ;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 130-135
INDEXED IN: 
Scopus 
WOS
Scopus WOS285
TITLE: Reinforcement Learning for Multi-Agent Competitive Scenarios
AUTHORS: Manuel Coutinho; Luis Paulo Reis ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC)
AUTHORS: Manuel Coutinho; Luis Paulo Reis ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC)
INDEXED IN: 
CrossRef
CrossRef286
TITLE: Report on women in logic 2020 & 2021
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
INDEXED IN: DBLP
DBLP287
TITLE: SECOM: Towards a convention for security commit messages
AUTHORS: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLISHED: 2022, SOURCE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022), PAGES: 764-765
AUTHORS: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLISHED: 2022, SOURCE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022), PAGES: 764-765
INDEXED IN: Scopus WOS
Scopus WOS288
TITLE: Smart City Drivers and Challenges in Urban-Mobility, Health-Care, and Interdependent Infrastructure Systems
AUTHORS: Farid, AM; Alshareef, M; Badhesha, PS; Boccaletti, C; Cacho, NAA; Carlier, CI; Corriveau, A; Khayal, I; Liner, B; Martins, JSB; Rahimi, F ; Rossett, R; Schoonenberg, WCH; Stillwell, A; Wang, Y;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.00730, ISSUE: 1, PAGES: 11-16
AUTHORS: Farid, AM; Alshareef, M; Badhesha, PS; Boccaletti, C; Cacho, NAA; Carlier, CI; Corriveau, A; Khayal, I; Liner, B; Martins, JSB; Rahimi, F ; Rossett, R; Schoonenberg, WCH; Stillwell, A; Wang, Y;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.00730, ISSUE: 1, PAGES: 11-16
INDEXED IN: Scopus DBLP
Scopus DBLP289
TITLE: Special Issue on Computer Architecture and High-Performance Computing
AUTHORS: Barbosa, Jorge G. ; Drummond, Lucia M. A.; Lefevre, Laurent;
PUBLISHED: 2022, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 168, PAGES: 137-138
AUTHORS: Barbosa, Jorge G. ; Drummond, Lucia M. A.; Lefevre, Laurent;
PUBLISHED: 2022, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 168, PAGES: 137-138
INDEXED IN: Scopus WOS
Scopus WOS290
TITLE: Special Issue on Computer Architecture and High-Performance Computing
AUTHORS: Jorge G Barbosa ; Lúcia M A Drummond; Laurent Lefèvre;
PUBLISHED: 2022, SOURCE: J. Parallel Distributed Comput., VOLUME: 168, PAGES: 137-138
AUTHORS: Jorge G Barbosa ; Lúcia M A Drummond; Laurent Lefèvre;
PUBLISHED: 2022, SOURCE: J. Parallel Distributed Comput., VOLUME: 168, PAGES: 137-138
INDEXED IN: DBLP
DBLP291
TITLE: Stereo Based 3D Perception for Obstacle Avoidance in Autonomous Wheelchair Navigation
AUTHORS: Bruno Gomes; Jose M Torres ; Pedro Sobral; Armando Sousa ; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: ROBOT 2022: Fifth Iberian Robotics Conference - Advances in Robotics, Volume 1, Zaragoza, Spain, 23-25 November 2022, VOLUME: 589, PAGES: 321-332
AUTHORS: Bruno Gomes; Jose M Torres ; Pedro Sobral; Armando Sousa ; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: ROBOT 2022: Fifth Iberian Robotics Conference - Advances in Robotics, Volume 1, Zaragoza, Spain, 23-25 November 2022, VOLUME: 589, PAGES: 321-332
INDEXED IN: DBLP
DBLP292
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
293
TITLE: Structuring Best Practices of Search Engine Optimization for Webpages
AUTHORS: Ribeiro Issa, Riaze Miguel; Marques dos Santos, José Paulo ;
PUBLISHED: 2022, SOURCE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PAGES: 191-209
AUTHORS: Ribeiro Issa, Riaze Miguel; Marques dos Santos, José Paulo ;
PUBLISHED: 2022, SOURCE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PAGES: 191-209
294
TITLE: SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes
AUTHORS: Pieter W M Koopman; Mart Lubbers; João Paulo Fernandes ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.13993
AUTHORS: Pieter W M Koopman; Mart Lubbers; João Paulo Fernandes ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.13993
INDEXED IN: DBLP
DBLP295
TITLE: The case for blockchain in IoT identity management
AUTHORS: Sousa, PR ; Resende, JS ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2022, SOURCE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, ISSUE: 6, PAGES: 1477-1505
AUTHORS: Sousa, PR ; Resende, JS ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2022, SOURCE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, ISSUE: 6, PAGES: 1477-1505
296
TITLE: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607 Full Text
AUTHORS: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PAGES: 101638
AUTHORS: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PAGES: 101638
297
TITLE: Therapeutic Use of VR Serious Games in the Treatment of Negative Schizophrenia Symptoms: A Systematic Review Full Text
AUTHORS: Miranda, Beatriz; Moreira, Pedro Miguel; Romero, Luis; Rego, Paula Alexandra ;
PUBLISHED: 2022, SOURCE: HEALTHCARE, VOLUME: 10, ISSUE: 8, PAGES: 1497
AUTHORS: Miranda, Beatriz; Moreira, Pedro Miguel; Romero, Luis; Rego, Paula Alexandra ;
PUBLISHED: 2022, SOURCE: HEALTHCARE, VOLUME: 10, ISSUE: 8, PAGES: 1497
298
TITLE: Threat Detection and Mitigation with Honeypots: A Modular Approach for IoT
AUTHORS: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022 in Trust, Privacy and Security in Digital Business - 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings, VOLUME: 13582, PAGES: 66-80
AUTHORS: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022 in Trust, Privacy and Security in Digital Business - 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings, VOLUME: 13582, PAGES: 66-80
299
TITLE: Towards XAI: Interpretable Shallow Neural Network Used to Model HCP's fMRI Motor Paradigm Data
AUTHORS: Dos Santos, Jose Diogo Marques; Marques dos Santos, José Paulo ;
PUBLISHED: 2022, SOURCE: 9th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO) in BIOINFORMATICS AND BIOMEDICAL ENGINEERING, PT II, VOLUME: 13347 LNBI, PAGES: 260-274
AUTHORS: Dos Santos, Jose Diogo Marques; Marques dos Santos, José Paulo ;
PUBLISHED: 2022, SOURCE: 9th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO) in BIOINFORMATICS AND BIOMEDICAL ENGINEERING, PT II, VOLUME: 13347 LNBI, PAGES: 260-274
300
TITLE: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 462-480
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 462-480
