Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 24967

1716 Team Members
Filters -> Year: 2026
13161
TITLE: Assisted Guidance for the Blind Using the Kinect Device
AUTHORS: Vítor Filipe ; Nuno Faria; Hugo Paredes ; Hugo Fernandes ; João Barroso ;
PUBLISHED: 2016, SOURCE: DSAI, PAGES: 13-19
INDEXED IN: Scopus DBLP CrossRef: 7 Unpaywall
13162
TITLE: Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: WADT, VOLUME: 10644 LNCS, PAGES: 39-55
INDEXED IN: Scopus DBLP CrossRef: 2
13163
TITLE: AToMRS: A Tool to Monitor Recommender Systems
AUTHORS: Costa, A; Cunha, T ; Soares, C ;
PUBLISHED: 2016, SOURCE: 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR) in KDIR: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 1, VOLUME: 1, PAGES: 133-140
INDEXED IN: Scopus WOS DBLP CrossRef
13164
TITLE: Augmented Reality Experiments with Industrial Robot in Industry 4.0 Environment
AUTHORS: Maly, I; Sedlacek, D; Leitao, P ;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 176-181
INDEXED IN: Scopus WOS CrossRef: 56
13165
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: Eurographics (Posters), PAGES: 31-32
INDEXED IN: Scopus DBLP
13166
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
INDEXED IN: Scopus WOS DBLP CrossRef: 82
13167
TITLE: Automated Scenario-based Testing of Distributed and Heterogeneous Systems
AUTHORS: Bruno Lima ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), PAGES: 383-384
INDEXED IN: Scopus WOS CrossRef: 1
13168
TITLE: Automated Setting of Bus Schedule Coverage Using Unsupervised Machine Learning
AUTHORS: Jihed Khiari; Luís Moreira Matias; Vítor Cerqueira ; Oded Cats;
PUBLISHED: 2016, SOURCE: PAKDD (1), VOLUME: 9651, PAGES: 552-564
INDEXED IN: Scopus DBLP CrossRef: 12
13169
TITLE: Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 10th International Conference on Software Technologies (ICSOFT) in SOFTWARE TECHNOLOGIES (ICSOFT 2015), VOLUME: 586, PAGES: 380-396
INDEXED IN: Scopus WOS DBLP CrossRef: 3
13170
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
INDEXED IN: Scopus WOS CrossRef: 1
13171
TITLE: Automatic Classification of Anuran Sounds Using Convolutional Neural Networks
AUTHORS: Juan Gabriel Colonna ; Tanel Peet; Carlos Abreu Ferreira ; Alípio Mário Jorge ; Gomes, EF ; João Gama ;
PUBLISHED: 2016, SOURCE: C3S2E, VOLUME: 20-22-July-2016, PAGES: 73-78
INDEXED IN: Scopus DBLP CrossRef: 27
13172
TITLE: Automatic Lumen Detection on Longitudinal Ultrasound B-Mode Images of the Carotid Using Phase Symmetry
AUTHORS: Rouco, J ; Global COVID-19 Stroke Registry ; Campilho, A ;
PUBLISHED: 2016, SOURCE: SENSORS, VOLUME: 16, ISSUE: 3, PAGES: 350
INDEXED IN: Scopus WOS DBLP CrossRef: 11
13173
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
INDEXED IN: Scopus WOS CrossRef: 5 Handle
13174
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: BIOIMAGING, PAGES: 71-76
INDEXED IN: Scopus DBLP CrossRef: 3
13175
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
INDEXED IN: Scopus CrossRef: 2
13176
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
INDEXED IN: Scopus WOS CrossRef: 1
13177
TITLE: Autonomous Driving Simulator for Educational Purposes
AUTHORS: Valter Costa ; Rosaldo J F Rossetti ; Armando Sousa ;
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
INDEXED IN: Scopus WOS CrossRef: 12
13178
TITLE: Autonomous systems to support social activity of elderly people A prospective approach to a system design
AUTHORS: Reis, A ; Paredes, H ; Barroso, I; Monteiro, MJ ; Rodrigues, V ; Khanal, SR ; Barroso, J ;
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
INDEXED IN: Scopus WOS DBLP CrossRef: 20
13179
TITLE: AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems: the ANTAREX Approach
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Martinovic, J; Palermo, G; Palkovic, M; Pinto, P ; Rohou, E; Sanna, N; Slaninová, K;
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

Results per Page: 20.
Page 659 of 1249. Total results: 24967.