Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4728
62 Team MembersFilters -> Year: 2026
4041
TITLE: Automatic software fault localization using generic program invariants
AUTHORS: Rui Abreu ; Alberto González; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2008, SOURCE: SAC, PAGES: 712-717
AUTHORS: Rui Abreu ; Alberto González; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2008, SOURCE: SAC, PAGES: 712-717
4042
TITLE: Automatic system for the recognition of amounts in handwritten cheques
AUTHORS: Coelho, F; Batista, L; Teixeira, LF ; Cardoso, JS ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 320-324
AUTHORS: Coelho, F; Batista, L; Teixeira, LF ; Cardoso, JS ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 320-324
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP4043
TITLE: Bio-Inspired Parameter Tunning of MLP Networks for Gene Expression Analysis Full Text
AUTHORS: André L D Rossi; André C P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2008, SOURCE: HIS, PAGES: 435-440
AUTHORS: André L D Rossi; André C P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2008, SOURCE: HIS, PAGES: 435-440
4044
TITLE: Breast Contour Detection with Stable Paths Full Text
AUTHORS: Cardoso, JS ; Sousa, R ; Teixeira, LF ; Cardoso, MJ ;
PUBLISHED: 2008, SOURCE: International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 25, PAGES: 439-452
AUTHORS: Cardoso, JS ; Sousa, R ; Teixeira, LF ; Cardoso, MJ ;
PUBLISHED: 2008, SOURCE: International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 25, PAGES: 439-452
4045
TITLE: Building modular surveillance systems based on multiple sources of information - Architecture and requirements
AUTHORS: Duraes, D; Teixeira, LF ; Corte Real, L ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 314-319
AUTHORS: Duraes, D; Teixeira, LF ; Corte Real, L ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 314-319
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP4046
TITLE: Calibration Agent for Ecological Simulations: A Metaheuristic Approach
AUTHORS: Pedro Valente; António Pereira; Luis P Reis ;
PUBLISHED: 2008
AUTHORS: Pedro Valente; António Pereira; Luis P Reis ;
PUBLISHED: 2008
INDEXED IN: 
Handle
Handle4047
TITLE: Calibration of Bi-planar Radiography with a Rangefinder and a Small Calibration Object
AUTHORS: Moura, DC; Barbosa, JG ; João Manuel R. S. Tavares ; Reis, AM;
PUBLISHED: 2008, SOURCE: 4th International Symposium on Visual Computing in ADVANCES IN VISUAL COMPUTING, PT I, PROCEEDINGS, VOLUME: 5358, ISSUE: PART 1, PAGES: 572-581
AUTHORS: Moura, DC; Barbosa, JG ; João Manuel R. S. Tavares ; Reis, AM;
PUBLISHED: 2008, SOURCE: 4th International Symposium on Visual Computing in ADVANCES IN VISUAL COMPUTING, PT I, PROCEEDINGS, VOLUME: 5358, ISSUE: PART 1, PAGES: 572-581
4048
TITLE: Code Transformations Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
INDEXED IN: 
CrossRef
CrossRef4049
TITLE: Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-+
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-+
4050
TITLE: Communication during learning in heterogeneous teams of learning agents
AUTHORS: Luís Nunes ; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Intell. Decis. Technol., VOLUME: 2, ISSUE: 3, PAGES: 153-166
AUTHORS: Luís Nunes ; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Intell. Decis. Technol., VOLUME: 2, ISSUE: 3, PAGES: 153-166
4051
TITLE: Compilation and Synthesis Flows Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 33-65
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 33-65
INDEXED IN: CrossRef
CrossRef4052
TITLE: Compile the Hypothesis Space: Do it Once, Use it Often Full Text
AUTHORS: Fonseca, NA ; Camacho, R ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, ISSUE: 1, PAGES: 45-67
AUTHORS: Fonseca, NA ; Camacho, R ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, ISSUE: 1, PAGES: 45-67
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP4053
TITLE: Compilers for Reconfigurable Architectures Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 155-176
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 155-176
INDEXED IN: CrossRef
CrossRef4054
TITLE: Cooperative control of unmanned aerial systems
AUTHORS: Gil Gonçalves ; Sousa, JB; Pereira, FL ;
PUBLISHED: 2008, SOURCE: 48th Israel Annual Conference on Aerospace Sciences 2008 in Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008, VOLUME: 1, PAGES: 341-357
AUTHORS: Gil Gonçalves ; Sousa, JB; Pereira, FL ;
PUBLISHED: 2008, SOURCE: 48th Israel Annual Conference on Aerospace Sciences 2008 in Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008, VOLUME: 1, PAGES: 341-357
INDEXED IN: Scopus
Scopus4055
TITLE: Disciplined composition of aspects using tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: LATE@AOSD, PAGES: 8
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: LATE@AOSD, PAGES: 8
4056
TITLE: Electronic institutions for B2B: dynamic normative environments
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Artif. Intell. Law, VOLUME: 16, ISSUE: 1, PAGES: 107-128
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Artif. Intell. Law, VOLUME: 16, ISSUE: 1, PAGES: 107-128
4057
TITLE: Emotion assessment tool for human-machine interfaces - Using EEG data and multimedia stimuli towards emotion classification
AUTHORS: Teixeira, Jorge ; Vinhas, V; Reis, LP ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 185-+
AUTHORS: Teixeira, Jorge ; Vinhas, V; Reis, LP ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 185-+
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP4058
TITLE: Empirical evaluation of ranking trees on some metalearning problems
AUTHORS: Rebelo, C; Soares, C ; Da Costa, JP ;
PUBLISHED: 2008, SOURCE: 2008 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-08-09, PAGES: 85-90
AUTHORS: Rebelo, C; Soares, C ; Da Costa, JP ;
PUBLISHED: 2008, SOURCE: 2008 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-08-09, PAGES: 85-90
INDEXED IN: Scopus
Scopus4059
TITLE: Enhancing Interoperability: Ontology-Mapping in an Electronic Institution
AUTHORS: Henrique Lopes Cardoso ; Daniel Dinis Teixeira; Eugénio Oliveira ;
PUBLISHED: 2008, SOURCE: ATOP@AAMAS, VOLUME: 25 LNBIP, PAGES: 47-62
AUTHORS: Henrique Lopes Cardoso ; Daniel Dinis Teixeira; Eugénio Oliveira ;
PUBLISHED: 2008, SOURCE: ATOP@AAMAS, VOLUME: 25 LNBIP, PAGES: 47-62
4060
TITLE: Evaluating Structural Criteria for Testing Mobile Code Full Text
AUTHORS: Márcio Eduardo Delamaro; Auri Marcelo Rizzo Vincenzi ; José Carlos Maldonado;
PUBLISHED: 2008, SOURCE: EASE
AUTHORS: Márcio Eduardo Delamaro; Auri Marcelo Rizzo Vincenzi ; José Carlos Maldonado;
PUBLISHED: 2008, SOURCE: EASE
