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: 1167
37 Team MembersFilters -> Year: 2024
AUTHORS: Jan Wielemaker; Vitor Santos Costa ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PAGES: 69-83
AUTHORS: Costa, J; Silva, C; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2011, SOURCE: 2011 11th International Conference on Intelligent Systems Design and Applications, ISDA'11 in International Conference on Intelligent Systems Design and Applications, ISDA, PAGES: 469-474
AUTHORS: Salvador Abreu ; Vítor Santos Costa ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.4993
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)
AUTHORS: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 3, PAGES: 616-627
AUTHORS: Ricardo Rocha ; John Launchbury;
PUBLISHED: 2011, SOURCE: PADL, VOLUME: 6539
AUTHORS: Pedro Ferreira ; Nuno A Fonseca ; Ines Dutra ; Ryan Woods; Elizabeth Burnside ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (BIBM) in 2011 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM 2011), PAGES: 339-344
AUTHORS: Rocha, R ; Launchbury, J;
PUBLISHED: 2011, SOURCE: 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
![](/img/scopus_icon.png)
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2011, SOURCE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PAGES: 77-86
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)
AUTHORS: Pedro Ferreira ; Ines Dutra ; Nano A Fonseca ; Ryan Woods; Elizabeth Burnside ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 337-342
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTHORS: Tiago Silva; Ines Dutra ;
PUBLISHED: 2011, SOURCE: International Conference on Digital Information Processing and Communications (ICDIPC 2011) in DIGITAL INFORMATION PROCESSING AND COMMUNICATIONS, PT 1, VOLUME: 188, ISSUE: PART 1, PAGES: 118-131
AUTHORS: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLISHED: 2011, SOURCE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, ISSUE: 3, PAGES: 151-164
![](/img/scopus_icon.png)
AUTHORS: Costa, J; Silva, C; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 271-278
AUTHORS: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLISHED: 2011, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 3, ISSUE: 2-3, PAGES: 137-148
AUTHORS: Antunes, M ; Correia, ME ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 334-347
AUTHORS: Ricardo Queiros ; Jose Paulo Leal ;
PUBLISHED: 2011, SOURCE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PAGES: 637-645
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTHORS: Silva, A; Figueira, A ;
PUBLISHED: 2011, SOURCE: IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, VOLUME: 2, PAGES: 207-210
![](/img/scopus_icon.png)
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 2, PAGES: 256-266
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 279-293
AUTHORS: Figueira, A ; Felix, C ; Ferreira, C;
PUBLISHED: 2010, SOURCE: 8th IASTED International Conference on Web-Based Education, WBE 2010 in Proceedings of the 8th IASTED International Conference on Web-Based Education, WBE 2010, PAGES: 108-113