Departamento de Ciências dos Computadores (DCC)
Department of 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: 2644
43 Team MembersFilters -> Year: 2025
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PÁGINAS: 1393
AUTORES: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 151-167
AUTORES: Francesco Renna ; Miguel T Coimbra ;
PUBLICAÇÃO: 2019, FONTE: 2019 Computing in Cardiology, CinC 2019 in 46th Computing in Cardiology, CinC 2019, Singapore, September 8-11, 2019, VOLUME: 2019-September, PÁGINAS: 1-4
AUTORES: José Proença ; Alexandre Madeira ;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761, PÁGINAS: 186-193
AUTORES: David Aparicio ; Pedro Ribeiro ; Milenkovic, Tijana ; Fernando Silva ;
PUBLICAÇÃO: 2019, FONTE: BIOINFORMATICS, VOLUME: 35, NÚMERO: 18, PÁGINAS: 3527-3529
AUTORES: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLICAÇÃO: 2019, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, NÚMERO: 3, PÁGINAS: 497-522
AUTORES: Colin Bellinger; Paula Branco ; Luís Torgo ;
PUBLICAÇÃO: 2019, FONTE: Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PÁGINAS: 3-17
AUTORES: Bellinger, C; Branco, P ; Torgo, L ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Discovery Science, DS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11828 LNAI, PÁGINAS: 3-17
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.04606
AUTORES: Eduarda Portel; Rita P Ribeire ; Joao Gama ;
PUBLICAÇÃO: 2019, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 23, NÚMERO: 1, PÁGINAS: 23-39
AUTORES: Castro, M; Araújo, RJ ; Campo Deaño, L ; Oliveira, HP ;
PUBLICAÇÃO: 2019, FONTE: 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019 in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2019, PT II, VOLUME: 11868, PÁGINAS: 508-519
AUTORES: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PÁGINAS: 25-30
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2019, FONTE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053, PÁGINAS: 84-120
AUTORES: Gomes, S; Valerio, MT; Salgado, M; Oliveira, HP ; Cunha, A ;
PUBLICAÇÃO: 2019, FONTE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS2019--INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/PROJMAN2019--INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/HCIST2019--INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 164, PÁGINAS: 602-609
AUTORES: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLICAÇÃO: 2019, FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 2, PÁGINAS: 68-71
AUTORES: Diogo Fernandes; Inês Dutra ;
PUBLICAÇÃO: 2019, FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 1, PÁGINAS: 64-66
AUTORES: Jorge Oliveira ; Marcelo Nogueira ; Cleber Ramos; Francesco Renna ; Carlos Ferreira ; Miguel Coimbra ;
PUBLICAÇÃO: 2019, FONTE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 6669-6672
AUTORES: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel Joao Ferreira; Sandra Mattos; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2019, FONTE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, NÚMERO: 1, PÁGINAS: 305-313
AUTORES: Inês Areosa; Luís Torgo ;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence, 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II., VOLUME: 11805, PÁGINAS: 473-485
AUTORES: Cunha, JPS ; Rodrigues, S; Dias, D ; Brandão, P ; Aguiar, A ; Oliveira, I; Fernandes, JM ; Maia, C; Tedim, AR; Barros, A; Azuaje, O; Soares, E; De La Torre, F;
PUBLICAÇÃO: 2019, FONTE: Wearable Technologies and Wireless Body Sensor Networks for Healthcare, PÁGINAS: 387-416