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
1161
TITLE: View Learning for Statistical Relational Learning: With an Application to Mammography
AUTHORS: Davis, J; Burnside, E; Dutra, I ; Page, D; Ramakrishnan, R; Costa, VS ; Shavlik, J;
PUBLISHED: 2005, SOURCE: 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), PAGES: 677-683
AUTHORS: Davis, J; Burnside, E; Dutra, I ; Page, D; Ramakrishnan, R; Costa, VS ; Shavlik, J;
PUBLISHED: 2005, SOURCE: 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), PAGES: 677-683
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1162
TITLE: Weak linearization of the lambda calculus
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2005, SOURCE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, ISSUE: 1, PAGES: 79-103
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2005, SOURCE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, ISSUE: 1, PAGES: 79-103
1163
TITLE: Application partitioning and hierarchical management in grid environments
AUTHORS: Patrícia Kayser Vargas; Inês de Castro Dutra ; Cláudio F R Geyer;
PUBLISHED: 2004, SOURCE: Doctoral Symposium on Middleware, VOLUME: 79, PAGES: 314-318
AUTHORS: Patrícia Kayser Vargas; Inês de Castro Dutra ; Cláudio F R Geyer;
PUBLISHED: 2004, SOURCE: Doctoral Symposium on Middleware, VOLUME: 79, PAGES: 314-318
1164
TITLE: Concurrent table accesses in parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PAGES: 662-670
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PAGES: 662-670
1165
TITLE: Exploiting parallelism in the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, PAGES: 483-489
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, PAGES: 483-489
INDEXED IN: WOS DBLP
WOS DBLP1166
TITLE: Extreme adaptivity
AUTHORS: Alves, MA; Jorge, A ; Leal, JP ;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PAGES: 348-352
AUTHORS: Alves, MA; Jorge, A ; Leal, JP ;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PAGES: 348-352
1167
TITLE: On avoiding redundancy in inductive logic programming
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2004, SOURCE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PAGES: 132-146
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2004, SOURCE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PAGES: 132-146
1168
1169
TITLE: Query transformations for improving the efficiency of ILP systems
AUTHORS: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLISHED: 2004, SOURCE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, ISSUE: 4, PAGES: 465-491
AUTHORS: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLISHED: 2004, SOURCE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, ISSUE: 4, PAGES: 465-491
1170
TITLE: Speculative computations in or-parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PAGES: 254-268
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PAGES: 254-268
1171
TITLE: Study of hybrid coherence protocols for parallel logic programming systems
AUTHORS: De Oliveira, EPG; Ramos, F; De Dutra, IC ; De Castro, MCS;
PUBLISHED: 2004, SOURCE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PAGES: 821-826
AUTHORS: De Oliveira, EPG; Ramos, F; De Dutra, IC ; De Castro, MCS;
PUBLISHED: 2004, SOURCE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PAGES: 821-826
INDEXED IN: Scopus
Scopus1172
TITLE: The MyYapDB deductive database system
AUTHORS: Ferreira, M ; Rocha, R ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PAGES: 710-713
AUTHORS: Ferreira, M ; Rocha, R ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PAGES: 710-713
1173
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomás, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
AUTHORS: Tomás, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
1174
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
1175
TITLE: An empirical evaluation of bagging in inductive logic programming
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
1176
TITLE: Applying scheduling by edge reversal to constraint partitioning
AUTHORS: Pereira, MR; Vargas, PK; França, FMG; de Castro, MCS; Dutra, ID ;
PUBLISHED: 2003, SOURCE: 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, VOLUME: 2003-January, PAGES: 134-141
AUTHORS: Pereira, MR; Vargas, PK; França, FMG; de Castro, MCS; Dutra, ID ;
PUBLISHED: 2003, SOURCE: 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, VOLUME: 2003-January, PAGES: 134-141
1177
TITLE: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
AUTHORS: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLISHED: 2003, SOURCE: UAI, PAGES: 517-524
AUTHORS: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLISHED: 2003, SOURCE: UAI, PAGES: 517-524
INDEXED IN: DBLP
DBLP1178
TITLE: Distributed typed concurrent objects: a programming language for distributed computations with mobile resources
AUTHORS: Figueira, AR ; Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 745-760
AUTHORS: Figueira, AR ; Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 745-760
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1179
TITLE: Efficient data structures for inductive logic programming
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835, PAGES: 130-145
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835, PAGES: 130-145
1180
TITLE: Experimental evaluation of a caching technique for ILP
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 151-155
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 151-155
