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

1699 Team Members
Filters -> Year: 2024
6061
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries  Full Text
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6062
TITLE: Message from the a- Most 2019 chairs
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
INDEXED IN: Scopus CrossRef
6063
TITLE: Message from the symposium general chair and program chairs
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
6064
TITLE: Metbots: Metabolomics robots for precision viticulture
AUTHORS: Martins, RC; Magalhães, S ; Jorge, P ; Barroso, T; Santos, F ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11804 LNAI, PAGES: 156-166
INDEXED IN: Scopus CrossRef: 2
6065
TITLE: Methodological considerations for kinematic analysis of upper limbs in healthy and poststroke adults Part II: a systematic review of motion capture systems and kinematic metrics
AUTHORS: Mesquita, IA; da Fonseca, PFP; Pinheiro, ARV; Correia, MFPV ; da Silva, CIC;
PUBLISHED: 2019, SOURCE: TOPICS IN STROKE REHABILITATION, VOLUME: 26, ISSUE: 6, PAGES: 464-472
INDEXED IN: Scopus WOS CrossRef Handle
6067
TITLE: Micro-Cantilever Displacement Detection Based in Optical Fiber Tip  Full Text
AUTHORS: Paulo Robalinho ; Orlando Frazao ;
PUBLISHED: 2019, SOURCE: SENSORS, VOLUME: 19, ISSUE: 22, PAGES: 4826
INDEXED IN: Scopus WOS CrossRef: 2
6068
TITLE: Microfiber Knot Resonators for Sensing Applications
AUTHORS: Gomes, AD ; Frazao, O ;
PUBLISHED: 2019, SOURCE: 5th International Conference on Photonics, Optics and Laser Technology (PHOTOPTICS) in OPTICS, PHOTONICS AND LASER TECHNOLOGY 2017, VOLUME: 222, PAGES: 145-163
INDEXED IN: Scopus WOS CrossRef
6069
TITLE: Mineração de dados auxiliando na descoberta das causas da evasão escolar: Um Mapeamento Sistemático da Literatura  Full Text
AUTHORS: Leonardo Torres Marques; Angélica Félix De Castro; Bruno Torres Marques; Jesaias Carvalho Pereira Silva; Paulo Gabriel Gadelha Queiroz ;
PUBLISHED: 2019, SOURCE: RENOTE, VOLUME: 17, ISSUE: 3, PAGES: 194-203
INDEXED IN: CrossRef
6070
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PAGES: 11:1-11:17
INDEXED IN: Scopus DBLP
6071
TITLE: Mining Frequent Distributions in Time Series
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PAGES: 271-279
INDEXED IN: Scopus WOS DBLP CrossRef
6072
TITLE: Mitral Valve Leaflets Segmentation in Echocardiography using Convolutional Neural Networks
AUTHORS: Eva Costa; Nelson Martins; Malik Saad Sultan; Diana Veiga; Manuel Ferreira; Sandra Mattos; Miguel Coimbra ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
INDEXED IN: Scopus WOS CrossRef: 9
6074
TITLE: Mixed-integer nonlinear programming framework for combined heat and power units with nonconvex feasible operating region: Feasibility, optimality, and flexibility evaluation
AUTHORS: Razavi, SE; Javadi, MS ; Nezhad, AE;
PUBLISHED: 2019, SOURCE: INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS, VOLUME: 29, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
6075
TITLE: MixMash. An Assistive Tool for Music Mashup Creation from Large Music Collections
AUTHORS: Catarina Maçãs; Ana Rodrigues; Gilberto Bernardes ; Penousal Machado;
PUBLISHED: 2019, SOURCE: International Journal of Art, Culture and Design Technologies, VOLUME: 8, ISSUE: 2, PAGES: 20-40
INDEXED IN: CrossRef: 3
6076
TITLE: Mobile Applications and Their Use in Language Learning
AUTHORS: Cátia Silva; David Melo; Filipe Barros; Joana Conceição; Ramiro Gonçalves ; Manuel Au Yong Oliveira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PAGES: 452-462
INDEXED IN: Scopus DBLP CrossRef: 1
6077
TITLE: Model Driven Automatic Code Generation: An Evolutionary Approach to Disruptive Innovation Benefits
AUTHORS: Joao Penha-Lopes; Manuel Au-Yong-Oliveira ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: Advances in Intelligent Systems and Computing - Trends and Applications in Software Engineering, PAGES: 234-249
INDEXED IN: CrossRef
6078
TITLE: Model Predictive Power Allocation for Hybrid Battery Balancing Systems
AUTHORS: Ricardo de Castro; Rui Esteves Araujo ;
PUBLISHED: 2019, SOURCE: 16th IEEE Vehicle Power and Propulsion Conference (VPPC) in 2019 IEEE VEHICLE POWER AND PROPULSION CONFERENCE (VPPC)
INDEXED IN: Scopus WOS CrossRef
6079
TITLE: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232, PAGES: 486-502
INDEXED IN: Scopus DBLP CrossRef
6080
TITLE: Modeling a Large-Scale Battery Energy Storage System for Power Grid Application Analysis  Full Text
AUTHORS: Giuliano Rancilio; Alexandre Lucas ; Evangelos Kotsakis; Gianluca Fulli; Marco Merlo; Maurizio Delfanti; Marcelo Masera;
PUBLISHED: 2019, SOURCE: Energies, VOLUME: 12, ISSUE: 17, PAGES: 3312
INDEXED IN: CrossRef: 39

Results per Page: 20.
Page 304 of 920. Total results: 18397.