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

531 Team Members
Filters -> Year: 2024
4301
TITLE: Using Smartphones to Classify Urban Sounds
AUTHORS: Elsa Ferreira Gomes ; Fábio Batista; Alípio Mário Jorge ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PAGES: 67-72
INDEXED IN: Scopus DBLP CrossRef: 3
4302
TITLE: Validating an Approach to Formalize Use Cases with Ontologies  Full Text
AUTHORS: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLISHED: 2016, SOURCE: 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 205, ISSUE: 205, PAGES: 1-15
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4303
TITLE: Vanishing scares: biofeedback modulation of affective player experiences in a procedural horror game  Full Text
AUTHORS: Pedro A Nogueira ; Vasco Torres; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLISHED: 2016, SOURCE: JOURNAL ON MULTIMODAL USER INTERFACES, VOLUME: 10, ISSUE: 1, PAGES: 31-62
INDEXED IN: Scopus WOS DBLP CrossRef: 18
4304
TITLE: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783, PAGES: 163-184
INDEXED IN: Scopus WOS DBLP CrossRef: 23
4305
TITLE: Verifying Constant-Time Implementations
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PAGES: 53-70
INDEXED IN: WOS DBLP
4306
TITLE: Video Annotation for Immersive Journalism using Masking Techniques
AUTHORS: Joao Meira; Joao Marques; Jacob, J ; Rui Nobrega ; Rui Rodrigues ; Antonio Coelho ; Augusto de Sousa, AA ;
PUBLISHED: 2016, SOURCE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PAGES: 49-55
INDEXED IN: Scopus WOS CrossRef: 2
4307
TITLE: Virtual tagging detection for context awareness using computer vision
AUTHORS: Hugo Fernandes ; Hugo Paredes ; Vítor Filipe ; João Barroso ;
PUBLISHED: 2016, SOURCE: 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, DSAI 2016 in Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2016, Vila Real, Portugal, December 1-3, 2016, VOLUME: Part F126964, PAGES: 1-7
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
4308
TITLE: Visualization System for Monitoring Data Management Systems
AUTHORS: Alexandre Carvalho ; Emanuel Pinho;
PUBLISHED: 2016, SOURCE: Journal of Information Systems Engineering & Management, VOLUME: 1, ISSUE: 4
INDEXED IN: CrossRef: 2
4309
TITLE: Vividness, delight, and urge to buy online
AUTHORS: Carlos Peixeira Marques; Ramiro Goncalves ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: WOS CrossRef: 1
4310
TITLE: Voice recognition in the LabTablet electronic laboratory notebook
AUTHORS: Susana Ventura; Ricardo Carvalho Amorim ; João Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PAGES: 13-16
INDEXED IN: Scopus DBLP CrossRef
4311
TITLE: Volatility Leveraging in Heart Rate: health vs disease PDF
AUTHORS: Ana Paula Rocha ; Argentina Leite ; Maria Eduarda Silva ;
PUBLISHED: 2016, SOURCE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PAGES: 25-28
INDEXED IN: Scopus WOS DBLP
4312
TITLE: Wang and Mendel's fuzzy rule learning method for energy consumption forecasting considering the influence of environmental temperature
AUTHORS: Aria Jozi; Tiago Pinto ; Isabel Praça; Francisco Silva; Brigida Teixeira; Zita A Vale;
PUBLISHED: 2016, SOURCE: 2016 Global Information Infrastructure and Networking Symposium, GIIS 2016, Porto, Portugal, October 19-21, 2016, PAGES: 1-6
INDEXED IN: DBLP
4313
TITLE: Wavelet-Based Clustering of Sea Level Records  Full Text
AUTHORS: Barbosa, SM ; Gouveia, S ; Scotto, MG ; Alonso, AM;
PUBLISHED: 2016, SOURCE: MATHEMATICAL GEOSCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 149-162
INDEXED IN: Scopus WOS CrossRef: 6
4314
TITLE: Web Accessibility Challenges and Perspectives A systematic literature review
AUTHORS: Ana Baptista; Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Tania Rocha ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXED IN: Scopus WOS CrossRef: 14
4315
TITLE: Welcome to EICS 2016
AUTHORS: Luyten, K; Palanque, P; Campos, JC ; Schmidt, A; Signer, B; Roussel, N;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016 in EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXED IN: Scopus
4316
TITLE: Why Logical Clocks Are Easy  Full Text
AUTHORS: Carlos Baquero ; Nuno Preguica;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 59, ISSUE: 4, PAGES: 43-47
INDEXED IN: Scopus WOS DBLP CrossRef: 9
4317
TITLE: Why Logical Clocks are Easy. Sometimes all you need is the right language.
AUTHORS: Carlos Baquero ; Nuno M Preguiça;
PUBLISHED: 2016, SOURCE: ACM Queue, VOLUME: 14, ISSUE: 1, PAGES: 60
INDEXED IN: Scopus DBLP CrossRef: 1
4318
TITLE: Why should you model time when you use Markov Models for heart sound analysis
AUTHORS: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 3449-3452
INDEXED IN: Scopus WOS DBLP CrossRef
4319
TITLE: Workshop message: Smart Vehicles 2016
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
INDEXED IN: Scopus CrossRef
4320
TITLE: Worlds of Events Deduction with Partial Knowledge about Causality PDF  Full Text
AUTHORS: Haeri, SH; Van Roy, P; Baquero, C ; Meiklejohn, C;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1608.03326, ISSUE: 223, PAGES: 113-127
INDEXED IN: Scopus WOS DBLP arXiv CrossRef

Results per Page: 20.
Page 216 of 414. Total results: 8279.