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
3321
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 DBLP3322
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
3323
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)
3324
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
3325
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
3326
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
3327
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
3328
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
3329
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
Scopus3330
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
3331
TITLE: Collection of State Information in Live Digital Forensics
AUTHORS: Freitas, F; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 1-8
AUTHORS: Freitas, F; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 1-8
3332
TITLE: Combining dataflow applications and real-time task sets on multi-core platforms
AUTHORS: Ali, HI; Akesson, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, PAGES: 60-63
AUTHORS: Ali, HI; Akesson, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, PAGES: 60-63
3333
TITLE: Combining Feature and Algorithm Hyperparameter Selection using some Metalearning Methods PDF
AUTHORS: Miguel Cachada ; Salisu Mamman Abdulrahman ; Pavel Brazdil ;
PUBLISHED: 2017, SOURCE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PAGES: 69-83
AUTHORS: Miguel Cachada ; Salisu Mamman Abdulrahman ; Pavel Brazdil ;
PUBLISHED: 2017, SOURCE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PAGES: 69-83
INDEXED IN: Scopus DBLP
Scopus DBLP3334
TITLE: Command and Control Systems for Search and Rescue Robots
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
3335
TITLE: Communication and resource usage analysis in online environments: An integrated social network analysis and data mining perspective
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 8th IEEE Global Engineering Education Conference, EDUCON 2017 in 2017 IEEE Global Engineering Education Conference, EDUCON 2017, Athens, Greece, April 25-28, 2017, PAGES: 1027-1032
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 8th IEEE Global Engineering Education Conference, EDUCON 2017 in 2017 IEEE Global Engineering Education Conference, EDUCON 2017, Athens, Greece, April 25-28, 2017, PAGES: 1027-1032
3336
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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: 2:1-2:3
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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: 2:1-2:3
3337
TITLE: Comparison Between Co-training and Self-training for Single-target Regression in Data Streams using AMRules PDF
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 2017 Workshop on IoT Large Scale Learning from Data Streams, IOTSTREAMING 2017 in Proceedings of the Workshop on IoT Large Scale Learning from Data Streams co-located with the 2017 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2017), Skopje, Macedonia, September 18-22, 2017., VOLUME: 1958
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 2017 Workshop on IoT Large Scale Learning from Data Streams, IOTSTREAMING 2017 in Proceedings of the Workshop on IoT Large Scale Learning from Data Streams co-located with the 2017 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2017), Skopje, Macedonia, September 18-22, 2017., VOLUME: 1958
INDEXED IN: Scopus DBLP
Scopus DBLP3338
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
3339
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
3340
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Alcino Cunha ; Carla Ferreira ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Alcino Cunha ; Carla Ferreira ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
INDEXED IN: 
WOS DBLP
WOS DBLP