Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 2665

83 Team Members
Filters -> Year: 2024
261
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
INDEXED IN: Scopus DBLP CrossRef
262
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
INDEXED IN: Scopus DBLP CrossRef
263
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
INDEXED IN: DBLP
264
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
INDEXED IN: Scopus WOS
265
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)
INDEXED IN: CrossRef
266
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
INDEXED IN: DBLP
267
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
INDEXED IN: Scopus WOS
268
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
INDEXED IN: Scopus DBLP
269
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
INDEXED IN: Scopus WOS
270
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
INDEXED IN: DBLP
271
TITLE: Stereo Based 3D Perception for Obstacle Avoidance in Autonomous Wheelchair Navigation
AUTHORS: Bruno Gomes; José Manuel 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
272
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
INDEXED IN: Scopus DBLP CrossRef: 1
273
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
INDEXED IN: Scopus WOS CrossRef
275
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
INDEXED IN: Scopus WOS DBLP CrossRef: 20
276
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
277
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
INDEXED IN: Scopus WOS CrossRef Handle
278
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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
279
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
INDEXED IN: Scopus WOS CrossRef
280
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
INDEXED IN: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 14 de 134. Total de resultados: 2665.