Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
Publications Actions
Publications at Authenticus Institutional Profile
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.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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: 1130
37 Team MembersFilters -> Year: 2025
941
TITLE: Design of a repository of programming problem
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2008, SOURCE: ACM-ICPC 2nd Competitive Learning Symposium - CLIS 2008
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2008, SOURCE: ACM-ICPC 2nd Competitive Learning Symposium - CLIS 2008
INDEXED IN: 
Handle
Handle942
TITLE: Early introduction of competitive programming
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2008, SOURCE: International Conference Joint with the 20th International Olympiad in Informatics, IOI 2008 in Olympiads in Informatics, VOLUME: 2, PAGES: 149-162
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2008, SOURCE: International Conference Joint with the 20th International Olympiad in Informatics, IOI 2008 in Olympiads in Informatics, VOLUME: 2, PAGES: 149-162
INDEXED IN: 
Scopus
Scopus943
TITLE: Global Storing Mechanisms for Tabled Evaluation
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 708-712
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 708-712
944
TITLE: ILP - Just Trie it Full Text
AUTHORS: Camacho, R ; Fonseca, NA ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 78-87
AUTHORS: Camacho, R ; Fonseca, NA ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 78-87
945
TITLE: Induction as a search procedure
AUTHORS: Konstantopoulos, S; Camacho, R ; Fonseca, NA ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence for Advanced Problem Solving Techniques, PAGES: 166-216
AUTHORS: Konstantopoulos, S; Camacho, R ; Fonseca, NA ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence for Advanced Problem Solving Techniques, PAGES: 166-216
946
TITLE: Integration of e-Learning Systems With Repositories of Learning Objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2008, SOURCE: 7th European Conference on e-Learning in 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, VOLUME: 2, PAGES: 91-98
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2008, SOURCE: 7th European Conference on e-Learning in 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, VOLUME: 2, PAGES: 91-98
INDEXED IN: Scopus 
WOS Handle
Scopus WOS Handle947
TITLE: k-RNN: k-Relational Nearest Neighbour Algorithm. k-relational nearest neighbour algorithm
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 944-948
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 944-948
948
TITLE: Lightweight security for network coding
AUTHORS: Joao P Vilela ; Luisa Lima ; Joao Barros ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Communications (ICC 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS, VOLS 1-13, PAGES: 1750-1754
AUTHORS: Joao P Vilela ; Luisa Lima ; Joao Barros ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Communications (ICC 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS, VOLS 1-13, PAGES: 1750-1754
949
TITLE: LogCHEM: Interactive Discriminative Mining of Chemical Structure
AUTHORS: Costa, VS ; Fonseca, NA ; Camacho, R ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine in 2008 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, PROCEEDINGS, PAGES: 421-426
AUTHORS: Costa, VS ; Fonseca, NA ; Camacho, R ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine in 2008 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, PROCEEDINGS, PAGES: 421-426
950
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C, PAGES: 163-179
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C, PAGES: 163-179
951
TITLE: Multicast deflector - Secure video distribution system. Secure video distribution system Full Text
AUTHORS: Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2008, SOURCE: TELECOMMUNICATION SYSTEMS, VOLUME: 37, ISSUE: 4, PAGES: 145-156
AUTHORS: Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2008, SOURCE: TELECOMMUNICATION SYSTEMS, VOLUME: 37, ISSUE: 4, PAGES: 145-156
952
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-189
AUTHORS: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-189
953
TITLE: Resource Management and Signalling Architecture of a Hybrid Multicast Service for Multimedia Distribution
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
954
TITLE: Revising first-order logic theories from examples through stochastic local search Full Text
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-210
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-210
955
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-386
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-386
956
TITLE: SECURING A HEALTH INFORMATION SYSTEM WITH A GOVERNMENT ISSUED DIGITAL IDENTIFICATION CARD
AUTHORS: Santos, R ; Manuel E. Correia ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
AUTHORS: Santos, R ; Manuel E. Correia ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
957
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
958
TITLE: The Mob core language and abstract machine (rev 0.2) PDF
AUTHORS: Hervé Paulino ; Luís M. B. Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
AUTHORS: Hervé Paulino ; Luís M. B. Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv959
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
960
TITLE: Towards Typed Prolog
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
