Faculty of Engineering (FEUP)
Faculdade de Engenharia
AuthID: I-000-01Z
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: 31102
632 Team MembersFilters -> Year: 2026
21161
TITLE: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTHORS: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLISHED: 2012, SOURCE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, PAGES: 51-58
AUTHORS: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLISHED: 2012, SOURCE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, PAGES: 51-58
21162
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO
AUTHORS: Teixeira, LF ; Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
AUTHORS: Teixeira, LF ; Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
21163
TITLE: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTHORS: Almeida, F; Abreu, PH ; Lau, N ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
AUTHORS: Almeida, F; Abreu, PH ; Lau, N ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
21164
TITLE: Automatic Lane Detection in Chromatography Images
AUTHORS: Moreira, BM; Sousa, AV ; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, ISSUE: PART 2, PAGES: 180-187
AUTHORS: Moreira, BM; Sousa, AV ; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, ISSUE: PART 2, PAGES: 180-187
21165
TITLE: Automatic Localization of the Optic Disc in Retinal Images Based on the Entropy of Vascular Directions
AUTHORS: Mendonça, AM ; Cardoso, F; Sousa, AV ; Campilho, A ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, ISSUE: PART 2, PAGES: 424-431
AUTHORS: Mendonça, AM ; Cardoso, F; Sousa, AV ; Campilho, A ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, ISSUE: PART 2, PAGES: 424-431
21166
TITLE: AUTOMATIC SEGMENTATION ALGORITHM FOR THE LUMEN OF THE CAROTID ARTERY IN ULTRASOUND B-MODE IMAGES
AUTHORS: Santos, AMP; João Manuel R. S. Tavares ; Sousa, L ; Santos, R ; Castro, P ; Global COVID-19 Stroke Registry ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Experimental Mechanics (ICEM) in ICEM15: 15TH INTERNATIONAL CONFERENCE ON EXPERIMENTAL MECHANICS, PAGES: 86703I
AUTHORS: Santos, AMP; João Manuel R. S. Tavares ; Sousa, L ; Santos, R ; Castro, P ; Global COVID-19 Stroke Registry ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Experimental Mechanics (ICEM) in ICEM15: 15TH INTERNATIONAL CONFERENCE ON EXPERIMENTAL MECHANICS, PAGES: 86703I
INDEXED IN: 
WOS 
DBLP
WOS DBLP21167
TITLE: Automatic segmentation of carotid B-mode images using fuzzy classification
AUTHORS: Rocha, R ; Silva, J ; Campilho, A ;
PUBLISHED: 2012, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 50, ISSUE: 5, PAGES: 533-545
AUTHORS: Rocha, R ; Silva, J ; Campilho, A ;
PUBLISHED: 2012, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 50, ISSUE: 5, PAGES: 533-545
21168
TITLE: Automatic segmentation of the secondary austenite-phase island precipitates in a superduplex stainless steel weld metal
AUTHORS: Victor H C Albuquerque; Rodrigo Y M Nakamura; Joao P Papa; Cleiton C Silva; João Manuel R. S. Tavares ;
PUBLISHED: 2012, SOURCE: 3rd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: VIPIMAGE 2011, PAGES: 161-166
AUTHORS: Victor H C Albuquerque; Rodrigo Y M Nakamura; Joao P Papa; Cleiton C Silva; João Manuel R. S. Tavares ;
PUBLISHED: 2012, SOURCE: 3rd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: VIPIMAGE 2011, PAGES: 161-166
INDEXED IN: 
Scopus WOS
Scopus WOS21169
TITLE: Automatic Transcription of Polyphonic Piano Music Using Genetic Algorithms, Adaptive Spectral Envelope Modeling, and Dynamic Noise Level Estimation Full Text
AUTHORS: Gustavo Reis; Francisco F Fernandez de Vega; Anibal Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 8, PAGES: 2313-2328
AUTHORS: Gustavo Reis; Francisco F Fernandez de Vega; Anibal Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 8, PAGES: 2313-2328
21170
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP
DBLP21171
TITLE: Autonomous golf ball picking robot design and development
AUTHORS: Nino Pereira; Fernando Ribeiro ; Gil Lopes ; Daniel Whitney; Jorge Lino Alves ;
PUBLISHED: 2012, SOURCE: INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, VOLUME: 39, ISSUE: 6, PAGES: 541-550
AUTHORS: Nino Pereira; Fernando Ribeiro ; Gil Lopes ; Daniel Whitney; Jorge Lino Alves ;
PUBLISHED: 2012, SOURCE: INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, VOLUME: 39, ISSUE: 6, PAGES: 541-550
21172
TITLE: AUV Based Multi-vehicle Collaboration: Salinity Studies in Mar Menor Coastal Lagoon
AUTHORS: González, J; Masmitjà, I; Gomáriza, S; Molino, E; del Río, J; Mànuel, A; Busquets, J; Guerrero, A; López, F; Carreras, M; Ribas, D; Carrera, A; Candela, C; Ridao, P; Sousa, J; Calado, P; Pinto, J ; Sousa, A; Martins, R; Borrajo, D; ...More
PUBLISHED: 2012, SOURCE: IFAC Proceedings Volumes, VOLUME: 45, ISSUE: 5, PAGES: 287-292
AUTHORS: González, J; Masmitjà, I; Gomáriza, S; Molino, E; del Río, J; Mànuel, A; Busquets, J; Guerrero, A; López, F; Carreras, M; Ribas, D; Carrera, A; Candela, C; Ridao, P; Sousa, J; Calado, P; Pinto, J ; Sousa, A; Martins, R; Borrajo, D; ...More
PUBLISHED: 2012, SOURCE: IFAC Proceedings Volumes, VOLUME: 45, ISSUE: 5, PAGES: 287-292
21173
TITLE: Avaliação da metodologia utilizada nos estudos sobre a relação entre a lesão (doença) músculo-esquelética e a atividade profissional. Uma revisão sistemática.
AUTHORS: Costa, J. Torres; J. C. Guedes ; Baptista, J. Santos; Mário A Vaz;
PUBLISHED: 2012
AUTHORS: Costa, J. Torres; J. C. Guedes ; Baptista, J. Santos; Mário A Vaz;
PUBLISHED: 2012
INDEXED IN: 
Handle
Handle21174
TITLE: Avaliação da segurança rodoviária em fase de planeamento: modelo estatístico de resposta qualitativa Full Text
AUTHORS: Sara Ferreira ; António Couto ;
PUBLISHED: 2012, SOURCE: TRANSPORTES, VOLUME: 20, ISSUE: 2
AUTHORS: Sara Ferreira ; António Couto ;
PUBLISHED: 2012, SOURCE: TRANSPORTES, VOLUME: 20, ISSUE: 2
INDEXED IN: 
CrossRef Handle
CrossRef Handle21175
TITLE: Avaliação distribuída em economia e gestão: o Interface entre o Mundo Académico e o Mundo Real
AUTHORS: Emília Malcata Rebelo ;
PUBLISHED: 2012
AUTHORS: Emília Malcata Rebelo ;
PUBLISHED: 2012
INDEXED IN: Handle
Handle21176
TITLE: Avaliação do impacto sócio-económico dos investimentos públicos: o caso da Região Norte
AUTHORS: Emília Malcata Rebelo ;
PUBLISHED: 2012
AUTHORS: Emília Malcata Rebelo ;
PUBLISHED: 2012
INDEXED IN: Handle
Handle21177
TITLE: Bacillus purgationiresistans sp nov., isolated from a drinking-water treatment plant
AUTHORS: Ivone Vaz Moreira ; Vania Figueira; Ana R Lopes ; Alexandre Lobo da Cunha ; Cathrin Sproeer; Peter Schumann; Olga C Nunes ; Celia M Manaia ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF SYSTEMATIC AND EVOLUTIONARY MICROBIOLOGY, VOLUME: 62, ISSUE: 1, PAGES: 71-77
AUTHORS: Ivone Vaz Moreira ; Vania Figueira; Ana R Lopes ; Alexandre Lobo da Cunha ; Cathrin Sproeer; Peter Schumann; Olga C Nunes ; Celia M Manaia ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF SYSTEMATIC AND EVOLUTIONARY MICROBIOLOGY, VOLUME: 62, ISSUE: 1, PAGES: 71-77
21178
TITLE: Ballast mats for the reduction of railway traffic vibrations. Numerical study Full Text
AUTHORS: Alves Costa, PA ; Calcada, R ; Silva Cardoso, AS ;
PUBLISHED: 2012, SOURCE: SOIL DYNAMICS AND EARTHQUAKE ENGINEERING, VOLUME: 42, PAGES: 137-150
AUTHORS: Alves Costa, PA ; Calcada, R ; Silva Cardoso, AS ;
PUBLISHED: 2012, SOURCE: SOIL DYNAMICS AND EARTHQUAKE ENGINEERING, VOLUME: 42, PAGES: 137-150
21179
TITLE: Basic analog circuits with a-GIZO thin-film transistors: Modeling and simulation
AUTHORS: Bahubalindruni, G; Tavares, VG ; Barquinha, P ; Duarte, C ; Martins, R ; Fortunato, E ; De Oliveira, PG ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012 in 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012, PAGES: 261-264
AUTHORS: Bahubalindruni, G; Tavares, VG ; Barquinha, P ; Duarte, C ; Martins, R ; Fortunato, E ; De Oliveira, PG ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012 in 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012, PAGES: 261-264
21180
TITLE: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery
AUTHORS: Oliveira, JL ; Davies, MEP ; Gouyon, F ; Reis, LP ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
AUTHORS: Oliveira, JL ; Davies, MEP ; Gouyon, F ; Reis, LP ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
