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: 2849
46 Team MembersFilters -> Year: 2026
2541
TITLE: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTHORS: Hugo R Simões; Kevin Hammond; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: TYPES, PAGES: 221-236
AUTHORS: Hugo R Simões; Kevin Hammond; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2006, SOURCE: TYPES, PAGES: 221-236
INDEXED IN: 
DBLP
DBLP2542
TITLE: VeriFLog: A constraint logic programming approach to verification of website content
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2006, SOURCE: 8th Asia-Pacific Web Conference and Workshops (APWeb 2006) in ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, VOLUME: 3842, PAGES: 148-156
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2006, SOURCE: 8th Asia-Pacific Web Conference and Workshops (APWeb 2006) in ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, VOLUME: 3842, PAGES: 148-156
2543
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLISHED: 2006
AUTHORS: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLISHED: 2006
INDEXED IN: 
Handle
Handle2544
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
AUTHORS: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
2545
TITLE: A data mining approach for trip time prediction in mass transit companies
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa ; Carlos Soares;
PUBLISHED: 2005
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa ; Carlos Soares;
PUBLISHED: 2005
INDEXED IN: Handle
Handle2546
TITLE: A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
AUTHORS: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 69-86
AUTHORS: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 69-86
2547
TITLE: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: JISBD, PAGES: 131-138
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: JISBD, PAGES: 131-138
INDEXED IN: DBLP
DBLP2548
TITLE: A QoS Architecture Integrating Mobile Ad-Hoc and Infrastructure Networks
AUTHORS: Sergio Crisostomo ; Susana Sargento ; Marek Natkaniec; Norbert Vicari;
PUBLISHED: 2005, SOURCE: 3rd IEEE/ACS International Conference on Computer Systems and Applications (AICCSA-05) in 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, VOLUME: 2005, PAGES: 935-941
AUTHORS: Sergio Crisostomo ; Susana Sargento ; Marek Natkaniec; Norbert Vicari;
PUBLISHED: 2005, SOURCE: 3rd IEEE/ACS International Conference on Computer Systems and Applications (AICCSA-05) in 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, VOLUME: 2005, PAGES: 935-941
2549
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
2550
TITLE: Adapting peepholing to regression trees
AUTHORS: Torgo, L ; Marques, J;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 293-303
AUTHORS: Torgo, L ; Marques, J;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 293-303
2551
TITLE: An experiment with association rules and classification: Post-bagging and conviction
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PAGES: 137-149
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PAGES: 137-149
2552
TITLE: An Experimental Evaluation of JAVA JIT Technology
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: J. Univers. Comput. Sci., VOLUME: 11, ISSUE: 7, PAGES: 1291-1309
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: J. Univers. Comput. Sci., VOLUME: 11, ISSUE: 7, PAGES: 1291-1309
INDEXED IN: 
Scopus DBLP
Scopus DBLP2553
TITLE: An integrated approach to learning Bayesian networks of rules
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 84-95
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 84-95
2554
TITLE: Approximating optical flow within the MPEG-2 compressed domain
AUTHORS: Coimbra, MT ; Davies, M;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, VOLUME: 15, ISSUE: 1, PAGES: 103-107
AUTHORS: Coimbra, MT ; Davies, M;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, VOLUME: 15, ISSUE: 1, PAGES: 103-107
2555
TITLE: Coupling OPTYAP with a database system
AUTHORS: Michel Ferreira ; Ricardo Rocha ;
PUBLISHED: 2005, SOURCE: IADIS AC, PAGES: 107-114
AUTHORS: Michel Ferreira ; Ricardo Rocha ;
PUBLISHED: 2005, SOURCE: IADIS AC, PAGES: 107-114
INDEXED IN: DBLP
DBLP2557
TITLE: Efficient identity-based key encapsulation to multiple parties
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 428-441
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 428-441
2558
TITLE: Extracting clinical information from endoscopic capsule exams using MPEG-7 visual descriptors
AUTHORS: Coimbra, M ; Campos, P; Cunha, JPS ;
PUBLISHED: 2005, SOURCE: 2nd European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology, EWIMT 2005 in IET Seminar Digest, VOLUME: 2005, ISSUE: 11099, PAGES: 105-110
AUTHORS: Coimbra, M ; Campos, P; Cunha, JPS ;
PUBLISHED: 2005, SOURCE: 2nd European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology, EWIMT 2005 in IET Seminar Digest, VOLUME: 2005, ISSUE: 11099, PAGES: 105-110
2559
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
DBLP2560
TITLE: Heterogeneous Signaling Framework for End-to-End QoS Support in Next Generation Networks
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
