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

531 Team Members
Filters -> Year: 2024
2221
TITLE: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PAGES: 79-88
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2222
TITLE: A Low-Cost System to Estimate Leaf Area Index Combining Stereo Images and Normalized Difference Vegetation Index
AUTHORS: Mendes, JM ; Filipe, VM ; dos Santos, FN ; dos Santos, RM;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 236-247
INDEXED IN: Scopus WOS CrossRef
2223
TITLE: A Machine Learning Model to Early Detect Low Performing Students from LMS Logged Interactions
AUTHORS: Bruno Cabral; Álvaro Figueira ;
PUBLISHED: 2019, SOURCE: Learning and Analytics in Intelligent Systems - Innovation in Information Systems and Technologies to Support Learning Research, PAGES: 145-154
INDEXED IN: CrossRef
2224
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78
INDEXED IN: Scopus WOS DBLP CrossRef: 14
2225
TITLE: A MCDA MODEL FOR OLIVE OIL SUPPLIER SELECTION USING MACBETH
AUTHORS: Teresa Pereira ; Elisabete Dias; Dalila B M M Fontes ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 849-862
INDEXED IN: Scopus WOS CrossRef: 5 Handle
2226
TITLE: A Multi-agent System for Recommending Fire Evacuation Routes in Buildings, Based on Context and IoT
AUTHORS: Joaquim Neto; Jorge J Morais ; Ramiro Gonçalves ; Leça L Coelho;
PUBLISHED: 2019, SOURCE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection - International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 1047, PAGES: 343-347
INDEXED IN: Scopus DBLP CrossRef: 3
2227
TITLE: A NEW GAME-BASED APPROACH FOR THE CREATIVE LEARNING OF PROGRAMMING IN THE DIGITAL MEDIA AREA
AUTHORS: Coelho, A ; Reis, L; Monteiro, J;
PUBLISHED: 2019, SOURCE: 11th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 7907-7917
INDEXED IN: WOS CrossRef
2228
TITLE: A Novel Intrusion Detection System Architecture for Internet of Things Networks
AUTHORS: Leonel Santos; Ramiro Goncalves ; Carlos Rabadao ;
PUBLISHED: 2019, SOURCE: 18th European Conference on Cyber Warfare and Security (ECCWS) in PROCEEDINGS OF THE 18TH EUROPEAN CONFERENCE ON CYBER WARFARE AND SECURITY (ECCWS 2019), VOLUME: 2019-July, PAGES: 428-435
INDEXED IN: Scopus WOS
2229
TITLE: A Proposal for an Electronic Negotiation Platform for Tourism in Low-Density Regions: Characterizing a Functional Analysis and Prototype for the Douro Valley
AUTHORS: Luis Cardoso; Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Fernando Moreira ; Manuel Au Yong Oliveira ;
PUBLISHED: 2019, SOURCE: 7th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING (CIMPS 2018), VOLUME: 865, PAGES: 280-292
INDEXED IN: Scopus WOS CrossRef
2230
TITLE: A Quantitative Understanding of Pattern Matching
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PAGES: 3:1-3:36
INDEXED IN: Scopus DBLP
2231
TITLE: A Quantum Algorithm for Ray Casting using an Orthographic Camera
AUTHORS: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 56-63
INDEXED IN: Scopus WOS CrossRef: 3
2232
2233
TITLE: A review of assistive spatial orientation and navigation technologies for the visually impaired  Full Text
AUTHORS: Hugo Fernandes ; Paulo Costa; Vitor Filipe ; Hugo Paredes ; João Barroso ;
PUBLISHED: 2019, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 18, ISSUE: 1, PAGES: 155-168
INDEXED IN: Scopus WOS DBLP CrossRef: 60
2234
TITLE: A Review of the main machine learning methods for predicting residential energy consumption
AUTHORS: Gonzalez Briones, A; Hernandez, G; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2019, SOURCE: 16th International Conference on the European Energy Market, EEM 2019 in International Conference on the European Energy Market, EEM, VOLUME: 2019-September
INDEXED IN: Scopus
2235
TITLE: A Review of the Main Machine Learning Methods for Predicting Residential Energy Consumption
AUTHORS: Alfonso Gonzalez-Briones; Guillermo Hernandez; Tiago Pinto ; Zita Vale; Juan M Corchado;
PUBLISHED: 2019, SOURCE: 2019 16th International Conference on the European Energy Market (EEM)
INDEXED IN: CrossRef: 10
2236
TITLE: A Review on Relations Extraction in Police Reports
AUTHORS: Gonçalo Carnaz; Paulo Quaresma ; Vítor Beires Nogueira ; Mário Antunes ; Nuno M Fonseca Ferreira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 1, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, 2019, VOLUME: 930, PAGES: 494-503
INDEXED IN: Scopus DBLP CrossRef: 2
2237
TITLE: A review on web content popularity prediction: Issues and open challenges
AUTHORS: Nuno Moniz ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: Online Social Networks and Media, VOLUME: 12, PAGES: 1-20
INDEXED IN: Scopus DBLP CrossRef: 17
2238
TITLE: A Smart City's Model Secured by Blockchain
AUTHORS: Brandao, A; Mamede, HS ; Goncalves, R ;
PUBLISHED: 2019, SOURCE: 7th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING (CIMPS 2018), VOLUME: 865, PAGES: 249-260
INDEXED IN: Scopus WOS CrossRef: 5
2239
TITLE: A Study of the Critical Chain Project Management Method Applied to a Multiproject System  Full Text
AUTHORS: Robert Eduardo C Cooper Ordonez; Mario Vanhoucke; Jose Coelho ; Rosley Anholon; Olivio Novaski;
PUBLISHED: 2019, SOURCE: PROJECT MANAGEMENT JOURNAL, VOLUME: 50, ISSUE: 3, PAGES: 322-334
INDEXED IN: Scopus WOS CrossRef: 11
2240
TITLE: A Subject-Driven Unsupervised Hidden Semi-Markov Model and Gaussian Mixture Model for Heart Sound Segmentation
AUTHORS: Jorge Oliveira ; Francesco Renna ; Miguel Coimbra ;
PUBLISHED: 2019, SOURCE: IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING, VOLUME: 13, ISSUE: 2, PAGES: 323-331
INDEXED IN: Scopus WOS DBLP CrossRef: 7

Results per Page: 20.
Page 112 of 410. Total results: 8181.