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: 18111

1699 Team Members
Filters -> Year: 2024
7401
TITLE: A data mining based system for credit-card fraud detection in e-tail  Full Text
AUTHORS: Carneiroa, N; Figueira, G ; Costa, M;
PUBLISHED: 2017, SOURCE: DECISION SUPPORT SYSTEMS, VOLUME: 95, PAGES: 91-101
INDEXED IN: Scopus WOS CrossRef: 64
7402
TITLE: A Data-Driven Feature Extraction Method for Enhanced Phonocardiogram Segmentation PDF
AUTHORS: Francesco Renna ; Jorge Oliveira ; Miguel T Coimbra ;
PUBLISHED: 2017, SOURCE: 44th Computing in Cardiology Conference (CinC) in 2017 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 44, PAGES: 1-4
INDEXED IN: Scopus WOS DBLP CrossRef
7403
TITLE: A Deep Neural Network for Vessel Segmentation of Scanning Laser Ophthalmoscopy Images
AUTHORS: Maria Inês Meyer ; Pedro Costa; Adrian Galdran ; Ana Maria Mendonça ; Aurélio Campilho ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Image Analysis and Recognition, ICIAR 2017 in Image Analysis and Recognition - 14th International Conference, ICIAR 2017, Montreal, QC, Canada, July 5-7, 2017, Proceedings, VOLUME: 10317, PAGES: 507-515
INDEXED IN: Scopus DBLP CrossRef: 9
7404
TITLE: A diffusion-based connectivity map of the GPi for optimised stereotactic targeting in DBS  Full Text
AUTHORS: Nadia Moreira da Silva ; Seyed Ahmad Ahmadi; Sergio Neves Tafula ; Joao Paulo S Silva Cunha ; Kai Botzel; Christian Vollmar; Verena Eveline Rozanski;
PUBLISHED: 2017, SOURCE: NEUROIMAGE, VOLUME: 144, PAGES: 83-91
INDEXED IN: Scopus WOS CrossRef: 18
7405
TITLE: A dynamic multi-objective approach for the reconfigurable multi-facility layout problem  Full Text
AUTHORS: Maria Manuela Azevedo ; Jose Antonio Crispim ; Jorge Pinho de Sousa ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 42, PAGES: 140-152
INDEXED IN: Scopus WOS CrossRef: 20
7406
TITLE: A Fast and Robust Kinematic Model for a 12 DoF Hyper-Redundant Robot Positioning: an Optimization Proposal  Full Text
AUTHORS: Jose Lima ; Ana I Pereira; Paulo Costa ; Andry Pinto ; Pedro Costa ;
PUBLISHED: 2017, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), VOLUME: 1863
INDEXED IN: Scopus WOS CrossRef: 2
7407
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1989-2006
INDEXED IN: Scopus WOS DBLP CrossRef: 18 Unpaywall
7408
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821
INDEXED IN: DBLP
7409
TITLE: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
INDEXED IN: Scopus DBLP CrossRef: 11
7410
TITLE: A finite element model of an induction motor considering rotor skew and harmonics
AUTHORS: Oliveira F. ; Donsión M.;
PUBLISHED: 2017, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 15, PAGES: 119-122
INDEXED IN: Scopus CrossRef
7411
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212
INDEXED IN: DBLP
7412
TITLE: A framework for designing backroom areas in grocery stores
AUTHORS: Maria Pires ; Joaquim Pratas; Jorge Liz; Pedro Amorim ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF RETAIL & DISTRIBUTION MANAGEMENT, VOLUME: 45, ISSUE: 3, PAGES: 230-252
INDEXED IN: Scopus WOS CrossRef: 7
7413
TITLE: A Framework for Recommendation of Highly Popular News Lacking Social Feedback  Full Text
AUTHORS: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 417-450
INDEXED IN: Scopus WOS DBLP CrossRef: 11
7414
TITLE: A full scope web accessibility evaluation procedure proposal based on Iberian eHealth accessibility compliance  Full Text
AUTHORS: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: Computers in Human Behavior, VOLUME: 73, PAGES: 676-684
INDEXED IN: Scopus DBLP CrossRef: 31
7415
TITLE: A global perspective on an emotional learning model proposal  Full Text
AUTHORS: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: TELEMATICS AND INFORMATICS, VOLUME: 34, ISSUE: 6, PAGES: 824-837
INDEXED IN: Scopus WOS DBLP CrossRef: 27
7416
TITLE: A graph-based framework for the analysis of access control policies  Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
INDEXED IN: Scopus WOS DBLP CrossRef: 10
7417
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
INDEXED IN: Scopus DBLP CrossRef: 4
7418
TITLE: A Hierarchical Harmonic Mixing Method
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: 13th international Symposium on Computer Music Multidisciplinary Research, CMMR 2017 in Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers, VOLUME: 11265, PAGES: 151-170
INDEXED IN: Scopus DBLP CrossRef: 2
7419
TITLE: A Hybrid Approach for Personalized News Recommendation in a Mobility Scenario Using Long-Short User Interest  Full Text
AUTHORS: Paula Viana ; March Soares ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 26, ISSUE: 2, PAGES: 1760012
INDEXED IN: Scopus WOS CrossRef: 2
7420
TITLE: A Hybrid Electronic Nose and Tongue for the Detection of Ketones: Improved Sensor Orthogonality Using Graphene Oxide-Based Detectors  Full Text
AUTHORS: Cavallari, MR; Braga, GS ; da Silva, MFP; Izquierdo, JEE; Paterno, LG; Dirani, EAT; Kymissis, I; Fonseca, FJ;
PUBLISHED: 2017, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 17, ISSUE: 7, PAGES: 1971-1980
INDEXED IN: Scopus WOS CrossRef: 13

Results per Page: 20.
Page 371 of 906. Total results: 18111.