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: 8274
531 Team MembersFilters -> Year: 2024
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PÁGINAS: 3-20
AUTORES: Agra, A; Cerveira, A ; Requejo, C;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Logistics, PÁGINAS: 215-227
AUTORES: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PÁGINAS: 264-269
AUTORES: Heitor Murilo Gomes; Jesse Read; Albert Bifet; Jean Paul Barddal; João Gama ;
PUBLICAÇÃO: 2019, FONTE: SIGKDD Explorations, VOLUME: 21, NÚMERO: 2, PÁGINAS: 6-22
AUTORES: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLICAÇÃO: 2019, FONTE: Engineering in Agriculture, Environment and Food, VOLUME: 12, NÚMERO: 4, PÁGINAS: 443-450
AUTORES: Finn Kuusisto; Vítor Santos Costa ; Zhonggang Hou; James A Thomson; David Page; Ron M Stewart;
PUBLICAÇÃO: 2019, FONTE: 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019 in 18th IEEE International Conference On Machine Learning And Applications, ICMLA 2019, Boca Raton, FL, USA, December 16-19, 2019, PÁGINAS: 293-298
AUTORES: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PÁGINAS: 1155
AUTORES: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PÁGINAS: 1607-1622
AUTORES: Andreia Conceição; João Gama ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Discovery Science, DS 2019 in Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PÁGINAS: 145-154
AUTORES: Homayouni, SM ; Khayyambashi, A; Fontes, DBMM ; Fernandes, JC ;
PUBLICAÇÃO: 2019, FONTE: 3rd Eu International Conference on Industrial Engineering and Operations Management,IEOM 2019 in Proceedings of the International Conference on Industrial Engineering and Operations Management, NÚMERO: July, PÁGINAS: 1265-1274
AUTORES: Raut, UR; Pawar, PA; Brito, PQ ; Sisodia, GS;
PUBLICAÇÃO: 2019, FONTE: Spanish Journal of Marketing - ESIC, VOLUME: 23, NÚMERO: 2, PÁGINAS: 295-318
AUTORES: Umesh Ramchandra Raut; Prafulla Arjun Pawar; Pedro Quelhas Brito ; Gyanendra Singh Sisodia;
PUBLICAÇÃO: 2019, FONTE: Spanish Journal of Marketing - ESIC, VOLUME: 23, NÚMERO: 2, PÁGINAS: 295-318
AUTORES: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLICAÇÃO: 2019, FONTE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PÁGINAS: 71-94
AUTORES: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2019, FONTE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PÁGINAS: 188-195
AUTORES: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
AUTORES: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLICAÇÃO: 2019, FONTE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
AUTORES: Leonardo Torres Marques; Angélica Félix De Castro; Bruno Torres Marques; Jesaias Carvalho Pereira Silva; Paulo Gabriel Gadelha Queiroz ;
PUBLICAÇÃO: 2019, FONTE: RENOTE, VOLUME: 17, NÚMERO: 3, PÁGINAS: 194-203
AUTORES: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2019, FONTE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PÁGINAS: 11:1-11:17
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2019, FONTE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PÁGINAS: 271-279
AUTORES: Cátia Silva; David Melo; Filipe Barros; Joana Conceição; Ramiro Gonçalves ; Manuel Au Yong Oliveira ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PÁGINAS: 452-462