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: 3694
86 Team MembersFilters -> Year: 2026
AUTORES: Abreu, P ; Faria, M; Reis, LP ; Gargarnta, J;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1001.3368
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: High. Order Symb. Comput., VOLUME: 23, NÚMERO: 1, PÁGINAS: 1-27
AUTORES: Faria, BM ; Reis, LP ; Lau, N ; Castillo, G;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PÁGINAS: 344-349
AUTORES: Urbano, J ; Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2010, FONTE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PÁGINAS: 264-273
AUTORES: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLICAÇÃO: 2010, FONTE: Encyclopedia of Machine Learning, PÁGINAS: 662-666
CrossRefAUTORES: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, NÚMERO: PART 2, PÁGINAS: 191-+
AUTORES: Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2010, FONTE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948, PÁGINAS: 51-67
AUTORES: Vitor Matos; Cristina P Santos ;
PUBLICAÇÃO: 2010, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems in IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), PÁGINAS: 3392-3397
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2010, FONTE: FPT, PÁGINAS: 437-440
AUTORES: Adriano K Sanches; João M P Cardoso ;
PUBLICAÇÃO: 2010, FONTE: FPL, PÁGINAS: 267-270
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2010, FONTE: FPL, PÁGINAS: 263-266
AUTORES: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLICAÇÃO: 2010, FONTE: IEEE International Symposium on Industrial Electronics (ISIE) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), PÁGINAS: 3063-3068
AUTORES: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLICAÇÃO: 2010, FONTE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PÁGINAS: 243-263
AUTORES: Augusta P Silveira ; Joaquim Goncalves ; Teresa Sequeira ; Claudia Ribeiro; Carlos Lopes ; Eurico Monteiro ; Francisco L Pimentel ;
PUBLICAÇÃO: 2010, FONTE: HEAD & NECK ONCOLOGY, VOLUME: 2, NÚMERO: 1, PÁGINAS: 32
AUTORES: Correia, FF ; Ferreira, HS ; Aguiar, A ; Flores, N ;
PUBLICAÇÃO: 2010, FONTE: 16th Conference on Pattern Languages of Programs, PLoP09 in ACM International Conference Proceeding Series
AUTORES: Bento, J; Teles, P ; Silva, L; Nogueira, P ; Neves, M; Vaz, P ;
PUBLICAÇÃO: 2010, FONTE: RADIATION MEASUREMENTS, VOLUME: 45, NÚMERO: 2, PÁGINAS: 190-195
AUTORES: Marco M Mendes; Francisco Restivo ; Paulo Leitao ; Armando W Colombo;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314, PÁGINAS: 233-240
AUTORES: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLICAÇÃO: 2010, FONTE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
AUTORES: Luis Paulo Reis ; Rui Lopes; Luis Mota ; Nuno Lau ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PÁGINAS: 582-587