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: 18057
1699 Team MembersFilters -> Year: 2024
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
AUTHORS: Baptista, JM ; Santos, JL ; Lage, AS;
PUBLISHED: 2000, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 181, ISSUE: 4-6, PAGES: 287-294
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PAGES: 267-282
AUTHORS: Grade G Tavares Vitor ; Principe Jose, C; Harris John, G;
PUBLISHED: 2000, SOURCE: Proceedings of the IEEE 2000 Internaitonal Symposium on Circuits and Systems in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 5
AUTHORS: Ferreira, LA; Araujo, FM; Santos, JL ; Farahi, F;
PUBLISHED: 2000, SOURCE: OPTICAL ENGINEERING, VOLUME: 39, ISSUE: 8, PAGES: 2226-2234
AUTHORS: Malheiro, B ; Oliveira, E ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 146-155
AUTHORS: de Almeida, JMMM ; Leite, AMPP ; Amin, J;
PUBLISHED: 2000, SOURCE: Conference on Rare-Earth-Doped Materials and Devices IV in RARE-EARTH-DOPED MATERIALS AND DEVICES IV, VOLUME: 3942, PAGES: 232-242
AUTHORS: Ferreira, LA; Araujo, FM; Santos, JL ; Farahi, F;
PUBLISHED: 2000, SOURCE: 14th International Conference on Optical Fiber Sensors in 14TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 4185, PAGES: 5-8
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4, PAGES: 211-215
AUTHORS: Teles, P ; Wei, WWS;
PUBLISHED: 2000, SOURCE: COMPUTATIONAL STATISTICS & DATA ANALYSIS, VOLUME: 34, ISSUE: 1, PAGES: 91-103
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PAGES: 1285-1299
AUTHORS: João Gama ;
PUBLISHED: 2000, SOURCE: AI Commun., VOLUME: 13, ISSUE: 2, PAGES: 135-136
AUTHORS: Nunes, AM; Silva, JP ;
PUBLISHED: 2000, SOURCE: AMERICAN JOURNAL OF PHYSICS, VOLUME: 68, ISSUE: 11, PAGES: 1042-1049
AUTHORS: Oliveira, JF ; Gomes, AM ; Ferreira, JS ;
PUBLISHED: 2000, SOURCE: OR SPEKTRUM, VOLUME: 22, ISSUE: 2, PAGES: 263-284
AUTHORS: Nunes, NJ ; Cunha, JFE ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on the Unified Modeling Language (UML 2000) in UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, VOLUME: 1939, PAGES: 101-116
AUTHORS: Costa, P ; Marques, P ; Moreira, A ; Sousa, A ; Costa, P ;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856, PAGES: 286-291
AUTHORS: Oliveira, PM ; Barroso, V ;
PUBLISHED: 2000, SOURCE: 10th IEEE Workshop on Statistical Signal and Array Processing in PROCEEDINGS OF THE TENTH IEEE WORKSHOP ON STATISTICAL SIGNAL AND ARRAY PROCESSING, PAGES: 607-611
AUTHORS: Quinn, HR; SIlva, JP ;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW D, VOLUME: 62, ISSUE: 5, PAGES: 1-10
AUTHORS: Silva, JP ;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW D, VOLUME: 62, ISSUE: 11, PAGES: 1-12