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: 6820
112 Team MembersFilters -> Year: 2024
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PÁGINAS: 287-298
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340, PÁGINAS: 287-298
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PÁGINAS: 287-298
AUTORES: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PÁGINAS: 423-433
AUTORES: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PÁGINAS: 423-433
AUTORES: Fernando Costa; Paulo Ferreira ;
PUBLICAÇÃO: 2015, FONTE: 5th International Workshop on Cloud Data and Platforms, CloudDP 2015 in Proceedings of the 5th International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2015, Bordeaux, France, April 21-24, 2015, PÁGINAS: 4:1-4:6
AUTORES: Couceiro, M; Didona, D; Rodrigues, L ; Romano, P;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913, PÁGINAS: 418-448
AUTORES: Nuno Diegues; Paolo Romano ;
PUBLICAÇÃO: 2015, FONTE: PARALLEL COMPUTING, VOLUME: 50, PÁGINAS: 25-52
AUTORES: Ivo Gonçalves ; Sara Silva; Carlos M Fonseca;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PÁGINAS: 280-285
AUTORES: Md Moinul Hoque; Paulo Quaresma ;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the Forum for Information Retrieval Evaluation on - FIRE '14
AUTORES: Agustin A S Sanchez de la Nieta; Renata F M Martins; Tiago A M Tavares; Joao C O Matias; João P. S. Catalão ; Javier Contreras;
PUBLICAÇÃO: 2015, FONTE: General Meeting of the IEEE-Power-and-Energy-Society in 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLUME: 2015-September
AUTORES: Osorio, GJ; Matias, JCO; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: RENEWABLE ENERGY, VOLUME: 75, PÁGINAS: 301-307
AUTORES: Dario Nascimento; Miguel Correia ;
PUBLICAÇÃO: 2015, FONTE: 2015 IEEE 35th International Conference on Distributed Computing Systems in 2015 IEEE 35th International Conference on Distributed Computing Systems, VOLUME: 2015-July, PÁGINAS: 653-663
AUTORES: Pinto, T ; Barreto, J ; Praca, I; Sousa, TM; Vale, Z; Pires, EJS ;
PUBLICAÇÃO: 2015, FONTE: DECISION SUPPORT SYSTEMS, VOLUME: 79, PÁGINAS: 1-11
AUTORES: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255, PÁGINAS: 173-182
AUTORES: Mendes, TDP; Godina, R; Rodrigues, EMG; Matias, JCO; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: IEEE 5th International Conference on Power Engineering, Energy and Electrical Drives in 2015 IEEE 5TH INTERNATIONAL CONFERENCE ON POWER ENGINEERING, ENERGY AND ELECTRICAL DRIVES (POWERENG), VOLUME: 2015-September, PÁGINAS: 377-382
AUTORES: Tiago D P Mendes; Radu Godina; Eduardo M G Rodrigues; Joao C O Matias; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: ENERGIES, VOLUME: 8, NÚMERO: 7, PÁGINAS: 7279-7311
AUTORES: Ozan Erdinc; Nikolaos G Paterakis; Tiago D P Mendes; Anastasios G Bakirtzis; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 6, NÚMERO: 3, PÁGINAS: 1281-1291
AUTORES: Erdinc, O; Paterakis, NG; João P. S. Catalão ; Pappi, IN; Bakirtzis, AG;
PUBLICAÇÃO: 2015, FONTE: 48th Annual Hawaii International Conference on System Sciences (HICSS) in 2015 48TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), VOLUME: 2015-March, PÁGINAS: 1462-1471
AUTORES: Manuel Ferreira; Joao Paiva; Manuel Bravo; Luis Rodrigues ;
PUBLICAÇÃO: 2015, FONTE: IEEE 7th International Conference on Cloud in 2015 IEEE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), PÁGINAS: 1-8