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: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLICAÇÃO: 2012, FONTE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, PÁGINAS: 165-176
AUTORES: Elisabete Cunha; Alvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PÁGINAS: 74-81
AUTORES: Hugo Pacheco ;
PUBLICAÇÃO: 2012
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PÁGINAS: 105-120
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2012, FONTE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
AUTORES: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PÁGINAS: 108-125
AUTORES: Drury, B; Torgo, L ; Almeida, JJ ;
PUBLICAÇÃO: 2012, FONTE: International Journal of Computer Science and Applications, VOLUME: 9, NÚMERO: 1, PÁGINAS: 1-22
AUTORES: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2012, FONTE: 21st International Conference on Pattern Recognition (ICPR) in 2012 21ST INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR 2012), PÁGINAS: 2428-2431
AUTORES: Domingues, MA; Gouyon, F ; Jorge, AM ; Leal, JP ; Vinagre, J ; Lemos, L; Sordo, M;
PUBLICAÇÃO: 2012, FONTE: 21st Annual Conference on World Wide Web, WWW'12 in WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion, PÁGINAS: 925-929
AUTORES: Joao Mendes Moreira ; Alipio Mario Jorge ; Jorge Freire de Sousa ; Carlos Soares ;
PUBLICAÇÃO: 2012, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, NÚMERO: 3, PÁGINAS: 427-449
AUTORES: Sarvenaz Choobdar ; Pedro Ribeiro ; Sylwia Bugla ; Fernando Silva ;
PUBLICAÇÃO: 2012, FONTE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining in 2012 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PÁGINAS: 147-152
AUTORES: José Paulo Leal ; Vânia Rodrigues; Ricardo Queirós ;
PUBLICAÇÃO: 2012, FONTE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PÁGINAS: 133-147
AUTORES: Fonseca, NA ; Santos Costa, V ; Camacho, R ;
PUBLICAÇÃO: 2012, FONTE: 21st International Conference on InductiveLogic Programming, ILP 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7207 LNAI, PÁGINAS: 145-159
AUTORES: Andreia Teixeira ; Armando Matos ; Luis Antunes ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON INFORMATION THEORY, VOLUME: 58, NÚMERO: 7, PÁGINAS: 4273-4277
AUTORES: Jose Devezas ; Henrique Alves; Alvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: International MultiConference of Engineers and Computer Scientists (IMECS 2012) in INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, VOLUME: 1, PÁGINAS: 446-451
AUTORES: Escudeiro, NF ; Jorge, AM ;
PUBLICAÇÃO: 2012, FONTE: Journal of the Brazilian Computer Society, VOLUME: 18, NÚMERO: 4, PÁGINAS: 311-330
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PÁGINAS: 127-140
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PÁGINAS: 98-113
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PÁGINAS: 296-312
AUTORES: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLICAÇÃO: 2012, FONTE: ECEASST, VOLUME: 49