CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 10650
536 Team MembersFilters -> Year: 2026
6101
TITLE: Towards certified compilation of RTFM-core applications
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
6102
TITLE: Towards Certified Compilation of RTFM-core Applications
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
AUTHORS: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXED IN: 
WOS
WOS6103
TITLE: Towards Performance Prediction in Massive Scale Datastores
AUTHORS: Cruz, F ; Coelho, F ; Oliveira, R ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 371-373
AUTHORS: Cruz, F ; Coelho, F ; Oliveira, R ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 371-373
6104
TITLE: Towards Quantifiable Eventual Consistency
AUTHORS: Maia, F ; Matos, M ; Coelho, F ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 368-370
AUTHORS: Maia, F ; Matos, M ; Coelho, F ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 368-370
6105
TITLE: Towards Situation-aware Mobile Applications in Mental Health
AUTHORS: Teles, AS; Silva, FJ; Rocha, A ; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 349-354
AUTHORS: Teles, AS; Silva, FJ; Rocha, A ; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 349-354
6106
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
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
6107
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
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2016, SOURCE: MARINE GEODESY, VOLUME: 39, ISSUE: 2, PAGES: 165-177
6108
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
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
6109
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
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
6110
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
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
6111
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
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
6112
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)
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
WOS6113
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
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
6114
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
AUTHORS: Paula Branco ; Rita P Ribeiro ; Luís Torgo ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1604.08079
INDEXED IN: 
DBLP
DBLP6115
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
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
6116
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
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
6117
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
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
6118
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
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
6119
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
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
6120
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
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
