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: 8154
531 Team MembersFilters -> Year: 2024
4201
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
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
WOS DBLP4202
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
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
4203
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
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
4204
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
AUTHORS: Alexandre Carvalho ; Emanuel Pinho;
PUBLISHED: 2016, SOURCE: Journal of Information Systems Engineering & Management, VOLUME: 1, ISSUE: 4
4205
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)
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)
4206
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
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
4207
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
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
Scopus WOS DBLP4208
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
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
DBLP4209
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
AUTHORS: Barbosa, SM ; Gouveia, S ; Scotto, MG ; Alonso, AM;
PUBLISHED: 2016, SOURCE: MATHEMATICAL GEOSCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 149-162
4210
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
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
4211
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
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
Scopus4212
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
AUTHORS: Carlos Baquero ; Nuno Preguica;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 59, ISSUE: 4, PAGES: 43-47
4213
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
AUTHORS: Carlos Baquero ; Nuno M Preguiça;
PUBLISHED: 2016, SOURCE: ACM Queue, VOLUME: 14, ISSUE: 1, PAGES: 60
4214
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
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
4215
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
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
Scopus CrossRef4216
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
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
4217
TITLE: 13th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013, Porto, Portugal, October 21-23, 2015
AUTHORS: Eli Bozorgzadeh; João M P Cardoso ; Rui Abreu ; Seda Ogrenci Memik;
PUBLISHED: 2015, SOURCE: EUC
AUTHORS: Eli Bozorgzadeh; João M P Cardoso ; Rui Abreu ; Seda Ogrenci Memik;
PUBLISHED: 2015, SOURCE: EUC
INDEXED IN: DBLP
DBLP4218
TITLE: 18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015
AUTHORS: Christian Plessl; Didier El Baz; Guojing Cong; João M P Cardoso ; Luís Veiga ; Thomas Rauber;
PUBLISHED: 2015, SOURCE: CSE
AUTHORS: Christian Plessl; Didier El Baz; Guojing Cong; João M P Cardoso ; Luís Veiga ; Thomas Rauber;
PUBLISHED: 2015, SOURCE: CSE
INDEXED IN: DBLP
DBLP4219
TITLE: A Bounded Neural Network for Open Set Recognition
AUTHORS: Douglas O Cardoso ; Felipe Franca; Joao Gama ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-7
AUTHORS: Douglas O Cardoso ; Felipe Franca; Joao Gama ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-7
4220
TITLE: A Clear Picture of Lens Laws - Functional Pearl
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129, PAGES: 215-223
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129, PAGES: 215-223
