Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
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: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
![](/img/dblp_icon.png)
AUTHORS: Filipa Falcao Reis; Manuel E Correia ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTHORS: Wielemaker, J; Santos Costa, VS ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3796, PAGES: 05
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74, PAGES: 33-41
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
AUTHORS: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTHORS: Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: COMPUTER NETWORKS, VOLUME: 54, ISSUE: 10, PAGES: 1531-1542
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988, PAGES: 121-130
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ; Duarte Ferreira;
PUBLISHED: 2010, SOURCE: 9th International Conference on Advances in Web-Based Learning in ADVANCES IN WEB-BASED LEARNING-ICWL 2010, VOLUME: 6483, PAGES: 141-150
AUTHORS: Marzulo, LAJ; Alves, TAO; Franc, FMG; Costa, VS ;
PUBLISHED: 2010, SOURCE: 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA 2010 in Proceedings - 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA, PAGES: 31-36
AUTHORS: Mario J Antunes ; Manuel E Correia ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
AUTHORS: Moura, P ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3773, PAGES: 04
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)
AUTHORS: Ricardo Queiros ; Lino Oliveira ; Mario Pinto; Candida Silva;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 812-815
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
AUTHORS: Gustavo Santos; Álvaro Figueira ;
PUBLISHED: 2010, SOURCE: 10th IEEE International Conference on Advanced Learning Technologies, ICALT 2010 in ICALT 2010, 10th IEEE International Conference on Advanced Learning Technologies, Sousse, Tunesia, 5-7 July 2010, PAGES: 676-678
AUTHORS: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PAGES: 205-219
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2009, SOURCE: 8th European Conference on e-Learning in PROCEEDINGS OF THE 8TH EUROPEAN CONFERENCE ON E-LEARNING, PAGES: 132-139
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)