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: 8567
531 Team MembersFilters -> Year: 2025
AUTORES: Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 471-476
AUTORES: deMoura, FS ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 307-312
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTORES: Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 409-414
AUTORES: Gopal Gupta; Vítor Santos Costa ; Enrico Pontelli;
PUBLICAÇÃO: 1995, FONTE: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, PÁGINAS: 824
![](/img/dblp_icon.png)
AUTORES: António Augusto de Sousa ;
PUBLICAÇÃO: 1995
![](/img/dblp_icon.png)
AUTORES: BRITO, P ;
PUBLICAÇÃO: 1995, FONTE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 55, NÚMERO: 2, PÁGINAS: 277-297
AUTORES: Paula Brito ;
PUBLICAÇÃO: 1995, FONTE: Annals OR, VOLUME: 55, NÚMERO: 2, PÁGINAS: 277-297
![](/img/dblp_icon.png)
AUTORES: José Paulo Leal ;
PUBLICAÇÃO: 1994, FONTE: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, VOLUME: 844, PÁGINAS: 451-452
![](/img/dblp_icon.png)
![](/img/crossref.png)
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906, PÁGINAS: 420-436
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1994, FONTE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PÁGINAS: 349-364
AUTORES: Gopal Gupta; Manuel V Hermenegildo; Enrico Pontelli; Vítor Santos Costa ;
PUBLICAÇÃO: 1994, FONTE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PÁGINAS: 93-109
![](/img/dblp_icon.png)
AUTORES: Vítor Santos Costa ; Manuel E. Correia ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, PÁGINAS: 32-41
![](/img/dblp_icon.png)
AUTORES: Donald Michie; Rui Camacho ;
PUBLICAÇÃO: 1994, FONTE: Machine Intelligence 13, PÁGINAS: 385-418
![](/img/dblp_icon.png)
AUTORES: Pavel Brazdil ; João Gama ; Bob Henery;
PUBLICAÇÃO: 1994, FONTE: Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings, VOLUME: 784, PÁGINAS: 83-102
AUTORES: BAQUERO, C ; MOURA, F ;
PUBLICAÇÃO: 1994, FONTE: SIGPLAN NOTICES, VOLUME: 29, NÚMERO: 7, PÁGINAS: 61-67
AUTORES: MACKAY, RS; PINTO, AA ; VANZEIJTS, JBJ;
PUBLICAÇÃO: 1994, FONTE: PHYSICS LETTERS A, VOLUME: 190, NÚMERO: 5-6, PÁGINAS: 412-416
AUTORES: Pavel Brazdil ; Alípio Jorge ;
PUBLICAÇÃO: 1994, FONTE: ECAI, PÁGINAS: 443-447
![](/img/dblp_icon.png)
AUTORES: Gopal Gupta; Vítor Santos Costa ;
PUBLICAÇÃO: 1994, FONTE: Future Generation Comp. Syst., VOLUME: 10, NÚMERO: 1, PÁGINAS: 71-92
AUTORES: SILVA, FMA ;
PUBLICAÇÃO: 1994, FONTE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, PÁGINAS: 203-215
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTORES: BRITO, P ;
PUBLICAÇÃO: 1994, FONTE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 6, NÚMERO: 5, PÁGINAS: 830-835