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: 10704
536 Team MembersFilters -> Year: 2026
6861
TITLE: Bounded Model Checking of Temporal Formulas with Alloy
AUTHORS: Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477, PAGES: 303-308
AUTHORS: Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477, PAGES: 303-308
6862
TITLE: Can Presence Improve Collaboration in 3D Virtual Worlds?
AUTHORS: Armando Cruz; Hugo Paredes ; Benjamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLISHED: 2014, SOURCE: Procedia Technology, VOLUME: 13, PAGES: 47-55
AUTHORS: Armando Cruz; Hugo Paredes ; Benjamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLISHED: 2014, SOURCE: Procedia Technology, VOLUME: 13, PAGES: 47-55
6863
TITLE: Can we avoid unnecessary polysomnographies in the diagnosis of Obstructive Sleep Apnea? A Bayesian network decision support tool
AUTHORS: Leite, L; Costa Santos, C ; Rodrigues, PP ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 28-33
AUTHORS: Leite, L; Costa Santos, C ; Rodrigues, PP ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 28-33
6864
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
6865
TITLE: Challenges in Computing Semantic Relatedness for Large Semantic Graphs
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
6866
TITLE: Challenges in Learning from Streaming Data
AUTHORS: Joao Gama ;
PUBLISHED: 2014, SOURCE: 18th East European Conference on Advances in Databases and Information Systems (ADBIS) in ADVANCES IN DATABASES AND INFORMATION SYSTEMS (ADBIS 2014), VOLUME: 8716
AUTHORS: Joao Gama ;
PUBLISHED: 2014, SOURCE: 18th East European Conference on Advances in Databases and Information Systems (ADBIS) in ADVANCES IN DATABASES AND INFORMATION SYSTEMS (ADBIS 2014), VOLUME: 8716
INDEXED IN: 
WOS
WOS6867
TITLE: Challenges in Learning from Streaming Data Extended Abstract
AUTHORS: João Gama ;
PUBLISHED: 2014, SOURCE: 6th Information and Communication Technologies Innovations 2014 conference, ICT 2014 in ICT Innovations 2014 - World of Data, Ohrid, Macedonia, 1-4 October, 2014, VOLUME: 311, PAGES: 1-5
AUTHORS: João Gama ;
PUBLISHED: 2014, SOURCE: 6th Information and Communication Technologies Innovations 2014 conference, ICT 2014 in ICT Innovations 2014 - World of Data, Ohrid, Macedonia, 1-4 October, 2014, VOLUME: 311, PAGES: 1-5
6868
TITLE: Changes in extreme sea-levels in the Baltic Sea Full Text
AUTHORS: Andreia Ribeiro; Susana M Barbosa ; Manuel G Scotto ; Reik V Donner;
PUBLISHED: 2014, SOURCE: TELLUS SERIES A-DYNAMIC METEOROLOGY AND OCEANOGRAPHY, VOLUME: 66
AUTHORS: Andreia Ribeiro; Susana M Barbosa ; Manuel G Scotto ; Reik V Donner;
PUBLISHED: 2014, SOURCE: TELLUS SERIES A-DYNAMIC METEOROLOGY AND OCEANOGRAPHY, VOLUME: 66
6869
TITLE: Characterizing the Control Logic of Web Applications' User Interfaces
AUTHORS: Silva, CE ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 263-276
AUTHORS: Silva, CE ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 263-276
6870
TITLE: Circadian energy intake of the Portuguese
AUTHORS: Sílvia Pinhão; Rui Poinhos; Cláudia Afonso; Pedro Moreira; Vitor H Teixeira; Catarina Durão; Olívia Pinho; Diana Silva; J.P. Lima Reis; M.T. Veríssimo; Bruno Oliveira ; S. Gonçalves; D. Melim; Maria D V d Almeida; Flora Correia;
PUBLISHED: 2014
AUTHORS: Sílvia Pinhão; Rui Poinhos; Cláudia Afonso; Pedro Moreira; Vitor H Teixeira; Catarina Durão; Olívia Pinho; Diana Silva; J.P. Lima Reis; M.T. Veríssimo; Bruno Oliveira ; S. Gonçalves; D. Melim; Maria D V d Almeida; Flora Correia;
PUBLISHED: 2014
INDEXED IN: 
Handle
Handle6871
TITLE: Circle covering representation for nesting problems with continuous rotations
AUTHORS: Rocha, P ; Rodrigues, R ; Gomes, AM ; Toledo, FMB; Andretta, M;
PUBLISHED: 2014, SOURCE: 19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 19, ISSUE: 3, PAGES: 5235-5240
AUTHORS: Rocha, P ; Rodrigues, R ; Gomes, AM ; Toledo, FMB; Andretta, M;
PUBLISHED: 2014, SOURCE: 19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 19, ISSUE: 3, PAGES: 5235-5240
6872
TITLE: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTHORS: Gomes, EF ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
AUTHORS: Gomes, EF ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
6873
TITLE: Coarse/Fine-grained Approaches for Pipelining Computing Stages in FPGA-Based Multicore Architectures
AUTHORS: Azarian, A ; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 266-278
AUTHORS: Azarian, A ; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 266-278
6874
TITLE: Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns
AUTHORS: Gonçalves, N; José, R ; Baquero, C ;
PUBLISHED: 2014, SOURCE: 8th Data Privacy Management International Workshop (DPM) / 6th International Workshop on Autonomous and Spontaneous Security (SETOP) in DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 2013, VOLUME: 8247, PAGES: 51-65
AUTHORS: Gonçalves, N; José, R ; Baquero, C ;
PUBLISHED: 2014, SOURCE: 8th Data Privacy Management International Workshop (DPM) / 6th International Workshop on Autonomous and Spontaneous Security (SETOP) in DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 2013, VOLUME: 8247, PAGES: 51-65
6875
TITLE: Collaborative Framework for Dynamic Scheduling Supporting in Networked Manufacturing Environments
AUTHORS: Maria Leonilde R Varela ; Andre Serra e Santos; Ana Maria Madureira ; Goran D Putnik; Maria Manuela Cruz Cunha;
PUBLISHED: 2014, SOURCE: Int. J. Web Portals, VOLUME: 6, ISSUE: 3, PAGES: 33-51
AUTHORS: Maria Leonilde R Varela ; Andre Serra e Santos; Ana Maria Madureira ; Goran D Putnik; Maria Manuela Cruz Cunha;
PUBLISHED: 2014, SOURCE: Int. J. Web Portals, VOLUME: 6, ISSUE: 3, PAGES: 33-51
6876
TITLE: Collaborative Web Platform for UNIX-Based Big Data Processing
AUTHORS: Castro, O; Ferreira, HS ; Sousa, TB ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Cooperative Design, Visualization, and Engineering (CDVE) in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, CDVE 2014, VOLUME: 8683, PAGES: 199-202
AUTHORS: Castro, O; Ferreira, HS ; Sousa, TB ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Cooperative Design, Visualization, and Engineering (CDVE) in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, CDVE 2014, VOLUME: 8683, PAGES: 199-202
6877
TITLE: Collaborative Wind Power Forecast
AUTHORS: Almeida, V ; Gama, J ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Adaptive and Intelligent Systems (ICAIS) in ADAPTIVE AND INTELLIGENT SYSTEMS, ICAIS 2014, VOLUME: 8779, PAGES: 162-171
AUTHORS: Almeida, V ; Gama, J ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Adaptive and Intelligent Systems (ICAIS) in ADAPTIVE AND INTELLIGENT SYSTEMS, ICAIS 2014, VOLUME: 8779, PAGES: 162-171
6878
TITLE: Comparing CSR communication on corporate web sites in Sweden and Spain
AUTHORS: Manuel Castelo Branco ; Catarina Delgado ; Manuel Sa; Cristina Sousa;
PUBLISHED: 2014, SOURCE: BALTIC JOURNAL OF MANAGEMENT, VOLUME: 9, ISSUE: 2, PAGES: 231-250
AUTHORS: Manuel Castelo Branco ; Catarina Delgado ; Manuel Sa; Cristina Sousa;
PUBLISHED: 2014, SOURCE: BALTIC JOURNAL OF MANAGEMENT, VOLUME: 9, ISSUE: 2, PAGES: 231-250
6879
TITLE: Comparing Data Distribution Using Fading Histograms
AUTHORS: Sebastiao, R ; Gama, J ; Mendonça, T ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263, PAGES: 1095-+
AUTHORS: Sebastiao, R ; Gama, J ; Mendonça, T ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263, PAGES: 1095-+
6880
TITLE: Comparing Scheduling Policies for a Message Transient Error Recovery Server in a Time-Triggered Setting
AUTHORS: Marques, L ; Vasconcelos, V ; Pedreiras, P; Almeida, L ;
PUBLISHED: 2014, SOURCE: 19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA) in 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), PAGES: 1-6
AUTHORS: Marques, L ; Vasconcelos, V ; Pedreiras, P; Almeida, L ;
PUBLISHED: 2014, SOURCE: 19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA) in 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), PAGES: 1-6
