CS: Computer Science
CS: Computer Science
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: 8434
531 Team MembersFilters -> Year: 2024
AUTORES: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PÁGINAS: 284-299
AUTORES: Dalila B Fontes; Fernando A Fontes ;
PUBLICAÇÃO: 2006
AUTORES: Ezequiel Silva; Joaquim Faias; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2006, FONTE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PÁGINAS: 805-820
AUTORES: Alipio M Jorge ; Fernando Pereira; Paulo J Azevedo ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PÁGINAS: 301-305
AUTORES: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLICAÇÃO: 2006
AUTORES: Barbosa, S ; Silva, ME ; Fernandes, MJ ;
PUBLICAÇÃO: 2006, FONTE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 26, NÚMERO: 5, PÁGINAS: 581-593
AUTORES: Duarte, FJF; Fred, ALN ; Rodrigues, F ; Duarte, JMM ; Lourenco, A;
PUBLICAÇÃO: 2006, FONTE: 6th International Workshop on Pattern Recognition in Information Systems, PRIS 2006, in Conjunction with ICEIS 2006 in Proceedings of the 6th International Workshop on Pattern Recognition in Information Systems, PRIS 2006, in Conjunction with ICEIS 2006, PÁGINAS: 104-116
AUTORES: Ricardo Campos ; Gaeal Dias; Celia Nunes ;
PUBLICAÇÃO: 2006, FONTE: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006) in 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings), PÁGINAS: 301-304
AUTORES: Camacho, R ; Alves, A; da Costa, JP ; Azevedo, P ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 235-235
AUTORES: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PÁGINAS: 229-245
AUTORES: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLICAÇÃO: 2005
AUTORES: Carla T Lopes ; Gabriel David;
PUBLICAÇÃO: 2005
AUTORES: Paulo Oliveira; Fátima Rodrigues ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2005, FONTE: 10th International Conference on Information Quality, ICIQ 2005 in Proceedings of the 2005 International Conference on Information Quality (MIT IQ Conference), Sponsored by Lockheed Martin, MIT, Cambridge, MA, USA, November 10-12, 2006
AUTORES: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PÁGINAS: 69-86
AUTORES: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLICAÇÃO: 2005, FONTE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PÁGINAS: 131-138
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PÁGINAS: 450-464
AUTORES: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLICAÇÃO: 2005, FONTE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PÁGINAS: 509-514
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PÁGINAS: 23-48
AUTORES: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLICAÇÃO: 2005, FONTE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PÁGINAS: 179-207
AUTORES: Edgar Pimenta; Joao Gama ;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PÁGINAS: 218-223