Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory
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.
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 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
AUTORES: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PÁGINAS: 3:1-3:36
AUTORES: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 14, NÚMERO: 4, PÁGINAS: 118-128
AUTORES: Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLICAÇÃO: 2019, FONTE: ENTROPY, VOLUME: 21, NÚMERO: 12, PÁGINAS: 1196
AUTORES: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLICAÇÃO: 2019, FONTE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306, PÁGINAS: 36-51
AUTORES: LOPES, S. I. ; Sanne Bogers; Pedro Miguel Moreira; António Curado;
PUBLICAÇÃO: 2019, FONTE: 5th EAI International Smart City 360 Summit, 2019 in Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PÁGINAS: 90-101
AUTORES: Evandro Lopes de Oliveira; Jose M Torres ; Rui S Moreira ; Rafael Alexandre França de Lima;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 1, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, 2019, VOLUME: 930, PÁGINAS: 958-968
AUTORES: Thiago R P M Rúbio; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 11523, PÁGINAS: 277-280
AUTORES: Jonas Queiroz ; Paulo Leitão; José Barbosa ; Eugénio Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 9th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2019 in Industrial Applications of Holonic and Multi-Agent Systems - 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings, VOLUME: 11710, PÁGINAS: 130-144
AUTORES: Jaap van den Herik; Ana Paula Rocha ; Luc Steels;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
AUTORES: Jaap van den Herik; Ana Paula Rocha ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
AUTORES: Jaap van v den Herik; Ana Paula Rocha ;
PUBLICAÇÃO: 2019, FONTE: ICAART (Revised Selected Papers), VOLUME: 11352
AUTORES: Jaap van v den Herik; Ana Paula Rocha ; Luc Steels;
PUBLICAÇÃO: 2019, FONTE: ICAART (Revised Selected Papers), VOLUME: 11978
AUTORES: Jonas Queiroz; Paulo Leitão; José Barbosa; Eugénio Oliveira ; Gisela García;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 9th Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, SOHOMA 2019, Valencia, Spain, October 3-4, 2019, VOLUME: 853, PÁGINAS: 379-391
AUTORES: Durieux, T; Abreu, R ; Monperrus, M; Bissyande, TF; Cruz, L;
PUBLICAÇÃO: 2019, FONTE: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), PÁGINAS: 291-295
AUTORES: Eliana Silva ; Joyce Aguiar; Alexandra Oliveira ; Brígida Mónica Faria ; Luís Paulo Reis ; Victor Carvalho; Joaquim Gonçalves; Jorge Oliveira e Sá;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PÁGINAS: 607-617
AUTORES: Ferreira, PJS; Magalhaes, RMC; Garcia, KD; Cardoso, JMP ; Mendes Moreira, J ;
PUBLICAÇÃO: 2019, FONTE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2019, PT I, VOLUME: 11871, PÁGINAS: 486-493
AUTORES: Gonçalo Lopes; João Paulo Fernandes ; Luís Paquete;
PUBLICAÇÃO: 2019, FONTE: 8th Central European Functional Programming School, CEFP 2019 in Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PÁGINAS: 375-391
AUTORES: Paterson, D; Campos, J ; Abreu, R ; Kapfhammer, GM; Fraser, G; McMinn, P;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 346-357
AUTORES: Vidal, FR; Gouveia, F; Christophe Soares ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC) in 2019 INTERNATIONAL CONFERENCE ON CYBER-ENABLED DISTRIBUTED COMPUTING AND KNOWLEDGE DISCOVERY (CYBERC), PÁGINAS: 28-33