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: 18531
1699 Team MembersFilters -> Year: 2024
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825, PÁGINAS: 37-52
AUTORES: Tinka, A; Diemer, S; Madureira, L; Marques, EB ; Borges B de Sousa; Martins, R; Pinto, J ; Estrela E da Silva ; Sousa, A; Saint Pierre, P; Bayen, AM;
PUBLICAÇÃO: 2009, FONTE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, PÁGINAS: 3603-3610
AUTORES: Luis F. Teixeira ; Luis Corte Real ;
PUBLICAÇÃO: 2009, FONTE: PATTERN RECOGNITION LETTERS, VOLUME: 30, NÚMERO: 2, PÁGINAS: 157-167
AUTORES: Fernandes, J ; Cunha, J ; Tafula, S ; Brandao, S; Bastos B Leite ; Ramos, I;
PUBLICAÇÃO: 2009, FONTE: 28th International Epilespy Congress in EPILEPSIA, VOLUME: 50, PÁGINAS: 130-130
AUTORES: Dores, RA; Carvalho, I ; Abreu, C; Nunes, J; Leitao, M ; Castro Caldas, A;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PÁGINAS: 31-36
AUTORES: Costa, R ; Paulo Novais ; Lima, L ; Carneiro, D ; Samico, D; Oliveira, J; José Machado ; Neves, J ;
PUBLICAÇÃO: 2009, FONTE: 1st International Conference on Electronic Healthcare in ELECTRONIC HEALTHCARE, VOLUME: 1, PÁGINAS: 138-144
AUTORES: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ;
PUBLICAÇÃO: 2009, FONTE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, NÚMERO: PART 2, PÁGINAS: 1043-1046
AUTORES: Telmo Fonseca; Cristina Ribeiro ; Cristina Granja ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 33, NÚMERO: 1, PÁGINAS: 47-57
AUTORES: Jose Martins ; Filipa Moura; Antonio Pereira; Carlos Rabadao ; Joao Barroso ; Ramiro Goncalves ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PÁGINAS: 43-48
AUTORES: Jose Almeida; Hugo Fernandes ; Vitor Filipe ; Joao Barroso ;
PUBLICAÇÃO: 2009, FONTE: 3rd International Conference on New Trends in Information and Service Science (NISS 2009) in 2009 INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION AND SERVICE SCIENCE (NISS 2009), VOLS 1 AND 2, PÁGINAS: 1112-+
AUTORES: Richter Trummer, V; Tavares, SMO ; Peixoto, DFC; Susana O. Silva ; Frazao, O ; Moreira, PMGP ; De Castro, PMST ;
PUBLICAÇÃO: 2009, FONTE: 3rd International Conference on Advances and Trends in Engineering Materials and their Applications, AES-ATEMA'2009 in AES-ATEMA International Conference Series - Advances and Trends in Engineering Materials and their Applications, PÁGINAS: 73-79
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PÁGINAS: 39-+
AUTORES: Ademar Aguiar; Nuno Flores ; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 5th International Symposium on Wikis and Open Collaboration - WikiSym '09
AUTORES: Ademar Aguiar ; Nuno Flores ; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: 5th International Symposium on Wikis and Open Collaboration, WiKiSym 2009 in Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009
AUTORES: Ademar Aguiar ; Uri Dekel; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: 31st International Conference on Software Engineering (ICSE 2009) in 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, PÁGINAS: 480-+
AUTORES: Figueira, A ; Cunha, E;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
AUTORES: Lopes, IS; Leitao, AF ; Pereira, GAB ;
PUBLICAÇÃO: 2009, FONTE: European Safety and Reliability Conference (ESREL)/17th Annual Meeting of the Society-for-Risk-Analysis-Europe (SRA-Europe) in SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, VOLUME: 1, PÁGINAS: 675-683
AUTORES: Joao Leito ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2009, FONTE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 236-245
AUTORES: Castro, CC; Silva, JS; Lopes, VV; Martins, RC ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PÁGINAS: 169-178
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PÁGINAS: 44-55