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

46 Team Members
Filters -> Year: 2026
2561
TÍTULO: Hierarchical submission in a Grid environment
AUTORES: Patrícia Kayser Vargas; Inês de Castro Dutra ; Vinícius Dalto do Nascimento; Lucas A S Santos; Luciano Cavalheiro da Silva; Cláudio Fernando Resin Geyer; Bruno Schulze;
PUBLICAÇÃO: 2005, FONTE: MGC@Middleware, VOLUME: 117, PÁGINAS: 9:1-9:6
INDEXADO EM: Scopus DBLP CrossRef: 1
2562
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
2563
TÍTULO: IMPACT: Innovative models for prolog with advanced control and tabling. (Extended Abstract)
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
2564
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
2565
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
2566
TÍTULO: Interactive manipulation of regular objects with FAdo
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE, PÁGINAS: 335-339
INDEXADO EM: Scopus DBLP CrossRef: 1
2567
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 E Kahn Jr.; Jason Fine; David Page;
PUBLICAÇÃO: 2005, FONTE: AMIA, PÁGINAS: 96-100
INDEXADO EM: Scopus DBLP
2569
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
2570
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
2572
TÍTULO: Mechanically proving termination using polynomial interpretations
AUTORES: Contejean, E; Marché, C; Tomás, AP ; Urbain, X;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, NÚMERO: 4, PÁGINAS: 325-363
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
2573
TÍTULO: MiKO - Mikado Koncurrent Objects
AUTORES: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2005, FONTE: Foundations of Global Computing, VOLUME: 5081
INDEXADO EM: Scopus DBLP
2574
TÍTULO: Mode directed path finding
AUTORES: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PÁGINAS: 673-681
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
2575
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
2576
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: 28
2577
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
2578
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
2579
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
2580
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 129 de 143. Total de resultados: 2849.