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: 3942
49 Team MembersFilters -> Year: 2024
3261
TITLE: Automated fault diagnosis in embedded systems
AUTHORS: Zoeteweij, P; Pietersma, J; Abreu, R ; Feldman, A; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008 in Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, PAGES: 103-110
AUTHORS: Zoeteweij, P; Pietersma, J; Abreu, R ; Feldman, A; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008 in Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, PAGES: 103-110
3262
TITLE: Automatic Extraction of Process Control Flow from I/O Operations
AUTHORS: Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2008, SOURCE: 6th International Conference on Business Process Management in BUSINESS PROCESS MANAGEMENT, VOLUME: 5240, PAGES: 342-357
AUTHORS: Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2008, SOURCE: 6th International Conference on Business Process Management in BUSINESS PROCESS MANAGEMENT, VOLUME: 5240, PAGES: 342-357
INDEXED IN: 
Scopus 
WOS
Scopus WOS3263
TITLE: Automatic generation of interactive prototypes for domain model validation
AUTHORS: Antonio Miguel Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2008, SOURCE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, ISSUE: GSDCA/M/-, PAGES: 206-213
AUTHORS: Antonio Miguel Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2008, SOURCE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, ISSUE: GSDCA/M/-, PAGES: 206-213
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP3264
TITLE: Automatic parameterization for expeditious modelling of virtual urban environments - A new hybrid metaheuristic
AUTHORS: Cruz, F; Coelho, A ; Reis, LP ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, VOLUME: ICSO, PAGES: 334-337
AUTHORS: Cruz, F; Coelho, A ; Reis, LP ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, VOLUME: ICSO, PAGES: 334-337
INDEXED IN: Scopus WOS DBLP 
Handle
Scopus WOS DBLP Handle3265
TITLE: Automatic software fault localization using generic program invariants Full Text
AUTHORS: Abreu, R ; Gonzalez, A; Zoeteweij, P; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 712-717
AUTHORS: Abreu, R ; Gonzalez, A; Zoeteweij, P; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 712-717
3266
TITLE: Automatic system for the recognition of amounts in handwritten cheques
AUTHORS: Filipe Coelho; Luis Batista; Luis F. Teixeira ; Jaime S Cardoso ;
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: Filipe Coelho; Luis Batista; Luis F. Teixeira ; Jaime S Cardoso ;
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 DBLP3267
TITLE: Bio-inspired parameter tunning of MLP networks for gene expression analysis
AUTHORS: Rossi, ALD; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Hybrid Intelligent Systems, HIS 2008 in Proceedings - 8th International Conference on Hybrid Intelligent Systems, HIS 2008, PAGES: 435-440
AUTHORS: Rossi, ALD; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Hybrid Intelligent Systems, HIS 2008 in Proceedings - 8th International Conference on Hybrid Intelligent Systems, HIS 2008, PAGES: 435-440
3268
TITLE: Breast Contour Detection with Stable Paths Full Text
AUTHORS: Jaime S Cardoso ; Ricardo Sousa ; Luis F. Teixeira ; 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: Jaime S Cardoso ; Ricardo Sousa ; Luis F. Teixeira ; 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
3269
TITLE: Building modular surveillance systems based on multiple sources of information - Architecture and requirements
AUTHORS: Daniel Duraes; Luis F. Teixeira ; Luis Corte Real ;
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: Daniel Duraes; Luis F. Teixeira ; Luis Corte Real ;
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 DBLP3270
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
Handle3271
TITLE: Calibration of Bi-planar Radiography with a Rangefinder and a Small Calibration Object
AUTHORS: Daniel C Moura; Jorge G Barbosa ; João Manuel R. S. Tavares ; Ana M Reis;
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: Daniel C Moura; Jorge G Barbosa ; João Manuel R. S. Tavares ; Ana M Reis;
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
3272
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
CrossRef3273
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-321
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-321
3274
TITLE: Communication during learning in heterogeneous teams of learning agents
AUTHORS: Luís Nunes; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Intelligent Decision Technologies, VOLUME: 2, ISSUE: 3, PAGES: 153-166
AUTHORS: Luís Nunes; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Intelligent Decision Technologies, VOLUME: 2, ISSUE: 3, PAGES: 153-166
3275
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
CrossRef3276
TITLE: Compile the Hypothesis Space: Do it Once, Use it Often Full Text
AUTHORS: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
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: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
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 DBLP3277
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
CrossRef3278
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
Scopus3279
TITLE: Disciplined composition of aspects using tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008 in Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, LATE@AOSD 2008, Brussels, Belgium, April 1, 2008, PAGES: 8
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008 in Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, LATE@AOSD 2008, Brussels, Belgium, April 1, 2008, PAGES: 8
3280
TITLE: Electronic institutions for B2B: Dynamic normative environments Full Text
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence and Law, VOLUME: 16, ISSUE: 1, PAGES: 107-128
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence and Law, VOLUME: 16, ISSUE: 1, PAGES: 107-128
