Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and 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: 18407
1699 Team MembersFilters -> Year: 2024
AUTORES: Ferreira, M ; Rocha, R ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PÁGINAS: 710-713
AUTORES: Mendonca, JT ; Guerreiro, A ; Crespo, H ;
PUBLICAÇÃO: 2004, FONTE: Conference on Photon Management in PHOTON MANAGEMENT, VOLUME: 5456, PÁGINAS: 11-18
AUTORES: Pereira, N ; Tovar, E ; Pinho, LM ;
PUBLICAÇÃO: 2004, FONTE: 5th IEEE International Workshop on Factory Communication Systems in WFCS 2004: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, PÁGINAS: 13-21
AUTORES: Ferreira, L ; Tovar, E ;
PUBLICAÇÃO: 2004, FONTE: 5th IEEE International Workshop on Factory Communication Systems in WFCS 2004: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, PÁGINAS: 81-90
AUTORES: Novoa, H ; Fernandes, M; Ramos, N; Cunha, JFE ;
PUBLICAÇÃO: 2004, FONTE: eChallenges e-2004 Conference in EADOPTION AND THE KNOWLEDGE ECONOMY: ISSUES, APPLICATIONS, CASE STUDIES, PTS 1 AND 2, VOLUME: 1, PÁGINAS: 543-550
AUTORES: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004
AUTORES: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLICAÇÃO: 2004, FONTE: Math. Struct. Comput. Sci., VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
AUTORES: Ricardo Vilalta; Christophe Giraud G Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLICAÇÃO: 2004, FONTE: IJCSA, VOLUME: 1, NÚMERO: 1, PÁGINAS: 31-45
AUTORES: Miranda, V ; Monteiro, C ; de Leao, TP;
PUBLICAÇÃO: 2004, FONTE: Conference on Probabilistic Methods Applied to Power Systems (PMAPS 2002) in COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING, VOLUME: 23, NÚMERO: 1, PÁGINAS: 197-208
AUTORES: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLICAÇÃO: 2004, FONTE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, PÁGINAS: 87-96
AUTORES: Baptista, JM ; Abad, S; Rego, GM ; Ferreira, LA; Araujo, FM; Santos, JL ; Lage, AS;
PUBLICAÇÃO: 2004, FONTE: OPTICAL ENGINEERING, VOLUME: 43, NÚMERO: 3, PÁGINAS: 702-707
AUTORES: Luis A Gomes ; Xiang, N; Jouhti, T; O.G Okhotnikov; Hotoleanu, M; Salomaa, A; Tammela, S;
PUBLICAÇÃO: 2003, FONTE: Frontiers in Optics
AUTORES: Coelho, AF ; Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 2003, FONTE: 7th International Conference on Electronic Publishing in FROM INFORMATION TO KNOWLEDGE, PÁGINAS: 278-287
AUTORES: O.G Okhotnikov; Luis A Gomes ; Xiang, N; Jouhti, T; A.K Chin; Singh, R; A.B Grudinin;
PUBLICAÇÃO: 2003, FONTE: IEEE Photonics Technology Letters, VOLUME: 15, NÚMERO: 11, PÁGINAS: 1519-1521
AUTORES: Moreira, PJ; Marques, PV ; Antonio M P P Leite;
PUBLICAÇÃO: 2003, FONTE: 19th Congress of the International Commission for Optics: Optics for the Quality of Life
AUTORES: Mario J N Lima; Antonio L J Teixeira; Orlando Frazao ; Paulo S B Andre; Jose R F da Rocha;
PUBLICAÇÃO: 2003, FONTE: Photonics, Devices, and Systems II
AUTORES: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLICAÇÃO: 2003, FONTE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
AUTORES: Tomas, AP ; Leal, JP ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PÁGINAS: 223-240
AUTORES: Morais, R ; Valente, A ; Correia, JH ; Couto, C;
PUBLICAÇÃO: 2003, FONTE: IEEE International Symposium on Industrial Electronics in 2003 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: II, PÁGINAS: 952-955