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

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1276

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

Results per Page: 20.
Página 59 de 64. Total de resultados: 1276.