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: 19067
1704 Team MembersFilters -> Year: 2025
9281
TITLE: Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016 in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, VOLUME: 10644, PAGES: 39-55
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016 in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, VOLUME: 10644, PAGES: 39-55
9282
TITLE: Augmenting Physical Maps: an AR Platform for Geographical Information Visualization
AUTHORS: Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2016, SOURCE: 37th Annual Conference on European Association for Computer Graphics, EUROGRAPHICS 2016 in Eurographics 2016 - Posters, Lisbon, Portugal, May 9-13, 2016., PAGES: 31-32
AUTHORS: Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2016, SOURCE: 37th Annual Conference on European Association for Computer Graphics, EUROGRAPHICS 2016 in Eurographics 2016 - Posters, Lisbon, Portugal, May 9-13, 2016., PAGES: 31-32
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP9283
TITLE: Automated detection of malaria parasites on thick blood smears via mobile devices
AUTHORS: Rosado, L; da Costa, JMC; Elias, D; Cardoso, JS ;
PUBLISHED: 2016, SOURCE: 20th Conference on Medical Image Understanding and Analysis (MIUA) in 20TH CONFERENCE ON MEDICAL IMAGE UNDERSTANDING AND ANALYSIS (MIUA 2016), VOLUME: 90, PAGES: 138-144
AUTHORS: Rosado, L; da Costa, JMC; Elias, D; Cardoso, JS ;
PUBLISHED: 2016, SOURCE: 20th Conference on Medical Image Understanding and Analysis (MIUA) in 20TH CONFERENCE ON MEDICAL IMAGE UNDERSTANDING AND ANALYSIS (MIUA 2016), VOLUME: 90, PAGES: 138-144
9284
TITLE: Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 10th International Conference on Software Technologies (ICSOFT) in SOFTWARE TECHNOLOGIES (ICSOFT 2015), VOLUME: 586, PAGES: 380-396
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 10th International Conference on Software Technologies (ICSOFT) in SOFTWARE TECHNOLOGIES (ICSOFT 2015), VOLUME: 586, PAGES: 380-396
9285
TITLE: Automated volumetry for unilateral hippocampal sclerosis detection in patients with temporal lobe epilepsy
AUTHORS: Cristina Martins; Nadia Moreira da Silva ; Guilherme Silva ; Verena E Rozanski; Joao Paulo S Silva Cunha ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 6339-6342
AUTHORS: Cristina Martins; Nadia Moreira da Silva ; Guilherme Silva ; Verena E Rozanski; Joao Paulo S Silva Cunha ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 6339-6342
9286
TITLE: Automatic Classification of Anuran Sounds Using Convolutional Neural Networks
AUTHORS: Juan Colonna ; Tanel Peet; Carlos Abreu Ferreira ; Alípio Mário Jorge ; Elsa Ferreira Gomes ; João Gama ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PAGES: 73-78
AUTHORS: Juan Colonna ; Tanel Peet; Carlos Abreu Ferreira ; Alípio Mário Jorge ; Elsa Ferreira Gomes ; João Gama ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PAGES: 73-78
9287
TITLE: Automatic Lumen Detection on Longitudinal Ultrasound B-Mode Images of the Carotid Using Phase Symmetry Full Text
AUTHORS: Jose Rouco ; Elsa Azevedo ; Aurelio Campilho ;
PUBLISHED: 2016, SOURCE: SENSORS, VOLUME: 16, ISSUE: 3, PAGES: 350
AUTHORS: Jose Rouco ; Elsa Azevedo ; Aurelio Campilho ;
PUBLISHED: 2016, SOURCE: SENSORS, VOLUME: 16, ISSUE: 3, PAGES: 350
9288
TITLE: Automatic meal intake monitoring using Hidden Markov Models
AUTHORS: Costa, L; Trigueiros, Paula ; Cunha, A ;
PUBLISHED: 2016, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies (CENTERIS/ProjMAN/HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2016, VOLUME: 100, PAGES: 110-117
AUTHORS: Costa, L; Trigueiros, Paula ; Cunha, A ;
PUBLISHED: 2016, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies (CENTERIS/ProjMAN/HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2016, VOLUME: 100, PAGES: 110-117
9289
TITLE: Automatic Segmentation of Extensor Tendon of the MCP Joint in Ultrasound Images
AUTHORS: Malik Saad Sultan ; Nelson Martins; Diana Veiga; Manuel Ferreira; Miguel Tavares Coimbra ;
PUBLISHED: 2016, SOURCE: 3rd International Conference on Bioimaging, BIOIMAGING 2016 - Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016 in Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016) - Volume 2: BIOIMAGING, Rome, Italy, February 21-23, 2016., PAGES: 71-76
AUTHORS: Malik Saad Sultan ; Nelson Martins; Diana Veiga; Manuel Ferreira; Miguel Tavares Coimbra ;
PUBLISHED: 2016, SOURCE: 3rd International Conference on Bioimaging, BIOIMAGING 2016 - Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016 in Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016) - Volume 2: BIOIMAGING, Rome, Italy, February 21-23, 2016., PAGES: 71-76
9290
TITLE: Automatic short axis orientation of the left ventricle in 3D ultrasound recordings
AUTHORS: Pedrosa, J ; Heyde, B; Heeren, L; Engvall, J; Zamorano, J; Papachristidis, A; Edvardsen, T; Claus, P; D'Hooge, J;
PUBLISHED: 2016, SOURCE: Medical Imaging 2016: Ultrasonic Imaging and Tomography in Progress in Biomedical Optics and Imaging - Proceedings of SPIE, VOLUME: 9790
AUTHORS: Pedrosa, J ; Heyde, B; Heeren, L; Engvall, J; Zamorano, J; Papachristidis, A; Edvardsen, T; Claus, P; D'Hooge, J;
PUBLISHED: 2016, SOURCE: Medical Imaging 2016: Ultrasonic Imaging and Tomography in Progress in Biomedical Optics and Imaging - Proceedings of SPIE, VOLUME: 9790
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef9291
TITLE: Automation and User Interaction Schemes for Home Energy Management - A Combined Approach
AUTHORS: David Rua ; Claudia Abreu ; Tiago Costa ; Miguel Heleno;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2016-November
AUTHORS: David Rua ; Claudia Abreu ; Tiago Costa ; Miguel Heleno;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2016-November
9292
TITLE: Autonomous Driving Simulator for Educational Purposes
AUTHORS: Valter Costa ; Rosaldo J F Rossetti ; Sousa, A. ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTHORS: Valter Costa ; Rosaldo J F Rossetti ; Sousa, A. ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
9293
TITLE: Autonomous systems to support social activity of elderly people A prospective approach to a system design
AUTHORS: Arsenio Reis ; Hugo Paredes ; Isabel Barroso; Maria Joao Monteiro ; Vitor Rodrigues ; Salik Ram Khanal ; Joao Barroso ;
PUBLISHED: 2016, SOURCE: 1st International Conference on Technology and Innovation in Sports, Health and Wellbeing (TISHW) in PROCEEDINGS OF THE 2016 1ST INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW 2016), PAGES: 4:1-4:5
AUTHORS: Arsenio Reis ; Hugo Paredes ; Isabel Barroso; Maria Joao Monteiro ; Vitor Rodrigues ; Salik Ram Khanal ; Joao Barroso ;
PUBLISHED: 2016, SOURCE: 1st International Conference on Technology and Innovation in Sports, Health and Wellbeing (TISHW) in PROCEEDINGS OF THE 2016 1ST INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW 2016), PAGES: 4:1-4:5
9294
TITLE: AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems: the ANTAREX Approach
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea R Beccari; Luca Benini; Joao Bispo ; Radim Cmar; Joao M P Cardoso ; Carlo Cavazzoni; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Pedro Pinto ; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2016, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), PAGES: 708-713
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea R Beccari; Luca Benini; Joao Bispo ; Radim Cmar; Joao M P Cardoso ; Carlo Cavazzoni; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Pedro Pinto ; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2016, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), PAGES: 708-713
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP9295
TITLE: Ãndice de refração, esse desconhecido (parte I)
AUTHORS: Manuel Marques ; Universidade do Porto, ;
PUBLISHED: 2016, SOURCE: Revista de Ciência Elementar, VOLUME: 4, ISSUE: 2
AUTHORS: Manuel Marques ; Universidade do Porto, ;
PUBLISHED: 2016, SOURCE: Revista de Ciência Elementar, VOLUME: 4, ISSUE: 2
INDEXED IN: CrossRef
CrossRef9296
TITLE: Ãndice de refração, esse desconhecido (parte II)
AUTHORS: Manuel Marques ; Universidade do Porto, ;
PUBLISHED: 2016, SOURCE: Revista de Ciência Elementar, VOLUME: 4, ISSUE: 4
AUTHORS: Manuel Marques ; Universidade do Porto, ;
PUBLISHED: 2016, SOURCE: Revista de Ciência Elementar, VOLUME: 4, ISSUE: 4
INDEXED IN: CrossRef
CrossRef9297
TITLE: Ball Detection for Robotic Soccer: A Real-Time RGB-D Approach
AUTHORS: Andre Morais; Pedro Costa ; Jose Lima ;
PUBLISHED: 2016, SOURCE: 2nd Iberian Robotics Conference (ROBOT) in ROBOT 2015: SECOND IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 418, PAGES: 573-585
AUTHORS: Andre Morais; Pedro Costa ; Jose Lima ;
PUBLISHED: 2016, SOURCE: 2nd Iberian Robotics Conference (ROBOT) in ROBOT 2015: SECOND IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 418, PAGES: 573-585
9298
TITLE: Barriers and Critical Success Factors in E-Health Information Technology. A Case Studies Approach
AUTHORS: Fernando Almeida ; José Monteiro; Mário Lousã;
PUBLISHED: 2016, SOURCE: Encyclopedia of E-Health and Telemedicine, PAGES: 13-23
AUTHORS: Fernando Almeida ; José Monteiro; Mário Lousã;
PUBLISHED: 2016, SOURCE: Encyclopedia of E-Health and Telemedicine, PAGES: 13-23
INDEXED IN: CrossRef
CrossRef9299
TITLE: Barriers and Drivers for Innovation in Times of Crisis
AUTHORS: Ana Clara Cândido; Patrícia Feronha Wielevick; Ricardo Augusto Zimmermann ;
PUBLISHED: 2016, SOURCE: Revista de Negócios, VOLUME: 20, ISSUE: 4, PAGES: 01
AUTHORS: Ana Clara Cândido; Patrícia Feronha Wielevick; Ricardo Augusto Zimmermann ;
PUBLISHED: 2016, SOURCE: Revista de Negócios, VOLUME: 20, ISSUE: 4, PAGES: 01
9300
TITLE: Basic Analog and Digital Circuits with a-IGZO TFTs
AUTHORS: Pydi Ganga Bahubalindruni ; Vitor Tavares ; Pedro Barquinha; Rodrigo Martins; Elvira Fortunato;
PUBLISHED: 2016, SOURCE: 13th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) in 2016 13TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD)
AUTHORS: Pydi Ganga Bahubalindruni ; Vitor Tavares ; Pedro Barquinha; Rodrigo Martins; Elvira Fortunato;
PUBLISHED: 2016, SOURCE: 13th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) in 2016 13TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD)
