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: 2837

85 Team Members
Filters -> Year: 2025
381
TÍTULO: Report on women in logic 2020 & 2021
AUTORES: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLICAÇÃO: 2022, FONTE: ACM SIGLOG News, VOLUME: 9, NÚMERO: 2, PÁGINAS: 31-33
INDEXADO EM: DBLP
382
TÍTULO: SECOM: Towards a convention for security commit messages. towards a convention for security commit messages
AUTORES: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLICAÇÃO: 2022, FONTE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022), PÁGINAS: 764-765
INDEXADO EM: Scopus WOS CrossRef: 3
383
TÍTULO: Smart City Drivers and Challenges in Urban-Mobility, Health-Care, and Interdependent Infrastructure Systems
AUTORES: 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;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2212.00730, NÚMERO: 1, PÁGINAS: 11-16
INDEXADO EM: Scopus DBLP
384
TÍTULO: Special Issue on Computer Architecture and High-Performance Computing
AUTORES: Barbosa, Jorge G. ; Drummond, Lucia M. A.; Lefevre, Laurent;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 168, PÁGINAS: 137-138
INDEXADO EM: Scopus WOS
385
TÍTULO: Special Issue on Computer Architecture and High-Performance Computing
AUTORES: Jorge G Barbosa ; Lúcia M A Drummond; Laurent Lefèvre;
PUBLICAÇÃO: 2022, FONTE: J. Parallel Distributed Comput., VOLUME: 168, PÁGINAS: 137-138
INDEXADO EM: DBLP
386
TÍTULO: Structural Rules and Algebraic Properties of Intersection Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 60-77
INDEXADO EM: Scopus DBLP CrossRef: 1
387
TÍTULO: Structuring Best Practices of Search Engine Optimization for Webpages
AUTORES: Ribeiro Issa, Riaze Miguel; Marques dos Santos, José Paulo ;
PUBLICAÇÃO: 2022, FONTE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PÁGINAS: 191-209
INDEXADO EM: Scopus WOS CrossRef
389
TÍTULO: Syrius: Synthesis of Rules for Intrusion Detectors  Full Text
AUTORES: Alcantara, L; Padilha, G; Abreu, R ; d'Amorim, M;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, NÚMERO: 1, PÁGINAS: 370-381
INDEXADO EM: Scopus WOS CrossRef
390
TÍTULO: Team Bruce Banner at Touché 2022: Argument Retrieval for Controversial Questions PDF
AUTORES: Bernardo C Moreira; Henrique Lopes Cardoso ; Bruno Martins; Fábio Goularte;
PUBLICAÇÃO: 2022, FONTE: 2022 Conference and Labs of the Evaluation Forum, CLEF 2022 in Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to - 8th, 2022., VOLUME: 3180, PÁGINAS: 3055-3063
INDEXADO EM: Scopus DBLP
391
TÍTULO: The case for blockchain in IoT identity management
AUTORES: Sousa, PR ; Resende, JS ; Rolando Martins ; Antunes, L ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, NÚMERO: 6, PÁGINAS: 1477-1505
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
392
TÍTULO: The Engineering Implications of Code Maintenance in Practice
AUTORES: Noah Lee; Rui Abreu ; Mehmet Yatbaz; Hang Qu; Nachiappan Nagappan;
PUBLICAÇÃO: 2022, FONTE: Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022, PÁGINAS: 568-577
INDEXADO EM: Scopus CrossRef
393
TÍTULO: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607  Full Text
AUTORES: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2022, FONTE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PÁGINAS: 101638
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
394
TÍTULO: Therapeutic Use of VR Serious Games in the Treatment of Negative Schizophrenia Symptoms: A Systematic Review  Full Text
AUTORES: Miranda, Beatriz; Moreira, Pedro Miguel; Romero, Luis; Rego, Paula Alexandra ;
PUBLICAÇÃO: 2022, FONTE: HEALTHCARE, VOLUME: 10, NÚMERO: 8, PÁGINAS: 1497
INDEXADO EM: Scopus WOS CrossRef Handle
395
TÍTULO: Threat Detection and Mitigation with Honeypots: A Modular Approach for IoT
AUTORES: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 66-80
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
396
TÍTULO: Towards XAI: Interpretable Shallow Neural Network Used to Model HCP's fMRI Motor Paradigm Data
AUTORES: Dos Santos, Jose Diogo Marques; Marques dos Santos, José Paulo ;
PUBLICAÇÃO: 2022, FONTE: 9th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO) in BIOINFORMATICS AND BIOMEDICAL ENGINEERING, PT II, VOLUME: 13347 LNBI, PÁGINAS: 260-274
INDEXADO EM: Scopus WOS CrossRef
397
TÍTULO: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTORES: Pedro Ângelo; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 462-480
INDEXADO EM: Scopus DBLP CrossRef: 2
398
TÍTULO: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PÁGINAS: 123-141
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
399
TÍTULO: Using Simulation to Evaluate a Tube Perception Algorithm for Bin Picking
AUTORES: Leao, Goncalo ; Costa, Carlos M. ; Sousa, A. ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLICAÇÃO: 2022, FONTE: ROBOTICS, VOLUME: 11, NÚMERO: 2, PÁGINAS: 46
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
400
TÍTULO: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTORES: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PÁGINAS: 24-34
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 20 de 142. Total de resultados: 2837.