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
2181
TITLE: Using Artificial Intelligence to Predict Academic Performance
AUTHORS: Arsénio Reis ; Tânia Rocha; Paulo Martins ; João Barroso ;
PUBLISHED: 2020, SOURCE: 22nd International Conference on Human Computer Interaction,HCII 2020 in HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence - 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, VOLUME: 12424, PAGES: 517-526
INDEXED IN: Scopus DBLP CrossRef: 1
2182
TITLE: Using autoencoders as a weight initialization method on deep neural networks for disease detection  Full Text
AUTHORS: Ferreira, MF ; Camacho, R ; Luis F. Teixeira ;
PUBLISHED: 2020, SOURCE: 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) / Session on Machine Learning in Healthcare Informatics and Medical Biology in BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 20, ISSUE: 5, PAGES: 141
INDEXED IN: Scopus WOS DBLP CrossRef: 16
2183
TITLE: Using BPMN to Identify Indicators for Teacher Intervention in Support of Self-regulation and Co-regulation of Learning in Asynchronous e-learning
AUTHORS: Ceres Morais ; Daniela Pedrosa; Vítor Rocio ; José Cravino; Leonel Morgado ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PAGES: 210-222
INDEXED IN: Scopus DBLP CrossRef Handle
2184
TITLE: Using Network Features for Credit Scoring in MicroFinance: Extended Abstract
AUTHORS: Paraiso, P; Ruiz, S; Gomes, P; Rodrigues, L; Gama, J ;
PUBLISHED: 2020, SOURCE: 7th IEEE International Conference on Data Science and Advanced Analytics (DSAA) in 2020 IEEE 7TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA 2020), PAGES: 783-784
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2185
TITLE: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTHORS: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLISHED: 2020, SOURCE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PAGES: 28:1-28:10
INDEXED IN: Scopus DBLP
2186
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 318-334
INDEXED IN: Scopus DBLP CrossRef
2187
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
INDEXED IN: Scopus DBLP CrossRef: 3
2188
TITLE: Vector Autoregressive Fractionally Integrated Models to Assess Multiscale Complexity in Cardiovascular and Respiratory Time Series
AUTHORS: Martins, Aurora ; Amado, Celestino ; Rocha, AP ; Silva, ME ; Pernice, Riccardo ; Javorka, M ; Faes, Luca ;
PUBLISHED: 2020, SOURCE: 11th Conference of the European-Study-Group-on-Cardiovascular-Oscillations (ESGCO) - Computation and Modelling in Physiology New Challenges and Opportunities in 2020 11TH CONFERENCE OF THE EUROPEAN STUDY GROUP ON CARDIOVASCULAR OSCILLATIONS (ESGCO): COMPUTATION AND MODELLING IN PHYSIOLOGY NEW CHALLENGES AND OPPORTUNITIES
INDEXED IN: Scopus WOS CrossRef
2189
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2190
TITLE: Vertical land motion in the Iberian Atlantic coast and its implications for sea level change evaluation  Full Text
AUTHORS: Mendes, VB; Barbosa, SM ; Carinhas, D;
PUBLISHED: 2020, SOURCE: JOURNAL OF APPLIED GEODESY, VOLUME: 14, ISSUE: 3, PAGES: 361-378
INDEXED IN: Scopus WOS CrossRef: 3
2192
TITLE: Virtual reality in training: an experimental study with firefighters  Full Text
AUTHORS: David Narciso ; Miguel Melo ; Jose Vasconcelos Raposo; Joao Cunha ; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 79, ISSUE: 9-10, PAGES: 6227-6245
INDEXED IN: Scopus WOS DBLP CrossRef: 42
2193
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141, PAGES: 357-370
INDEXED IN: Scopus DBLP CrossRef: 9
2194
TITLE: Visualization of path patterns in semantic graphs  Full Text
AUTHORS: Leal, JP ;
PUBLISHED: 2020, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 17, ISSUE: 1, PAGES: 229-252
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2195
TITLE: Water Footprint Sustainability as a Tool to Address Climate Change in the Wine Sector: A Methodological Approach Applied to a Portuguese Case Study  Full Text
AUTHORS: Saraiva, A; Presumido, P; Silvestre, J; Feliciano, M; Rodrigues, G; Silva, POE; Damasio, M; Ribeiro, A; Ramoa, S; Ferreira, L; Goncalves, A; Ferreira, A; Grifo, A; Paulo, A; Ribeiro, AC; Oliveira, A; Dias, I; Mira, H; Amaral, A; Mamede, H ; Oliveira, M; ...More
PUBLISHED: 2020, SOURCE: ATMOSPHERE, VOLUME: 11, ISSUE: 9, PAGES: 934
INDEXED IN: Scopus WOS CrossRef: 22 Unpaywall Handle
2196
TITLE: What kind of emotions do emoticons communicate?
AUTHORS: Brito, PQ ; Tones, S; Fernandes, J ;
PUBLISHED: 2020, SOURCE: ASIA PACIFIC JOURNAL OF MARKETING AND LOGISTICS, VOLUME: 32, ISSUE: 7, PAGES: 1495-1517
INDEXED IN: Scopus WOS CrossRef: 5
2197
TITLE: WiCAR - Simulating Towards the Wireless Car
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Enio Vasconcelos Filho; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2020, 1st International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems, DepDevOps 2020, 1st International Workshop on Underpinnings for Safe Distributed AI, USDAI 2020, and 3rd International Workshop on Artificial Intelligence Safety Engineering, WAISE 2020, held in conjunction with the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020 in Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings, VOLUME: 12235, PAGES: 136-147
INDEXED IN: Scopus DBLP CrossRef Handle
2198
TITLE: Worker Support and Training Tools to Aid in Vehicle Quality Inspection for the Automotive Industry
AUTHORS: Ana Teresa Campaniço; Salik Ram Khanal ; Hugo Paredes ; Vítor Filipe ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PAGES: 432-441
INDEXED IN: Scopus DBLP CrossRef: 2
2199
TITLE: y Adjacent Markets Influence Over Electricity Trading-Iberian Benchmark Study  Full Text
AUTHORS: Morais, H; Pinto, T ; Vale, Z;
PUBLISHED: 2020, SOURCE: ENERGIES, VOLUME: 13, ISSUE: 11, PAGES: 2808
INDEXED IN: Scopus WOS CrossRef: 3
2200
TITLE: YAKE! Keyword extraction from single documents using multiple local features  Full Text
AUTHORS: Ricardo Campos ; Vitor Mangaravite; Arian Pasquali; Alipio Jorge ; Celia Nunes ; Adam Jatowt;
PUBLISHED: 2020, SOURCE: INFORMATION SCIENCES, VOLUME: 509, PAGES: 257-289
INDEXED IN: Scopus WOS DBLP CrossRef: 329

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