Instituto de Engenharia de Sistemas e Computadores (INESC ID)
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: 6881
112 Team MembersFilters -> Year: 2024
AUTORES: Anton Belov; Alexander Ivrii; Arie Matsliah; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PÁGINAS: 298-311
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242, PÁGINAS: 913-914
AUTORES: Ilic, A ; Sousa, L ;
PUBLICAÇÃO: 2012, FONTE: 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012 in Proceedings - 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012, PÁGINAS: 426-433
AUTORES: Pierangelo Di Sanzo; Bruno Ciciani; Roberto Palmieri; Francesco Quaglia; Paolo Romano ;
PUBLICAÇÃO: 2012, FONTE: PERFORMANCE EVALUATION, VOLUME: 69, NÚMERO: 5, PÁGINAS: 187-205
AUTORES: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012), PÁGINAS: 448-453
AUTORES: Rui Henriques; Ana Paiva ; Antunes, Claudia ;
PUBLICAÇÃO: 2012, FONTE: 8th International Workshop on Agents and Data Mining Interaction, ADMI 2012 in Agents and Data Mining Interaction - 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers, VOLUME: 7607, PÁGINAS: 203-215
AUTORES: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, PÁGINAS: 75-84
AUTORES: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.6253
AUTORES: Hartmann, A; Vinga, S ; Lemos, JM ;
PUBLICAÇÃO: 2012, FONTE: Universite Libre de Bruxelles in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 16, NÚMERO: PART 1, PÁGINAS: 1294-1299
AUTORES: Pousinho, HMI ; Contreras, J; João P. S. Catalão ;
PUBLICAÇÃO: 2012, FONTE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTORES: Sara Silva ; Stephen Dignum; Leonardo Vanneschi ;
PUBLICAÇÃO: 2012, FONTE: GENETIC PROGRAMMING AND EVOLVABLE MACHINES, VOLUME: 13, NÚMERO: 2, PÁGINAS: 197-238
AUTORES: Santos, J; Pedro, J; Eira, A; Monteiro, P ; Pires, J ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE 13th International Conference on High Performance Switching and Routing, HPSR 2012 in 2012 IEEE 13th International Conference on High Performance Switching and Routing, HPSR 2012, PÁGINAS: 204-209
AUTORES: João P. S. Catalão ; Pousinho, HMI ; Contreras, J;
PUBLICAÇÃO: 2012, FONTE: ENERGY, VOLUME: 37, NÚMERO: 1, PÁGINAS: 237-244
AUTORES: João P. S. Catalão ; Pousinho, HMI ; Mendes, VMF ;
PUBLICAÇÃO: 2012, FONTE: IEEE SYSTEMS JOURNAL, VOLUME: 6, NÚMERO: 2, PÁGINAS: 270-277
AUTORES: João P. S. Catalão ; Hugo M I Pousinho; Victor M F Mendes;
PUBLICAÇÃO: 2012, FONTE: IEEE Systems Journal, VOLUME: 6, NÚMERO: 2, PÁGINAS: 270-277
AUTORES: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLICAÇÃO: 2012, FONTE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 1-27
AUTORES: Zhang, JH; Xiao, C; Strane, JW; Venigalla, R; Economikos, L; Hall, L; Chen, J; Stoll, DC; Wallner, J; Zhuang, H; Ferreira, P ; Kleemeier, W; Goldberg, C; Moon, Y; Truong, C; Sudijono, J; Chen, X; Sampson, R;
PUBLICAÇÃO: 2012, FONTE: 2011 MRS Spring Meeting in Materials Research Society Symposium Proceedings, VOLUME: 1335, PÁGINAS: 35-40
AUTORES: Pascoa, C; Aveiro, D ; Tribolet, J ;
PUBLICAÇÃO: 2012, FONTE: 4th Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2012 in Lecture Notes in Business Information Processing, VOLUME: 120 LNBIP, PÁGINAS: 18-47
AUTORES: Thomas Pellegrini; Wang Ling; André Silva; Rui Correia; Isabel Trancoso ; Jorge Baptista ; Nuno J Mamede ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, Volume 2, Porto, Portugal, 16-18 April, 2012, VOLUME: 2, PÁGINAS: 538-543
AUTORES: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2, PÁGINAS: 89-94