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

43 Team Members
Filters -> Year: 2025
2461
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
2463
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
2464
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
2466
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
2467
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
2468
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
2469
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
2470
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
2471
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
2472
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
2473
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: 12
2474
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
2475
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
2476
TÍTULO: On the representation of finite automata
AUTORES: Reis, R ; Moreira, N ; Almeida, M;
PUBLICAÇÃO: 2005, FONTE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings, PÁGINAS: 269-276
INDEXADO EM: Scopus DBLP
2477
TÍTULO: Probabilistic first-order theory revision from examples
AUTORES: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PÁGINAS: 295-311
INDEXADO EM: Scopus DBLP CrossRef: 7
2478
TÍTULO: Protein sequence classification through relevant sequence mining and Bayes Classifiers
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 236-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
2479
TÍTULO: Protein sequence pattern mining with constraints  Full Text
AUTORES: Ferreira, PG ; Azevedo, PJ ;
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 KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PÁGINAS: 96-107
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
2480
TÍTULO: Providing end-to-end QoS in 4G networks
AUTORES: Prior, R ; Sargento, S ; Gozdecki, J; Aguiar, R ;
PUBLICAÇÃO: 2005, FONTE: 3rd IASTED International Conference on Communications and Computer Networks in Proceedings of the Third IASTED International Conference on Communications and Computer Networks, PÁGINAS: 188-195
INDEXADO EM: Scopus WOS DBLP

Results per Page: 20.
Página 124 de 136. Total de resultados: 2718.