CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

535 Team Members
Filters -> Year: 2026
3841
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
INDEXED IN: Scopus WOS DBLP CrossRef: 4
3842
TITLE: Generating a Binary Symmetric Channel for Wiretap Codes
AUTHORS: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, ISSUE: 8, PAGES: 2128-2138
INDEXED IN: Scopus WOS CrossRef: 13
3843
TITLE: Generating Synthetic Missing Data: A Review by Missing Mechanism
AUTHORS: Santos, MS ; Pereira, RC ; Costa, AF; Soares, JP; Santos, J ; Abreu, PH ;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 11651-11667
INDEXED IN: Scopus WOS CrossRef: 80 Unpaywall
3844
TITLE: Generating Synthetic Missing Data: A Review by Missing Mechanism
AUTHORS: Miriam Seoane Santos ; Ricardo Cardoso Pereira ; Adriana Fonseca Costa; Jastin Pompeu Soares; João A M Santos; Pedro Henriques Abreu ;
PUBLISHED: 2019, SOURCE: IEEE Access, VOLUME: 7, PAGES: 11651-11667
INDEXED IN: DBLP
3845
TITLE: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM; Soares, J; Lezama, F;
PUBLISHED: 2019, SOURCE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PAGES: 1823-1829
INDEXED IN: Scopus CrossRef: 7
3846
TITLE: Genetic fuzzy rule-based system using MOGUL learning methodology for energy consumption forecasting
AUTHORS: Jozi, A; Pinto, T ; Praca, I; Silva, F; Teixeira, B; Vale, Z ;
PUBLISHED: 2019, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 55-64
INDEXED IN: Scopus WOS CrossRef
3847
TITLE: Gesture based alternative to control recreational UAV
AUTHORS: Ribeiro, R; Safadinho, D; Ramos, J; Rodrigues, N ; Reis, A ; Pereira, A ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 34-44
INDEXED IN: Scopus CrossRef: 1
3848
TITLE: Get Your Spreadsheets Under (Version) Control
AUTHORS: José Nuno Macedo ; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PAGES: 100-113
INDEXED IN: Scopus DBLP
3849
TITLE: Going Back to Basics on Volumetric Segmentation of the Lungs in CT: A Fully Image Processing Based Technique
AUTHORS: Oliveira, AC; Inês Domingues ; Duarte, H; Santos, J ; Abreu, PH ;
PUBLISHED: 2019, SOURCE: 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019 in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2019, PT II, VOLUME: 11868, PAGES: 322-334
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
3850
TITLE: Graph-Based Code Restructuring Targeting HLS for FPGAs
AUTHORS: Afonso Canas Ferreira; João M P Cardoso ;
PUBLISHED: 2019, SOURCE: 15th International Symposium on Applied Reconfigurable Computing, ARC 2019 in Applied Reconfigurable Computing - 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings, VOLUME: 11444, PAGES: 230-244
INDEXED IN: Scopus DBLP CrossRef: 2
3851
TITLE: Graph-of-Entity: A Model for Combined Data Representation and Retrieval
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 1:1-1:14
INDEXED IN: Scopus DBLP
3852
TITLE: GreenHub farmer: real-world data for Android energy mining
AUTHORS: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May, PAGES: 171-175
INDEXED IN: Scopus DBLP CrossRef: 7
3853
TITLE: GreenSource: a large-scale collection of Android code, tests and energy metrics
AUTHORS: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May, PAGES: 176-180
INDEXED IN: Scopus DBLP CrossRef: 7
3854
TITLE: Guest Editorial. Special Issue on Data Mining for Geosciences  Full Text
AUTHORS: Alípio Jorge ; Rui L Lopes; German Larrazabal; Hamed Nikhalat-Jahromi;
PUBLISHED: 2019, SOURCE: Data Mining and Knowledge Discovery
INDEXED IN: CrossRef
3855
TITLE: Guest Editorial Small Things and Big Data: Controversies and Challenges in Digital Healthcare  Full Text
AUTHORS: Panagiotis D Bamidis; Stathis Th. Konstantinidis; Pedro Pereira Rodrigues ; Sameer Antani; Daniela Giordano;
PUBLISHED: 2019, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, ISSUE: 6, PAGES: 2208-2210
INDEXED IN: Scopus WOS DBLP CrossRef: 1
3856
TITLE: Guest Editorial: Special Issue on Data Mining for Geosciences  Full Text
AUTHORS: Jorge, A ; Lopes, RL ; Larrazabal, G; Nikhalat Jahromi, H;
PUBLISHED: 2019, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 33, ISSUE: 3, PAGES: 695-696
INDEXED IN: Scopus WOS DBLP
3857
TITLE: Hands-On Data Publishing with Researchers: Five Experiments with Metadata in Multiple Domains
AUTHORS: Joana Rodrigues ; João Aguiar Castro ; João Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2019, SOURCE: 15th Italian Research Conference on Digital Libraries, IRCDL 2019 in Digital Libraries: Supporting Open Science - 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings, VOLUME: 988, PAGES: 274-288
INDEXED IN: Scopus DBLP CrossRef: 3
3858
TITLE: Health determinants and its relationship with food intake and sleep quality among university studies
AUTHORS: P. Cunha; R. Lourenço; Bruno M P M Oliveira ; Rui Poínhos; EStudantes N FCNAUP 2017/2018; Maria D V d Almeida;
PUBLISHED: 2019
INDEXED IN: Handle
3859
TITLE: Heart Sounds Classification Using Images from Wavelet Transformation
AUTHORS: Nogueira, DM ; Zarmehri, MN; Ferreira, CA ; Jorge, AM ; Antunes, L ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 311-322
INDEXED IN: Scopus WOS DBLP CrossRef: 6
3860
TITLE: Heterogeneous Implementation of a Voronoi Cell-Based SVP Solver
AUTHORS: Falcao, G ; Cabeleira, F; Mariano, A; Santos, LP ;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 127012-127023
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 193 of 527. Total results: 10521.