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

535 Team Members
Filters -> Year: 2026
2501
TITLE: A deductive reasoning approach for database applications using verification conditions
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2502
TITLE: A Graph Database Representation of Portuguese Criminal-Related Documents
AUTHORS: Carnaz, G; Nogueira, VB ; Antunes, M ;
PUBLISHED: 2021, SOURCE: INFORMATICS-BASEL, VOLUME: 8, ISSUE: 2, PAGES: 37
INDEXED IN: Scopus WOS DBLP CrossRef: 7
2503
TITLE: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
INDEXED IN: DBLP
2504
TITLE: A Hybrid Metaheuristics Parameter Tuning Approach for Scheduling through Racing and Case-Based Reasoning
AUTHORS: Pereira, I ; Madureira, A ; Costa e Silva, Eliana ; Abraham, A;
PUBLISHED: 2021, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 11, ISSUE: 8, PAGES: 3325
INDEXED IN: Scopus WOS CrossRef: 13
2505
TITLE: A Hybrid Recommender System for Improving Automatic Playlist Continuation  Full Text
AUTHORS: Gatzioura, A; Vinagre, J ; Jorge, AM ; Sanchez Marre, M;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 33, ISSUE: 5, PAGES: 1819-1830
INDEXED IN: Scopus WOS DBLP CrossRef: 13
2506
TITLE: A Kolmogorov Complexity for multidisciplinary domains
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
INDEXED IN: CrossRef Unpaywall
2507
TITLE: A Live Environment for Inspection and Refactoring of Software Systems
AUTHORS: Fernandes, S ;
PUBLISHED: 2021, SOURCE: 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) in PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), PAGES: 1655-1659
INDEXED IN: Scopus WOS CrossRef: 4 Unpaywall
2508
TITLE: A methodology and framework for software memoization of functions
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
INDEXED IN: Scopus DBLP CrossRef: 3
2509
TITLE: A MILP Model for Energy-Efficient Job Shop Scheduling Problem and Transport Resources
AUTHORS: Homayouni, SM ; Fontes, DBMM ;
PUBLISHED: 2021, SOURCE: International-Federation-of-Information-Processing-Working-Group-5.7 (IFIP WG 5.7) International Conference on Advances in Production Management Systems (APMS) in ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: ARTIFICIAL INTELLIGENCE FOR SUSTAINABLE AND RESILIENT PRODUCTION SYSTEMS, APMS 2021, PT I, VOLUME: 630, PAGES: 378-386
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2510
TITLE: A Mixed Model for Identifying Fake News in Tweets from the 2020 US Presidential Election
AUTHORS: Bernardes, Vitor; Figueira, Alvaro ;
PUBLISHED: 2021, SOURCE: 17th International Conference on Web Information Systems and Technologies (WEBIST) in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES (WEBIST), VOLUME: 2021-October, PAGES: 307-315
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2511
TITLE: A Model to Enable the Reuse of Metadata-Based Frameworks in Adaptive Object Model Architectures
AUTHORS: Guerra, E; Dias, AD; Veras, LGDO; Aguiar, A ; Choma, J; Da Silva, TS;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 85124-85143
INDEXED IN: WOS DBLP CrossRef: 2
2512
TITLE: A Multi-spot Murmur Sound Detection Algorithm and Its Application to a Pediatric and Neonate Population
AUTHORS: Oliveira, M; Oliveira, J ; Camacho, R ; Ferreira, C ;
PUBLISHED: 2021, SOURCE: 14th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) / 14th Int Conf on Bio-inspired Systems and Signal Processing (BIOSIGNALS) / 14th Int Conf on Biomedical Electronics and Devices (BIODEVICES) in BIOSIGNALS: PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES - VOL 4: BIOSIGNALS, PAGES: 228-234
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2513
TITLE: A new Approach to Sustainability and Creativity in Requirements Engineering
AUTHORS: Silveira, Clara; Santos, Vitor; Reis, Leonilde; Mamede, Henrique ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
INDEXED IN: Scopus WOS CrossRef: 2
2514
TITLE: A New Cascade-Hybrid Recommender System Approach for the Retail Market
AUTHORS: Miguel Ângelo Rebelo; Duarte Coelho; Ivo Pereira ; Fábio Fernandes;
PUBLISHED: 2021, SOURCE: Innovations in Bio-Inspired Computing and Applications - Proceedings of the 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2021) Held During December 16-18, 2021, VOLUME: 419, PAGES: 371-380
INDEXED IN: DBLP
2515
TITLE: A new self-organizing map based algorithm for multi-label stream classification
AUTHORS: Ricardo Cerri ; Joel David Costa Jínior; Elaine R Faria; João Gama ;
PUBLISHED: 2021, SOURCE: 36th Annual ACM Symposium on Applied Computing, SAC 2021 in SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, PAGES: 418-426
INDEXED IN: Scopus DBLP CrossRef: 3
2516
TITLE: A Novel Tool for Immersive Authoring of Experiential Learning in Virtual Reality
AUTHORS: Cassola, F ; Pinto, M; Mendes, D ; Morgado, L ; Coelho, A ; Paredes, H ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PAGES: 44-49
INDEXED IN: Scopus WOS DBLP CrossRef: 19 Handle
2517
TITLE: A P2P electricity negotiation agent systems in urban smart grids
AUTHORS: de Alba, FL; González Briones, A; Chamoso, P; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLISHED: 2021, SOURCE: 17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020 in Advances in Intelligent Systems and Computing, VOLUME: 1242 AISC, PAGES: 97-106
INDEXED IN: Scopus CrossRef: 4
2518
TITLE: A Performance Assessment of Free-to-Use Vulnerability Scanners - Revisited
AUTHORS: Ricardo Araújo; António Pinto ; Pedro Pinto ;
PUBLISHED: 2021, SOURCE: 36th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2021 in ICT Systems Security and Privacy Protection - 36th IFIP TC 11 International Conference, SEC 2021, Oslo, Norway, June 22-24, 2021, Proceedings, VOLUME: 625, PAGES: 53-65
INDEXED IN: Scopus DBLP CrossRef: 4
2519
TITLE: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTHORS: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira ; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença ; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 in Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, VOLUME: 1439, PAGES: 325-340
INDEXED IN: Scopus DBLP CrossRef: 4
2520
TITLE: A Review of Graph-Based Models for Entity-Oriented Search
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: SN Comput. Sci., VOLUME: 2, ISSUE: 5, PAGES: 437
INDEXED IN: Scopus DBLP CrossRef: 6

Results per Page: 20.
Page 126 of 533. Total results: 10644.