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: 2665
83 Team MembersFilters -> Year: 2024
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 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, PAGES: 3:1-3:36
AUTHORS: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 14, ISSUE: 4, PAGES: 118-128
AUTHORS: Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: ENTROPY, VOLUME: 21, ISSUE: 12, PAGES: 1196
AUTHORS: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2019, SOURCE: 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, PAGES: 36-51
AUTHORS: LOPES, S. I. ; Sanne Bogers; Pedro Miguel Moreira; António Curado;
PUBLISHED: 2019, SOURCE: 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, PAGES: 90-101
AUTHORS: de Oliveira, EL; José Manuel Torres ; Moreira, RS ; de Lima, RAF;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 930, PAGES: 958-968
AUTHORS: Rubio, TRPM; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - Lecture Notes in Computer Science, PAGES: 277-280
AUTHORS: Rubio, TRPM; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 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, PAGES: 277-280
AUTHORS: Jonas Queiroz ; Paulo Leitão; José Barbosa ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 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, PAGES: 130-144
AUTHORS: Jaap van den Herik; Ana Paula Rocha ; Luc Steels;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jaap van den Herik; Ana Paula Rocha ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jaap van v den Herik; Ana Paula Rocha ;
PUBLISHED: 2019, SOURCE: ICAART (Revised Selected Papers), VOLUME: 11352
AUTHORS: Jaap van v den Herik; Ana Paula Rocha ; Luc Steels;
PUBLISHED: 2019, SOURCE: ICAART (Revised Selected Papers), VOLUME: 11978
AUTHORS: Jonas Queiroz; Paulo Leitão; José Barbosa; Eugénio Oliveira ; Gisela García;
PUBLISHED: 2019, SOURCE: 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, PAGES: 379-391
AUTHORS: Durieux, T; Abreu, R ; Monperrus, M; Bissyande, TF; Cruz, L;
PUBLISHED: 2019, SOURCE: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), PAGES: 291-295
AUTHORS: Eliana Silva ; Joyce Aguiar; Alexandra Oliveira ; Brígida Mónica Faria ; Luís Paulo Reis ; Victor Carvalho; Joaquim Gonçalves; Jorge Oliveira e Sá;
PUBLISHED: 2019, SOURCE: 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, PAGES: 607-617
AUTHORS: Ferreira, PJS; Magalhaes, RMC; Garcia, KD; Cardoso, JMP ; Mendes Moreira, J ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2019, PT I, VOLUME: 11871, PAGES: 486-493
AUTHORS: Gonçalo Lopes; João Paulo Fernandes ; Luís Paquete;
PUBLISHED: 2019, SOURCE: 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, PAGES: 375-391
AUTHORS: Paterson, D; Campos, J ; Abreu, R ; Kapfhammer, GM; Fraser, G; McMinn, P;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 346-357