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: 2851
46 Team MembersFilters -> Year: 2026
2561
TITLE: First Steps Toward a Cryptography-Aware Language and Compiler
AUTHORS: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLISHED: 2005, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2005, PAGES: 160
AUTHORS: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLISHED: 2005, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2005, PAGES: 160
INDEXED IN: 
DBLP
DBLP2562
TITLE: Heterogeneous Signaling Framework for End-to-End QoS Support in Next Generation Networks Full Text
AUTHORS: Rui Prior ; Susana Sargento ; Diogo Gomes ; Rui L Aguiar ;
PUBLISHED: 2005, SOURCE: HICSS, PAGES: 305
AUTHORS: Rui Prior ; Susana Sargento ; Diogo Gomes ; Rui L Aguiar ;
PUBLISHED: 2005, SOURCE: HICSS, PAGES: 305
2563
TITLE: Hierarchical submission in a Grid environment
AUTHORS: 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;
PUBLISHED: 2005, SOURCE: MGC@Middleware, VOLUME: 117, PAGES: 9:1-9:6
AUTHORS: 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;
PUBLISHED: 2005, SOURCE: MGC@Middleware, VOLUME: 117, PAGES: 9:1-9:6
2564
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
2565
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
2566
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
2567
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
2568
TITLE: Interactive manipulation of regular objects with FAdo Full Text
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
2569
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 DBLP2570
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
DBLP2571
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
Scopus2572
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
Scopus2573
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
DBLP2574
TITLE: Mechanically proving termination using polynomial interpretations Full Text
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
2575
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 DBLP2576
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
2577
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
2579
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
2580
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
