Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 25011
1716 Team MembersFilters -> Year: 2026
18041
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
18042
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
DBLP18043
TITLE: Avaliação e gestão do portefólio de projetos
AUTHORS: António M P d S Amaral ;
PUBLISHED: 2012
AUTHORS: António M P d S Amaral ;
PUBLISHED: 2012
INDEXED IN: 
Handle
Handle18044
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
18045
TITLE: Balancing Market Integration in MASCEM Electricity Market Simulator
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
18046
TITLE: Ball Sensing in a Leg Like Robotic Kicker
AUTHORS: Jonas Logghe; André Dias ; José Miguel Almeida ; Alfredo Martins ; Eduardo P da Silva ;
PUBLISHED: 2012, SOURCE: 16th International Symposium on Robot Soccer World Cup, RoboCup 2012 in RoboCup, VOLUME: 7500 LNAI, PAGES: 298-309
AUTHORS: Jonas Logghe; André Dias ; José Miguel Almeida ; Alfredo Martins ; Eduardo P da Silva ;
PUBLISHED: 2012, SOURCE: 16th International Symposium on Robot Soccer World Cup, RoboCup 2012 in RoboCup, VOLUME: 7500 LNAI, PAGES: 298-309
18047
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
18048
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
18049
TITLE: Behavioural and context analysis in an online dispute resolution environment
AUTHORS: Paulo Novais ; Davide R Carneiro ; Marco Gomes ; José Neves ;
PUBLISHED: 2012
AUTHORS: Paulo Novais ; Davide R Carneiro ; Marco Gomes ; José Neves ;
PUBLISHED: 2012
INDEXED IN: Handle
Handle18050
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP Handle
DBLP Handle18051
TITLE: Bidirectional Transformation of Model-Driven Spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: ICMT@TOOLS, VOLUME: 7307 LNCS, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: ICMT@TOOLS, VOLUME: 7307 LNCS, PAGES: 105-120
18052
TITLE: Bio-inspired multi-agent systems for reconfigurable manufacturing systems Full Text
AUTHORS: Paulo Leitao ; Jose Barbosa ; Damien Trentesaux;
PUBLISHED: 2012, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 25, ISSUE: 5, PAGES: 934-944
AUTHORS: Paulo Leitao ; Jose Barbosa ; Damien Trentesaux;
PUBLISHED: 2012, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 25, ISSUE: 5, PAGES: 934-944
18053
TITLE: Biological imaging with high dynamic range using compressive imaging technique
AUTHORS: Mehrdad Abolbashari; Gelareh Babaie; Filipe Magalhaes; Miguel Velhote Correia ; Francisco M Araujo; Awad S Gerges; Faramarz Farahi;
PUBLISHED: 2012, SOURCE: Conference on Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues X in IMAGING, MANIPULATION, AND ANALYSIS OF BIOMOLECULES, CELLS, AND TISSUES X, VOLUME: 8225
AUTHORS: Mehrdad Abolbashari; Gelareh Babaie; Filipe Magalhaes; Miguel Velhote Correia ; Francisco M Araujo; Awad S Gerges; Faramarz Farahi;
PUBLISHED: 2012, SOURCE: Conference on Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues X in IMAGING, MANIPULATION, AND ANALYSIS OF BIOMOLECULES, CELLS, AND TISSUES X, VOLUME: 8225
18054
TITLE: Birefringence swap at the transition to hyperbolic dispersion in metamaterials
AUTHORS: Custodio, LM; Sousa, CT ; Ventura, J ; Teixeira, JM ; Marques, PVS ; Araujo, JP ;
PUBLISHED: 2012, SOURCE: PHYSICAL REVIEW B, VOLUME: 85, ISSUE: 16
AUTHORS: Custodio, LM; Sousa, CT ; Ventura, J ; Teixeira, JM ; Marques, PVS ; Araujo, JP ;
PUBLISHED: 2012, SOURCE: PHYSICAL REVIEW B, VOLUME: 85, ISSUE: 16
18055
TITLE: BIST Design for Analog Cell Matching
AUTHORS: Candido Duarte ; Henrique Cavadas; Pedro Coke; Luis Malheiro; Vitor Grade Tavares ; Pedro Guedes de Oliveira;
PUBLISHED: 2012, SOURCE: 17th IEEE European Test Symposium (ETS) in 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)
AUTHORS: Candido Duarte ; Henrique Cavadas; Pedro Coke; Luis Malheiro; Vitor Grade Tavares ; Pedro Guedes de Oliveira;
PUBLISHED: 2012, SOURCE: 17th IEEE European Test Symposium (ETS) in 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)
18056
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
INDEXED IN: 
WOS
WOS18057
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: 
Scopus WOS
Scopus WOS18058
TITLE: Blind navigation support system based on Microsoft Kinect
AUTHORS: Filipe, V ; Fernandes, F; Fernandes, H ; Sousa, A ; Paredes, H; Barroso, J ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
AUTHORS: Filipe, V ; Fernandes, F; Fernandes, H ; Sousa, A ; Paredes, H; Barroso, J ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
18059
TITLE: Bottom Estimation and Following with the MARES AUV
AUTHORS: Melo, J ; Matos, A ;
PUBLISHED: 2012, SOURCE: OCEANS 2012 MTS/IEEE Hampton Roads Conference: Harnessing the Power of the Ocean in 2012 OCEANS
AUTHORS: Melo, J ; Matos, A ;
PUBLISHED: 2012, SOURCE: OCEANS 2012 MTS/IEEE Hampton Roads Conference: Harnessing the Power of the Ocean in 2012 OCEANS
18060
TITLE: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
INDEXED IN: DBLP 
arXiv
DBLP arXiv