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: Rodrigues, EMG; Fernandes, CAS; Godina, R; Bizuayehu, AW; João P. S. Catalão ;
PUBLICAÇÃO: 2014, FONTE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
AUTORES: Marcos Taveira ; Carla Sousa; Patricia Valentao ; Federico Ferreres; Joao P Teixeira; Paula B Andrade ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF STEROID BIOCHEMISTRY AND MOLECULAR BIOLOGY, VOLUME: 140, PÁGINAS: 106-115
AUTORES: Angelo Cardoso; Andreas Wichert ;
PUBLICAÇÃO: 2014, FONTE: NEURAL NETWORKS, VOLUME: 49, PÁGINAS: 32-38
AUTORES: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLICAÇÃO: 2014, FONTE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC), PÁGINAS: 156-164
AUTORES: Martins, JC; Caeiro, JJ; Sousa, LA ;
PUBLICAÇÃO: 2014, FONTE: 22nd European Signal Processing Conference, EUSIPCO 2014 in European Signal Processing Conference, PÁGINAS: 1217-1221
AUTORES: João Marques Silva ; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561, PÁGINAS: 58-74
AUTORES: Andre Pessoa Negrao; Miguel Adaixo; Luis Veiga ; Paulo Ferreira ;
PUBLICAÇÃO: 2014, FONTE: 13th IEEE International Symposium on Network Computing and Applications (NCA) in 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), PÁGINAS: 71-74
AUTORES: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014, PÁGINAS: 8:1-8:8
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561, PÁGINAS: 103-120
AUTORES: Paolo Romano ; Roberto Palmieri; Francesco Quaglia; Nuno Carvalho; Luis Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 80, NÚMERO: 1, PÁGINAS: 257-276
AUTORES: Fábio Andrade Botelho; Alysson Neves Bessani ; Fernando M V Ramos; Paulo Ferreira ;
PUBLICAÇÃO: 2014, FONTE: Third European Workshop on Software Defined Networks, EWSDN 2014, Budapest, Hungary, September 1-3, 2014, PÁGINAS: 73-78
AUTORES: Botelho, F; Bessani, A ; Ramos, FMV; Ferreira, P ;
PUBLICAÇÃO: 2014, FONTE: 3rd European Workshop on Software-Defined Networks, EWSDN 2014 in Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, VOLUME: abs/1407.6062, PÁGINAS: 73-78
AUTORES: Diegues, N; Romano, P ; Rodrigues, L ;
PUBLICAÇÃO: 2014, FONTE: 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2014 in SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, PÁGINAS: 547-548
AUTORES: Paulo Martins; Leonel Sousa ;
PUBLICAÇÃO: 2014, FONTE: 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2014 in 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshop, SBAC-PAD Workshop 2014, Paris, France, October 22-24, 2014, VOLUME: 22-24-October-2014, PÁGINAS: 48-53
AUTORES: Antonio Leitao ; Sara Proenca;
PUBLICAÇÃO: 2014, FONTE: 32nd International Conference on Education and Research in Computer Aided Architectural Design in Europe (eCAADe) in FUSION: DATA INTEGRATION AT ITS BEST, VOL 1, PÁGINAS: 257-266
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2014, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21, PÁGINAS: 31
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 9, NÚMERO: 1, PÁGINAS: 59-81
AUTORES: Orlando Agostinho; Carlos Mendes; Miguel Mira da Silva ; Jose Tribolet;
PUBLICAÇÃO: 2014, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 275, NÚMERO: VOLUME 1, PÁGINAS: 337-346
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS, PÁGINAS: 438-445
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561, PÁGINAS: 438-445