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

43 Team Members
Filters -> Year: 2024
2382
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
2383
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
2384
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
2385
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
2386
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
2387
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
2388
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
2389
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
2390
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
2391
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
2392
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
2393
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
2394
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
2395
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
2396
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
2397
TÍTULO: QoS and session signaling in a 4G network
AUTORES: Prior, R ; Sargento, S ;
PUBLICAÇÃO: 2005, FONTE: 13th IEEE International Conference on Networks/7th IEEE Malaysia International Conference on Communications (ICON/MICC) in 2005 13th IEEE International Conference on Networks Jointly held with the 2005 7th IEEE Malaysia International Conference on Communications, Proceedings 1 and 2, VOLUME: 2, PÁGINAS: 817-822
INDEXADO EM: Scopus WOS CrossRef
2398
TÍTULO: Recursion patterns and time-analysis
AUTORES: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: ACM SIGPLAN NOTICES, VOLUME: 40, NÚMERO: 5, PÁGINAS: 45-54
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2399
TÍTULO: Regression Error Characteristic Surfaces
AUTORES: Torgo, L ;
PUBLICAÇÃO: 2005, FONTE: KDD-2005: 11th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PÁGINAS: 697-702
INDEXADO EM: Scopus DBLP CrossRef: 20
2400
TÍTULO: ReGS: User-level reliability in a grid environment
AUTORES: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLICAÇÃO: 2005, FONTE: 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 in 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PÁGINAS: 718-725
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 120 de 132. Total de resultados: 2637.