CS: Computer Science
CS: Computer 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: 10650
536 Team MembersFilters -> Year: 2026
AUTORES: Zhenjiang Hu; Hugo Pacheco ; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: 19th International Symposium on Formal Methods, FM 2014 in FM, VOLUME: 8442 LNCS, PÁGINAS: 1-15
AUTORES: Diogo Henriques; Isabel Trancoso; Daniel Mendes ; Alfredo Ferreira ;
PUBLICAÇÃO: 2014, FONTE: INTERSPEECH, PÁGINAS: 1618-1622
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2014, PÁGINAS: 456
AUTORES: Fabio Pinto da Costa; Alvaro Cunha ; Gabriel David ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on Structural Dynamics (EURODYN) in EURODYN 2014: IX INTERNATIONAL CONFERENCE ON STRUCTURAL DYNAMICS, VOLUME: 2014-January, PÁGINAS: 2407-2412
AUTORES: Benjamim Fonseca ; Hugo Paredes ; Paulo Martins ; André Alberto; José Rego; Leonel Morgado ; Arnaldo Santos ;
PUBLICAÇÃO: 2014, FONTE: HCI (5), VOLUME: 8514 LNCS, NÚMERO: PART 2, PÁGINAS: 38-49
AUTORES: Rui Sarmento ; Mário Cordeiro ; João Gama ;
PUBLICAÇÃO: 2014, FONTE: NFMCP, VOLUME: 8983, PÁGINAS: 117-131
AUTORES: Sacramento, C; Paiva, ACR ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PÁGINAS: 105-115
AUTORES: Domingues, MA; Jorge, AM ; Soares, C ; Rezende, SO;
PUBLICAÇÃO: 2014, FONTE: Integration of Data Mining in Business Intelligence Systems, PÁGINAS: 120-142
AUTORES: Sílvia Pinhão; Rui Poinhos; Bela Franchini; Cláudia Afonso; Pedro Moreira; Vitor H Teixeira; Olívia Pinho; Diana Silva; JPL Reis; M.T. Veríssimo; Bruno Oliveira ; Maria D V d Almeida; Flora Correia;
PUBLICAÇÃO: 2014
HandleAUTORES: Gomes, F; Lopes, JC ; Palma, JL ; Ribeiro, LF;
PUBLICAÇÃO: 2014, FONTE: 5th Science of Making Torque from Wind Conference in SCIENCE OF MAKING TORQUE FROM WIND 2014 (TORQUE 2014), VOLUME: 524, NÚMERO: 1, PÁGINAS: 012006
AUTORES: Radu Dobrin; Peter Wallin; Ana C R Paiva ; Myra B Cohen;
PUBLICAÇÃO: 2014, FONTE: WISE@ASE
AUTORES: David Barriopedro; David Gallego; Carmen Alvarez Castro, MC; Ricardo Garcia Herrera; Dennis Wheeler; Cristina Pena Ortiz; Susana M Barbosa ;
PUBLICAÇÃO: 2014, FONTE: CLIMATE DYNAMICS, VOLUME: 43, NÚMERO: 3-4, PÁGINAS: 939-955
AUTORES: Francisco Cruz ; Francisco Maia ; Rui Oliveira ; Ricardo Vilaça ;
PUBLICAÇÃO: 2014, FONTE: SAC, PÁGINAS: 399-404
AUTORES: Tao Zan; Hugo Pacheco ; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: ICSE Companion, PÁGINAS: 488-491
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
AUTORES: Miguel Chover; António Augusto de Sousa ;
PUBLICAÇÃO: 2013, FONTE: Eurographics (Posters)
AUTORES: Lopes, JB ; Cravino, JP ; Maia, AM; Morgado, L ; Martins, P ; Cruz, G ; Fernandes, P; Pinheiro, A;
PUBLICAÇÃO: 2013, FONTE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13), PÁGINAS: 6-10
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4, PÁGINAS: 783-825
AUTORES: Jeffrey Schaller; Jorge M S Valente ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 51, NÚMERO: 3, PÁGINAS: 772-779
AUTORES: Martinez Angeles, CA; Dutra, I ; Costa, VS; Buenabad Chavez, J;
PUBLICAÇÃO: 2013, FONTE: Kiel Declarative Programming Days 2013 - 20th Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming, WFLP 2013 and 27th WLP 2013 in Technische Berichte des Instituts fur Informatik der Christian-Albrechts-Universitat zu Kiel, NÚMERO: 1306 REPORT NO., PÁGINAS: 239-253