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: 25021
1714 Team MembersFilters -> Year: 2026
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
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 I, VOLUME: 6415, NÚMERO: PART 1, PÁGINAS: 106-120
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PÁGINAS: 62-63
AUTORES: Facao, M ; Carvalho, MI ; Latas, SC ; Ferreira, MF ;
PUBLICAÇÃO: 2010, FONTE: PHYSICS LETTERS A, VOLUME: 374, NÚMERO: 48, PÁGINAS: 4844-4847
AUTORES: Oliveira, JB ; Araujo, AD; Dias, SM;
PUBLICAÇÃO: 2010, FONTE: CONTROL ENGINEERING PRACTICE, VOLUME: 18, NÚMERO: 6, PÁGINAS: 577-584
AUTORES: Travassos Valdez, MM; Faustino Agreira, CI ; Machado Ferreira, CM ; Maciel Barbosa, FP ;
PUBLICAÇÃO: 2010, FONTE: 2010 45th International Universities' Power Engineering Conference, UPEC 2010 in Proceedings of the Universities Power Engineering Conference
AUTORES: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLICAÇÃO: 2010, FONTE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PÁGINAS: 2:1-2:9
AUTORES: Amarolinda Zanela Saccol; Eliane Schlemmer ; Jorge L V Barbosa; Nicolau Reinhard;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the IADIS International Conference Mobile Learning 2010, PÁGINAS: 230-234
AUTORES: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2010, FONTE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PÁGINAS: 706-711
AUTORES: Tiago Silveira ; Humberto C B de Oliveira; Ricardo M Salgado; Luiz Eduardo da Silva; Geraldo R Mateus;
PUBLICAÇÃO: 2010, FONTE: IEEE Congress on Evolutionary Computation
CrossRefAUTORES: Jose A Faria ; Eusebio Nunes; Manuel A Matos ;
PUBLICAÇÃO: 2010, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 48, NÚMERO: 6, PÁGINAS: 1653-1684
AUTORES: Ferreira, PM; Maniatis, M; Nachtmann, O; Joao P Silva ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF HIGH ENERGY PHYSICS, VOLUME: 2010, NÚMERO: 8
AUTORES: Miguel L Silva; Joao Canas Ferreira ;
PUBLICAÇÃO: 2010, FONTE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PÁGINAS: 80-87
AUTORES: Antonio Amaral ; Madalena Araujo ;
PUBLICAÇÃO: 2010, FONTE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PÁGINAS: 66-69
AUTORES: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, NÚMERO: 12, PÁGINAS: 3227-3236
AUTORES: Jose Cabral; Hugo Paredes ; Joao Varajao ; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLICAÇÃO: 2010, FONTE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PÁGINAS: 2748-2754
AUTORES: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLICAÇÃO: 2010, FONTE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, NÚMERO: PART 1, PÁGINAS: 131-137
AUTORES: Goncalo Silva; Joao Costa; Tiago Magalhaes; Luis Paulo Reis ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PÁGINAS: 576-581
AUTORES: Carlos Soares ; Rayid Ghani;
PUBLICAÇÃO: 2010, VOLUME: 218
AUTORES: Carlos Soares ; Rayid Ghani;
PUBLICAÇÃO: 2010, FONTE: Data Mining for Business Applications, VOLUME: 218, PÁGINAS: 1-14
AUTORES: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 1-8