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: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312, PÁGINAS: 473-489
AUTORES: Abad, A ; Rodriguez Fuentes, LJ; Penagarikano, M; Varona, A; Bordel, G;
PUBLICAÇÃO: 2013, FONTE: 14th Annual Conference of the International-Speech-Communication-Association (INTERSPEECH 2013) in 14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, PÁGINAS: 20-24
AUTORES: Leonel Sousa ; Samuel Antao; Ricardo Chaves ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 21, NÚMERO: 10, PÁGINAS: 1945-1949
AUTORES: Xavier Vilaca; Luis Rodrigues ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2013, VOLUME: 8255, PÁGINAS: 206-220
AUTORES: Alysson Neves Bessani ; Marcel Santos; João Felix; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2013, FONTE: 2013 USENIX Annual Technical Conference, USENIX ATC 2013 in 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013, PÁGINAS: 169-180
AUTORES: Tiglao, NMC; Grilo, AM ;
PUBLICAÇÃO: 2013, FONTE: 2013 9th International Conference on the Design of Reliable Communication Networks, DRCN 2013 in 2013 9th International Conference on the Design of Reliable Communication Networks, DRCN 2013, PÁGINAS: 226-233
AUTORES: Pedro Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel P Correia ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 10, NÚMERO: 5, PÁGINAS: 301-313
AUTORES: Joao Paulo Carvalho ;
PUBLICAÇÃO: 2013, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 214, PÁGINAS: 6-19
AUTORES: Sidiropoulos, P; Mezaris, V; Kompatsiaris, I; Meinedo, H ; Bugalho, M; Trancoso, I ;
PUBLICAÇÃO: 2013, FONTE: 11th International Workshop on Image Analysis for Multimedia Interactive Services in Lecture Notes in Electrical Engineering, VOLUME: 158 LNEE, PÁGINAS: 3-19
AUTORES: Pratas, F; Andrade, J; Falcao, G ; Silva, V; Sousa, L ;
PUBLICAÇÃO: 2013, FONTE: IEEE Global Conference on Signal and Information Processing (GlobalSIP) in 2013 IEEE GLOBAL CONFERENCE ON SIGNAL AND INFORMATION PROCESSING (GLOBALSIP), PÁGINAS: 1274-1277
AUTORES: Verveckken, J; Silva, JF ; Driesen, J;
PUBLICAÇÃO: 2013, FONTE: IEEE EuroCon 2013 in IEEE EuroCon 2013, PÁGINAS: 823-830
AUTORES: Miguel Barao ;
PUBLICAÇÃO: 2013, FONTE: 21st Mediterranean Conference on Control and Automation (MED) in 2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PÁGINAS: 1490-1494
AUTORES: Oksana Denysyuk; Luis Rodrigues ;
PUBLICAÇÃO: 2013, FONTE: 33rd IEEE International Conference on Distributed Computing Systems (ICDCS) in 2013 IEEE 33RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), PÁGINAS: 276-285
AUTORES: Miguel E Coimbra; Francisco Fernandes; Luís M S Russo ; Ana T Freitas ;
PUBLICAÇÃO: 2013, FONTE: 20th European MPI Users' Group Meeting, EuroMPI 2013 in 20th European MPI Users's Group Meeting, EuroMPI '13, Madrid, Spain - September 15 - 18, 2013, PÁGINAS: 241-246
AUTORES: Anton Belov; Norbert Manthey; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962, PÁGINAS: 133-149
AUTORES: Portelo, A; Lemos, JM ; Vinga, S ; Ruy M Ribeiro; Cruz, JP; Valadas, E ;
PUBLICAÇÃO: 2013, FONTE: 21st Mediterranean Conference on Control and Automation (MED) in 2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PÁGINAS: 691-696
AUTORES: Daniela Borges; Alfredo Ferreira ;
PUBLICAÇÃO: 2013, FONTE: 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2013, COMMUNICATION PAPERS PROCEEDINGS, PÁGINAS: 210-219
AUTORES: Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., PÁGINAS: 818-825
AUTORES: Batista, NC; Melicio, R ; Matias, JCO ; João P. S. Catalão ;
PUBLICAÇÃO: 2013, FONTE: ENERGY, VOLUME: 49, NÚMERO: 1, PÁGINAS: 306-315
AUTORES: Sena, D; Pereira, J; Costa, V ;
PUBLICAÇÃO: 2013, FONTE: 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2013 in 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2013 - Communication Papers Proceedings, PÁGINAS: 49-59