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: 18407
1699 Team MembersFilters -> Year: 2024
12581
TITLE: Automatic Localization of the Optic Disc in Retinal Images Based on the Entropy of Vascular Directions
AUTHORS: Ana Maria Mendonca ; Filipe Cardoso; Antonio V Sousa ; Aurelio Campilho ;
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: Ana Maria Mendonca ; Filipe Cardoso; Antonio V Sousa ; Aurelio Campilho ;
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
12582
TITLE: Automatic ontology alignment disambiguation based on ontological structural dimension
AUTHORS: Gouveia, A; Silva, N ; Rocha, J ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, VOLUME: 2 ISAS, ISSUE: SAIC/-, PAGES: 164-167
AUTHORS: Gouveia, A; Silva, N ; Rocha, J ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, VOLUME: 2 ISAS, ISSUE: SAIC/-, PAGES: 164-167
INDEXED IN: 
Scopus
Scopus12583
TITLE: Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans
AUTHORS: Pedro L Rodrigues; Antnio H J Moreira; Andreia Teixeira Castro ; Joao Oliveira; Nuno Dias ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Biomedical Applications in Molecular, Structural and Functional Imaging in MEDICAL IMAGING 2012: BIOMEDICAL APPLICATIONS IN MOLECULAR, STRUCTURAL, AND FUNCTIONAL IMAGING, VOLUME: 8317
AUTHORS: Pedro L Rodrigues; Antnio H J Moreira; Andreia Teixeira Castro ; Joao Oliveira; Nuno Dias ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Biomedical Applications in Molecular, Structural and Functional Imaging in MEDICAL IMAGING 2012: BIOMEDICAL APPLICATIONS IN MOLECULAR, STRUCTURAL, AND FUNCTIONAL IMAGING, VOLUME: 8317
12584
TITLE: Automatic segmentation of carotid B-mode images using fuzzy classification Full Text
AUTHORS: Rui Rocha ; Jorge Silva ; Aurelio Campilho ;
PUBLISHED: 2012, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 50, ISSUE: 5, PAGES: 533-545
AUTHORS: Rui Rocha ; Jorge Silva ; Aurelio Campilho ;
PUBLISHED: 2012, SOURCE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 50, ISSUE: 5, PAGES: 533-545
12585
TITLE: Automatic traceability acquisition framework
AUTHORS: Bettencourt, N ; Peixoto, R; Silva, N ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012 in ACM International Conference Proceeding Series
AUTHORS: Bettencourt, N ; Peixoto, R; Silva, N ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012 in ACM International Conference Proceeding Series
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef12586
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
12587
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
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 
arXiv
DBLP arXiv12588
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
12589
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
12590
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: RoboCup 2012: Robot Soccer World Cup XVI [papers from the 16th Annual RoboCup International Symposium, Mexico City, Mexico, June 18-24, 2012]., VOLUME: 7500, PAGES: 298-309
AUTHORS: Jonas Logghe; André Dias; José Miguel Almeida; Alfredo Martins ; Eduardo P da Silva;
PUBLISHED: 2012, SOURCE: RoboCup 2012: Robot Soccer World Cup XVI [papers from the 16th Annual RoboCup International Symposium, Mexico City, Mexico, June 18-24, 2012]., VOLUME: 7500, PAGES: 298-309
INDEXED IN: DBLP
DBLP12591
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
12592
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP 
Handle
DBLP Handle12593
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: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
12594
TITLE: Bigraphical modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
12595
TITLE: Biological imaging with high dynamic range using compressive imaging technique
AUTHORS: Mehrdad Abolbashari; Gelareh Babaie; Filipe Magalhaes; Miguel V 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 V 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
12596
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
12597
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)
12598
TITLE: Blind navigation support system based on Microsoft Kinect
AUTHORS: Vitor Filipe ; Filipe Fernandes; Hugo Fernandes ; Antonio Sousa ; Hugo Paredes; Joao Barroso ;
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: Vitor Filipe ; Filipe Fernandes; Hugo Fernandes ; Antonio Sousa ; Hugo Paredes; Joao Barroso ;
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
12599
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
12600
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