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: 8455
531 Team MembersFilters -> Year: 2025
3501
TITLE: Bilateral contract prices estimation using a Q-leaming based approach
AUTHORS: Jaime Rodriguez Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praça; Zita A Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 in 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017, VOLUME: 2018-January, PAGES: 1-6
AUTHORS: Jaime Rodriguez Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praça; Zita A Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 in 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017, VOLUME: 2018-January, PAGES: 1-6
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3502
TITLE: Bistability of Evolutionary Stable Vaccination Strategies in the Reinfection SIRI Model Full Text
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2017, SOURCE: BULLETIN OF MATHEMATICAL BIOLOGY, VOLUME: 79, ISSUE: 4, PAGES: 853-883
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2017, SOURCE: BULLETIN OF MATHEMATICAL BIOLOGY, VOLUME: 79, ISSUE: 4, PAGES: 853-883
3503
TITLE: Bootstrap and permutation tests in ANOVA for directional data Full Text
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 32, ISSUE: 4, PAGES: 1213-1240
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 32, ISSUE: 4, PAGES: 1213-1240
3504
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
3505
TITLE: Building a Semi-Supervised Dataset to Train Journalistic Relevance Detection Models
AUTHORS: Guimaraes, N ; Figueira, A ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 in 2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, VOLUME: 2018-January, PAGES: 1271-1277
AUTHORS: Guimaraes, N ; Figueira, A ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 in 2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, VOLUME: 2018-January, PAGES: 1271-1277
3506
TITLE: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTHORS: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLISHED: 2017, SOURCE: Int. J. Simul. Process. Model., VOLUME: 12, ISSUE: 1, PAGES: 29-41
AUTHORS: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLISHED: 2017, SOURCE: Int. J. Simul. Process. Model., VOLUME: 12, ISSUE: 1, PAGES: 29-41
3507
TITLE: Case based reasoning with expert system and swarm intelligence to determine energy reduction in buildings energy management Full Text
AUTHORS: Faia, R; Pinto, T ; Abrishambaf, O; Fernandes, F; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: ENERGY AND BUILDINGS, VOLUME: 155, PAGES: 269-281
AUTHORS: Faia, R; Pinto, T ; Abrishambaf, O; Fernandes, F; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: ENERGY AND BUILDINGS, VOLUME: 155, PAGES: 269-281
3508
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
3509
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
INDEXED IN: 
CrossRef
CrossRef3510
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
INDEXED IN: Scopus DBLP
Scopus DBLP3511
TITLE: CERTIFIED ROOMS FOR ELEARNING STUDENTS EVALUATION
AUTHORS: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 9566-9571
AUTHORS: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 9566-9571
3512
TITLE: Classification algorithms for body posture
AUTHORS: Silva, S; Queirós, S; Moreira, AH; Oliveira, E; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2017, SOURCE: 2017 IEEE 5TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
AUTHORS: Silva, S; Queirós, S; Moreira, AH; Oliveira, E; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2017, SOURCE: 2017 IEEE 5TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
3513
TITLE: Classifying Heart Sounds Using Images of MFCC and Temporal Features
AUTHORS: Diogo Marcelo Nogueira ; Carlos Abreu Ferreira ; Alipio M Jorge ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 186-203
AUTHORS: Diogo Marcelo Nogueira ; Carlos Abreu Ferreira ; Alipio M Jorge ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 186-203
3514
TITLE: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
3515
TITLE: Clustering Directions Based on the Estimation of a Mixture of Von Mises-Fisher Distributions
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: The Open Statistics & Probability Journal, VOLUME: 08, ISSUE: 1, PAGES: 39-52
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: The Open Statistics & Probability Journal, VOLUME: 08, ISSUE: 1, PAGES: 39-52
3516
TITLE: Clustering from Data Streams
AUTHORS: João Gama ;
PUBLISHED: 2017, SOURCE: Encyclopedia of Machine Learning and Data Mining, PAGES: 226-231
AUTHORS: João Gama ;
PUBLISHED: 2017, SOURCE: Encyclopedia of Machine Learning and Data Mining, PAGES: 226-231
3517
TITLE: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
3518
TITLE: Co-expression networks reveal the tissue-specific regulation of transcription and splicing
AUTHORS: Ashis Saha; Yungil Kim; Ariel D H Gewirtz; Brian Jo; Chuan Gao; Ian C McDowell; Barbara E Engelhardt; Alexis Battle; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1843-1858
AUTHORS: Ashis Saha; Yungil Kim; Ariel D H Gewirtz; Brian Jo; Chuan Gao; Ian C McDowell; Barbara E Engelhardt; Alexis Battle; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1843-1858
INDEXED IN: Scopus
Scopus3519
TITLE: Co-training Semi-supervised Learning for Single-Target Regression in Data Streams Using AMRules
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017 in Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, VOLUME: 10352, PAGES: 499-508
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017 in Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, VOLUME: 10352, PAGES: 499-508
3520
TITLE: Code retargeting for CPU-based platforms
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
INDEXED IN: CrossRef
CrossRef