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: 2847
46 Team MembersFilters -> Year: 2026
2561
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling. (Extended Abstract)
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
2562
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
2563
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
2564
TITLE: Interactive manipulation of regular objects with FAdo
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2005, SOURCE: ITiCSE, PAGES: 335-339
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2005, SOURCE: ITiCSE, PAGES: 335-339
2565
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 E Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA, PAGES: 96-100
AUTHORS: Elizabeth S Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles E Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA, PAGES: 96-100
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2566
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
DBLP2567
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
Scopus2568
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
Scopus2569
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
DBLP2570
TITLE: Mechanically proving termination using polynomial interpretations
AUTHORS: Contejean, E; Marché, C; Tomás, AP ; Urbain, X;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4, PAGES: 325-363
AUTHORS: Contejean, E; Marché, C; Tomás, AP ; Urbain, X;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4, PAGES: 325-363
2571
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing, VOLUME: 5081
AUTHORS: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing, VOLUME: 5081
INDEXED IN: Scopus DBLP
Scopus DBLP2572
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
2573
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
2575
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
2576
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
2577
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
2578
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
Scopus2579
TITLE: On the Representation of Finite Automata
AUTHORS: Rogério Reis ; Nelma Moreira ; Marco Almeida;
PUBLISHED: 2005, SOURCE: DCFS, PAGES: 269-276
AUTHORS: Rogério Reis ; Nelma Moreira ; Marco Almeida;
PUBLISHED: 2005, SOURCE: DCFS, PAGES: 269-276
INDEXED IN: Scopus DBLP
Scopus DBLP2580
TITLE: Probabilistic First-Order Theory Revision from Examples
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
