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

531 Team Members
Filters -> Year: 2024
2401
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: 2
2402
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: 11
2403
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: 6
2404
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
2405
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
2406
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
2407
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: 1
2408
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
2409
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: 1
2410
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
2411
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
2412
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
2413
TITLE: Heart rate variability study in young subjects under stress conditions
AUTHORS: Sampaio, P; Leite, A ; Pereira, LT ; Martinez, JP; Vasconcelos Raposo, J;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
INDEXED IN: Scopus WOS CrossRef
2414
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: 4
2415
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
2416
TITLE: Heuristics for scheduling jobs in a permutation flow shop to minimize total earliness and tardiness with unforced idle time allowed  Full Text
AUTHORS: Jeffrey Schaller; Jorge M S Valente ;
PUBLISHED: 2019, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 119, PAGES: 376-386
INDEXED IN: Scopus WOS CrossRef: 19
2417
TITLE: High Assurance on Cyber-Physical Interactive Systems PDF
AUTHORS: Rui Couto ; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 46-50
INDEXED IN: Scopus DBLP
2418
TITLE: Higher Education Students Perspective on Education Management Information Systems: An Initial Success Model Proposal. An Initial Success Model Proposal
AUTHORS: Jose Martins ; Frederico Branco ; Manuel Au Yong Oliveira ; Ramiro Goncalves ; Fernando Moreira ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF TECHNOLOGY AND HUMAN INTERACTION, VOLUME: 15, ISSUE: 2, PAGES: 1-10
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2419
TITLE: Higher-Order Patterns in Replicated Data Types
AUTHORS: Adriaan Leijnse; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 in Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, PAGES: 5:1-5:6
INDEXED IN: Scopus DBLP CrossRef: 5

Results per Page: 20.
Page 121 of 406. Total results: 8110.