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: 1276
43 Team MembersFilters -> Year: 2026
1141
TITLE: The power of linear functions
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
1142
TITLE: The use of real-time publish-subscribe middleware in networked vehicle systems
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1, PAGES: 108-113
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1, PAGES: 108-113
INDEXED IN: 
Scopus
Scopus1143
TITLE: A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
AUTHORS: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 69-86
AUTHORS: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 69-86
1144
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
1145
TITLE: An Experimental Evaluation of JAVA JIT Technology
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: J. Univers. Comput. Sci., VOLUME: 11, ISSUE: 7, PAGES: 1291-1309
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: J. Univers. Comput. Sci., VOLUME: 11, ISSUE: 7, PAGES: 1291-1309
INDEXED IN: Scopus 
DBLP
Scopus DBLP1146
TITLE: An integrated approach to learning Bayesian networks of rules
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 84-95
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 84-95
1147
TITLE: Coupling OPTYAP with a database system
AUTHORS: Michel Ferreira ; Ricardo Rocha ;
PUBLISHED: 2005, SOURCE: IADIS AC, PAGES: 107-114
AUTHORS: Michel Ferreira ; Ricardo Rocha ;
PUBLISHED: 2005, SOURCE: IADIS AC, PAGES: 107-114
INDEXED IN: DBLP
DBLP1149
TITLE: Hierarchical submission in a Grid environment
AUTHORS: Patrícia Kayser Vargas; Inês de Castro Dutra ; Vinícius Dalto do Nascimento; Lucas A S Santos; Luciano Cavalheiro da Silva; Cláudio Fernando Resin Geyer; Bruno Schulze;
PUBLISHED: 2005, SOURCE: MGC@Middleware, VOLUME: 117, PAGES: 9:1-9:6
AUTHORS: Patrícia Kayser Vargas; Inês de Castro Dutra ; Vinícius Dalto do Nascimento; Lucas A S Santos; Luciano Cavalheiro da Silva; Cláudio Fernando Resin Geyer; Bruno Schulze;
PUBLISHED: 2005, SOURCE: MGC@Middleware, VOLUME: 117, PAGES: 9:1-9:6
1150
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling. (Extended Abstract)
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 416-417
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 416-417
1151
TITLE: Improving memory usage in the BEAM
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PAGES: 143-157
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PAGES: 143-157
1152
TITLE: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTHORS: Elizabeth S Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles E Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA, PAGES: 96-100
AUTHORS: Elizabeth S Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles E Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA, PAGES: 96-100
INDEXED IN: Scopus DBLP
Scopus DBLP1153
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing, VOLUME: 5081
AUTHORS: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing, VOLUME: 5081
INDEXED IN: Scopus DBLP
Scopus DBLP1154
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
1156
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 707-714
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 707-714
1157
TITLE: Probabilistic First-Order Theory Revision from Examples
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
1158
TITLE: ReGS: User-level reliability in a grid environment
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
1159
TITLE: Strategies to parallelize ILP systems
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PAGES: 136-153
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PAGES: 136-153
1160
TITLE: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par, PAGES: 685
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par, PAGES: 685
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef