Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

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: 2645

43 Team Members
Filters -> Year: 2025
2381
TÍTULO: Hybrid tabu search for lot sizing problems
AUTORES: Pedroso, JP ; Kubo, M;
PUBLICAÇÃO: 2005, FONTE: 2nd International Workshop on Hybrid Metaheutistics in HYBRID METAHEURISTICS, PROCEEDINGS, VOLUME: 3636, PÁGINAS: 66-77
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
2382
TÍTULO: IMPACT: Innovative models for prolog with advanced control and tabling
AUTORES: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PÁGINAS: 416-417
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2383
TÍTULO: Improving AODV with Preemptive Local Route Repair
AUTORES: Crisostomo, S ; Sargento, S ; Brandao, P ; Prior, R ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Wireless Ad-Hoc Networks in 2004 International Workshop on Wireless Ad-Hoc Networks, PÁGINAS: 223-227
INDEXADO EM: Scopus WOS CrossRef: 23
2384
TÍTULO: Improving memory usage in the BEAM
AUTORES: Lopes, R ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PÁGINAS: 143-157
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2385
TÍTULO: Interactive manipulation of regular objects with FAdo
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, PÁGINAS: 335-339
INDEXADO EM: Scopus DBLP CrossRef: 1
2386
TÍTULO: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTORES: Elizabeth S. Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles Kahn Kahn Jr.; Jason Fine; David Page;
PUBLICAÇÃO: 2005, FONTE: AMIA 2005, American Medical Informatics Association Annual Symposium, Washington, DC, USA, October 22-26, 2005, PÁGINAS: 96-100
INDEXADO EM: Scopus DBLP
2388
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Jorge, A ; Torgo, L ; Brazdil, P ; Camacho, R ; Gama, J ;
PUBLICAÇÃO: 2005, FONTE: 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3721 LNAI
INDEXADO EM: Scopus
2389
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Gama, J ; Camacho, R ; Brazdil, P; Jorge, A ; Torgo, L ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning, ECML 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3720 LNAI
INDEXADO EM: Scopus
2391
TÍTULO: Mechanically proving termination using polynomial interpretations  Full Text
AUTORES: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, NÚMERO: 4, PÁGINAS: 325-363
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
2392
TÍTULO: MiKO - Mikado Koncurrent Objects
AUTORES: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2005, FONTE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXADO EM: Scopus DBLP
2393
TÍTULO: Mode directed path finding
AUTORES: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PÁGINAS: 673-681
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
2394
TÍTULO: Monitoring the quality of meta-data in web portals using statistics, visualization and data mining
AUTORES: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 371-382
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2395
TÍTULO: On applying or-parallelism and tabling to logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, NÚMERO: 1-2, PÁGINAS: 161-205
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
2396
TÍTULO: On applying tabling to inductive logic programming
AUTORES: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 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, PÁGINAS: 707-714
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
2397
TÍTULO: On long normal inhabitants of a type
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, NÚMERO: 3, PÁGINAS: 353-390
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
2398
TÍTULO: On the automatic construction of indistinguishable operations
AUTORES: Barbosa, M ; Page, D;
PUBLICAÇÃO: 2005, FONTE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PÁGINAS: 233-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
2399
TÍTULO: On the Automatic Construction of Indistinguishable Operations
AUTORES: Manuel Barbosa ; Dan Page;
PUBLICAÇÃO: 2005, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2005, PÁGINAS: 174
INDEXADO EM: DBLP
2400
TÍTULO: On the density of languages representing finite set partitions
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2005, FONTE: Journal of Integer Sequences, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus

Results per Page: 20.
Página 120 de 133. Total de resultados: 2645.