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

536 Team Members
Filters -> Year: 2026
6101
TITLE: Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 10th International Conference on the Quality of Information and Communications Technology (QUATIC) in PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 230-235
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6102
TITLE: Trends in Extreme Mean Sea Level Quantiles from Satellite Altimetry  Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2016, SOURCE: MARINE GEODESY, VOLUME: 39, ISSUE: 2, PAGES: 165-177
INDEXED IN: WOS CrossRef: 1
6103
TITLE: Trends in mathematical economics: Dialogues between Southern Europe and Latin America
AUTHORS: Pinto, AA ; Accinelli Gamba, E ; Yannacopoulos, AN; Hervés Beloso, C;
PUBLISHED: 2016, SOURCE: Trends in Mathematical Economics: Dialogues Between Southern Europe and Latin America, PAGES: 1-383
INDEXED IN: Scopus CrossRef: 2
6104
TITLE: Tuning Pipelined Scientific Data Analyses for Efficient Multicore Execution
AUTHORS: Andre Pereira ; Antonio Onofre ; Alberto Proenca ;
PUBLISHED: 2016, SOURCE: 14th International Conference on High Performance Computing & Simulation (HPCS) in 2016 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS 2016), PAGES: 751-758
INDEXED IN: Scopus WOS CrossRef
6105
TITLE: TweeProfiles3: visualization of spatio-temporal patterns on Twitter
AUTHORS: Maia, A; Cunha, T ; Soares, C ; Abreu, PH ;
PUBLISHED: 2016, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PAGES: 869-878
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6106
TITLE: Typed Connector Families
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2016, SOURCE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539, PAGES: 294-311
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6107
TITLE: Types of assessing student-programming knowledge
AUTHORS: Gomes, A ; Correia, FB; Abreu, PH ;
PUBLISHED: 2016, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE)
INDEXED IN: WOS
6108
TITLE: Types of assessing student-programming knowledge
AUTHORS: Anabela Gomes ; Fernanda Brito Correia; Pedro Henriques Abreu ;
PUBLISHED: 2016, SOURCE: 2016 IEEE Frontiers in Education Conference, FIE 2015, Eire, PA, USA, October 12-15, 2016, VOLUME: 2016-November, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 11
6109
TITLE: UBL: an R package for Utility-based Learning
AUTHORS: Paula Branco ; Rita P Ribeiro ; Luís Torgo ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1604.08079
INDEXED IN: DBLP
6110
TITLE: Understanding the determinants of social network sites adoption at firm level: A mixed methodology approach
AUTHORS: Martins, J ; Gonçalves, R ; Oliveira, T; Cota, M; Branco, F ;
PUBLISHED: 2016, SOURCE: ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, VOLUME: 18, PAGES: 10-26
INDEXED IN: Scopus WOS DBLP CrossRef: 39
6111
TITLE: Usability evaluation of an entertainment platform by people with intellectual disabilities
AUTHORS: Rocha, T ; Carvalho, D ; Gonçalves, R ; Martins, J ; Branco, F ; Bessa, M ;
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: 4
6112
TITLE: Usability Study of SClinico
AUTHORS: Joao Pavao ; BASTARDO, Rute ; Marta Covelo; Luis Torres Pereira ; Norberto Goncalves ; Alexandra Queiros; Nelson Pacheco Rocha ; Victor Costa;
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: 1
6113
TITLE: Usage-Driven Dublin Core Descriptor Selection A Case Study Using the Dendro Platform for Research Dataset Description. A Case Study Using the Dendro Platform for Research Dataset Description
AUTHORS: da Silva, JR ; Ribeiro, C ; Lopes, JC ;
PUBLISHED: 2016, SOURCE: 20th International Conference on Theory and Practice of Digital Libraries (TPDL) in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, TPDL 2016, VOLUME: 9819, PAGES: 27-38
INDEXED IN: Scopus WOS DBLP CrossRef
6114
TITLE: User Redirection and Direct Haptics in Virtual Environments
AUTHORS: Carvalheiro, C; Nóbrega, R ; da Silva, H; Rodrigues, R ;
PUBLISHED: 2016, SOURCE: 24th ACM Multimedia Conference (MM) in MM'16: PROCEEDINGS OF THE 2016 ACM MULTIMEDIA CONFERENCE, PAGES: 1146-1155
INDEXED IN: Scopus WOS DBLP CrossRef: 34
6115
TITLE: User-friendly spreadsheet querying: an empirical study. an empirical study
AUTHORS: Rui Pereira ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2016, SOURCE: SAC, VOLUME: 04-08-April-2016, PAGES: 202-204
INDEXED IN: Scopus DBLP CrossRef
6116
TITLE: Using Smartphones to Classify Urban Sounds
AUTHORS: Gomes, EF ; Fábio Batista; Alípio Mário Jorge ;
PUBLISHED: 2016, SOURCE: C3S2E, VOLUME: 20-22-July-2016, PAGES: 67-72
INDEXED IN: Scopus DBLP CrossRef: 3
6117
TITLE: Validating an Approach to Formalize Use Cases with Ontologies
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 205, ISSUE: 205, PAGES: 1-15
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
6118
TITLE: Vanishing scares: biofeedback modulation of affective player experiences in a procedural horror game
AUTHORS: Nogueira, PA ; Torres, V; Rodrigues, R ; Oliveira, E ; Nacke, LE;
PUBLISHED: 2016, SOURCE: JOURNAL ON MULTIMODAL USER INTERFACES, VOLUME: 10, ISSUE: 1, PAGES: 31-62
INDEXED IN: Scopus WOS DBLP CrossRef: 37
6119
TITLE: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
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: 26
6120
TITLE: Verifying Constant-Time Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM, PAGES: 53-70
INDEXED IN: WOS DBLP

Results per Page: 20.
Page 306 of 533. Total results: 10645.