Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Tecnologia e Ciência (INESC TEC) :: 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: 1120
37 Team MembersFilters -> Year: 2024
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5, PÁGINAS: 681-696
AUTORES: Antonio Pinto ; Manuel Ricardo ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER COMMUNICATIONS, VOLUME: 34, NÚMERO: 14, PÁGINAS: 1708-1721
AUTORES: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 2-3, PÁGINAS: 235-262
AUTORES: Jan Wielemaker; Vitor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PÁGINAS: 69-83
AUTORES: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: 2011 11th International Conference on Intelligent Systems Design and Applications, ISDA'11 in International Conference on Intelligent Systems Design and Applications, ISDA, PÁGINAS: 469-474
AUTORES: Salvador Abreu ; Vítor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.4993
AUTORES: Ricardo Queirós ; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
AUTORES: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, NÚMERO: 3, PÁGINAS: 616-627
AUTORES: Ricardo Rocha ; John Launchbury;
PUBLICAÇÃO: 2011, FONTE: PADL, VOLUME: 6539
AUTORES: Rocha, R ; Launchbury, J;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
AUTORES: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PÁGINAS: 77-86
AUTORES: Flávio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3779
AUTORES: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLICAÇÃO: 2011, FONTE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, NÚMERO: 3, PÁGINAS: 151-164
AUTORES: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6936 LNCS, PÁGINAS: 271-278
AUTORES: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLICAÇÃO: 2011, FONTE: International Journal of High Performance Systems Architecture, VOLUME: 3, NÚMERO: 2-3, PÁGINAS: 137-148
AUTORES: Antunes, M ; Manuel E. Correia ;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Artificial Immune Systems, ICARIS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6825 LNCS, PÁGINAS: 334-347
AUTORES: Ricardo Queirós; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the European Conference on E-Learning
AUTORES: Ricardo Queiros ; Jose Paulo Leal ;
PUBLICAÇÃO: 2011, FONTE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 637-645
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: Technology Enhanced Learning TECH-EDUCATION'11