Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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 MembersFilters -> Year: 2025
2381
TITLE: Hybrid tabu search for lot sizing problems
AUTHORS: Pedroso, JP ; Kubo, M;
PUBLISHED: 2005, SOURCE: 2nd International Workshop on Hybrid Metaheutistics in HYBRID METAHEURISTICS, PROCEEDINGS, VOLUME: 3636, PAGES: 66-77
AUTHORS: Pedroso, JP ; Kubo, M;
PUBLISHED: 2005, SOURCE: 2nd International Workshop on Hybrid Metaheutistics in HYBRID METAHEURISTICS, PROCEEDINGS, VOLUME: 3636, PAGES: 66-77
2382
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 416-417
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 416-417
2383
TITLE: Improving AODV with Preemptive Local Route Repair
AUTHORS: Crisostomo, S ; Sargento, S ; Brandao, P ; Prior, R ;
PUBLISHED: 2005, SOURCE: International Workshop on Wireless Ad-Hoc Networks in 2004 International Workshop on Wireless Ad-Hoc Networks, PAGES: 223-227
AUTHORS: Crisostomo, S ; Sargento, S ; Brandao, P ; Prior, R ;
PUBLISHED: 2005, SOURCE: International Workshop on Wireless Ad-Hoc Networks in 2004 International Workshop on Wireless Ad-Hoc Networks, PAGES: 223-227
2384
TITLE: Improving memory usage in the BEAM
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PAGES: 143-157
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PAGES: 143-157
2385
TITLE: Interactive manipulation of regular objects with FAdo
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2005, SOURCE: 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, PAGES: 335-339
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2005, SOURCE: 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, PAGES: 335-339
2386
TITLE: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTHORS: Elizabeth S. Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles Kahn Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA 2005, American Medical Informatics Association Annual Symposium, Washington, DC, USA, October 22-26, 2005, PAGES: 96-100
AUTHORS: Elizabeth S. Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles Kahn Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA 2005, American Medical Informatics Association Annual Symposium, Washington, DC, USA, October 22-26, 2005, PAGES: 96-100
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2387
TITLE: Knowledge Discovery in Databases: PKDD 2005, 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings
AUTHORS: Alípio Jorge ; Luís Torgo ; Pavel Brazdil; Rui Camacho ; João Gama ;
PUBLISHED: 2005, SOURCE: PKDD, VOLUME: 3721
AUTHORS: Alípio Jorge ; Luís Torgo ; Pavel Brazdil; Rui Camacho ; João Gama ;
PUBLISHED: 2005, SOURCE: PKDD, VOLUME: 3721
INDEXED IN: DBLP
DBLP2388
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Jorge, A ; Torgo, L ; Brazdil, P ; Camacho, R ; Gama, J ;
PUBLISHED: 2005, SOURCE: 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
AUTHORS: Jorge, A ; Torgo, L ; Brazdil, P ; Camacho, R ; Gama, J ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus
Scopus2389
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Gama, J ; Camacho, R ; Brazdil, P; Jorge, A ; Torgo, L ;
PUBLISHED: 2005, SOURCE: 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
AUTHORS: Gama, J ; Camacho, R ; Brazdil, P; Jorge, A ; Torgo, L ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus
Scopus2390
TITLE: Machine Learning: ECML 2005, 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings
AUTHORS: João Gama ; Rui Camacho ; Pavel Brazdil ; Alípio Jorge ; Luís Torgo ;
PUBLISHED: 2005, SOURCE: ECML, VOLUME: 3720
AUTHORS: João Gama ; Rui Camacho ; Pavel Brazdil ; Alípio Jorge ; Luís Torgo ;
PUBLISHED: 2005, SOURCE: ECML, VOLUME: 3720
INDEXED IN: DBLP
DBLP2391
TITLE: Mechanically proving termination using polynomial interpretations Full Text
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4, PAGES: 325-363
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4, PAGES: 325-363
2392
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
AUTHORS: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXED IN: Scopus DBLP
Scopus DBLP2393
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
2394
TITLE: Monitoring the quality of meta-data in web portals using statistics, visualization and data mining
AUTHORS: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 371-382
AUTHORS: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 371-382
2396
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 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, PAGES: 707-714
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 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, PAGES: 707-714
2397
TITLE: On long normal inhabitants of a type
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2005, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, ISSUE: 3, PAGES: 353-390
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2005, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, ISSUE: 3, PAGES: 353-390
2398
TITLE: On the automatic construction of indistinguishable operations
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
2399
TITLE: On the Automatic Construction of Indistinguishable Operations
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
INDEXED IN: DBLP
DBLP2400
TITLE: On the density of languages representing finite set partitions
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus
Scopus