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: 10635
536 Team MembersFilters -> Year: 2026
6901
TITLE: Exploration of Compiler Optimization Sequences Using Clustering-Based Selection
AUTHORS: Martins, LGA; Nobre, R ; Delbem, ACB; Marques, E; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 49, ISSUE: 5, PAGES: 63-72
AUTHORS: Martins, LGA; Nobre, R ; Delbem, ACB; Marques, E; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 49, ISSUE: 5, PAGES: 63-72
6902
TITLE: Exploring Embedding Matrices and the Entropy Gradient for the Segmentation of Heart Sounds in Real Noisy Environments
AUTHORS: Oliveira, J ; Castro, A ; Coimbra, M ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3244-3247
AUTHORS: Oliveira, J ; Castro, A ; Coimbra, M ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3244-3247
6903
TITLE: Exploring the Usage of 3D Virtual Worlds and Kinect Interaction in Exergames with Elderly
AUTHORS: Paredes, H ; Cassola, F ; Morgado, L ; de Carvalho, F; Ala, S; Francisco dos Santos Cardoso ; Fonseca, B ; Martins, P ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computers Helping People with Special Needs (ICCHP) in COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2014, PT I, VOLUME: 8547, ISSUE: PART 1, PAGES: 297-300
AUTHORS: Paredes, H ; Cassola, F ; Morgado, L ; de Carvalho, F; Ala, S; Francisco dos Santos Cardoso ; Fonseca, B ; Martins, P ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computers Helping People with Special Needs (ICCHP) in COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2014, PT I, VOLUME: 8547, ISSUE: PART 1, PAGES: 297-300
6904
TITLE: Explosion of smoothness for conjugacies between multimodal maps Full Text
AUTHORS: Jose F Alves ; Vilton Pinheiro; Alberto A Pinto ;
PUBLISHED: 2014, SOURCE: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, VOLUME: 89, ISSUE: 1, PAGES: 255-274
AUTHORS: Jose F Alves ; Vilton Pinheiro; Alberto A Pinto ;
PUBLISHED: 2014, SOURCE: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, VOLUME: 89, ISSUE: 1, PAGES: 255-274
6905
TITLE: Expression Atlas update-a database of gene and transcript expression from microarray- and sequencing-based functional genomics experiments
AUTHORS: Petryszak, R; Burdett, T; Fiorelli, B; Fonseca, NA ; Gonzalez Porta, M; Hastings, E; Huber, W; Jupp, S; Keays, M; Kryvych, N; McMurry, J; Marioni, JC; Malone, J; Megy, K; Rustici, G; Tang, AY; Taubert, J; Williams, E; Mannion, O; Parkinson, HE; ...More
PUBLISHED: 2014, SOURCE: NUCLEIC ACIDS RESEARCH, VOLUME: 42, ISSUE: D1
AUTHORS: Petryszak, R; Burdett, T; Fiorelli, B; Fonseca, NA ; Gonzalez Porta, M; Hastings, E; Huber, W; Jupp, S; Keays, M; Kryvych, N; McMurry, J; Marioni, JC; Malone, J; Megy, K; Rustici, G; Tang, AY; Taubert, J; Williams, E; Mannion, O; Parkinson, HE; ...More
PUBLISHED: 2014, SOURCE: NUCLEIC ACIDS RESEARCH, VOLUME: 42, ISSUE: D1
6906
TITLE: Factors affecting personal software development productivity: A case study with PSP data
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2014, SOURCE: IASTED International Conference on Software Engineering, SE 2014 in Proceedings of the IASTED International Conference on Software Engineering, SE 2014, PAGES: 125-131
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2014, SOURCE: IASTED International Conference on Software Engineering, SE 2014 in Proceedings of the IASTED International Conference on Software Engineering, SE 2014, PAGES: 125-131
6907
TITLE: Factors influencing the assurance of sustainability reports in the context of the economic crisis in Portugal
AUTHORS: Branco, MC ; Delgado, C ; Gomes, SF; Eugenio, TCP ;
PUBLISHED: 2014, SOURCE: Managerial Auditing Journal, VOLUME: 29, ISSUE: 3, PAGES: 237-252
AUTHORS: Branco, MC ; Delgado, C ; Gomes, SF; Eugenio, TCP ;
PUBLISHED: 2014, SOURCE: Managerial Auditing Journal, VOLUME: 29, ISSUE: 3, PAGES: 237-252
6908
TITLE: Failure Prediction - An Application in the Railway Industry
AUTHORS: Pereira, P; Ribeiro, RP ; Gama, J ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, DS 2014, VOLUME: 8777, PAGES: 264-275
AUTHORS: Pereira, P; Ribeiro, RP ; Gama, J ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, DS 2014, VOLUME: 8777, PAGES: 264-275
6909
TITLE: Fast Incremental Matrix Factorization for Recommendation with Positive-Only Feedback
AUTHORS: Vinagre, J ; Jorge, AM ; Gama, J ;
PUBLISHED: 2014, SOURCE: 22nd International Conference on User Modeling, Adaptation, and Personalization (UMAP) in USER MODELING, ADAPTATION, AND PERSONALIZATION, UMAP 2014, VOLUME: 8538, PAGES: 459-470
AUTHORS: Vinagre, J ; Jorge, AM ; Gama, J ;
PUBLISHED: 2014, SOURCE: 22nd International Conference on User Modeling, Adaptation, and Personalization (UMAP) in USER MODELING, ADAPTATION, AND PERSONALIZATION, UMAP 2014, VOLUME: 8538, PAGES: 459-470
6910
TITLE: FaultySheet Detective: When Smells Meet Fault Localization
AUTHORS: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PAGES: 625-628
AUTHORS: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PAGES: 625-628
6911
TITLE: Fora de jogo: compreensão histórica e jogos digitais
AUTHORS: Filipe Penicheiro ;
PUBLISHED: 2014, SOURCE: Obra digital in Obra digital, ISSUE: 6, PAGES: 24
AUTHORS: Filipe Penicheiro ;
PUBLISHED: 2014, SOURCE: Obra digital in Obra digital, ISSUE: 6, PAGES: 24
INDEXED IN: 
CrossRef 
Handle
CrossRef Handle6912
TITLE: Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014)
AUTHORS: Rui Abreu ; João Pascoal Faria ;
PUBLISHED: 2014, SOURCE: QUATIC, PAGES: 274-275
AUTHORS: Rui Abreu ; João Pascoal Faria ;
PUBLISHED: 2014, SOURCE: QUATIC, PAGES: 274-275
6913
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
6914
TITLE: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTHORS: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
AUTHORS: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
6915
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: AAAI Spring Symposia, VOLUME: SS-14-02, PAGES: 62-67
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: AAAI Spring Symposia, VOLUME: SS-14-02, PAGES: 62-67
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP6916
TITLE: Framework for Applications of Support to the Activities of Integrated Care
AUTHORS: Joao Pavao ; Sandro Carvalho; Alexandra Queiros; Nelson Pacheco Rocha ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
AUTHORS: Joao Pavao ; Sandro Carvalho; Alexandra Queiros; Nelson Pacheco Rocha ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
6917
TITLE: Fuzzy Affective Player Models: A Physiology-Based Hierarchical Clustering Method
AUTHORS: Pedro Alves Nogueira; Rúben Aguiar; Rui Rodrigues ; Eugénio C Oliveira ; Lennart E Nacke;
PUBLISHED: 2014, SOURCE: AIIDE, PAGES: 132-138
AUTHORS: Pedro Alves Nogueira; Rúben Aguiar; Rui Rodrigues ; Eugénio C Oliveira ; Lennart E Nacke;
PUBLISHED: 2014, SOURCE: AIIDE, PAGES: 132-138
INDEXED IN: Scopus DBLP
Scopus DBLP6918
TITLE: G-Tries: a data structure for storing and finding subgraphs Full Text
AUTHORS: Ribeiro, P ; Silva, F ;
PUBLISHED: 2014, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 28, ISSUE: 2, PAGES: 337-377
AUTHORS: Ribeiro, P ; Silva, F ;
PUBLISHED: 2014, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 28, ISSUE: 2, PAGES: 337-377
6919
TITLE: Game-Based Learning:. Augmented Reality in the Teaching of Geometric Solids
AUTHORS: Rui Leitão; J.M.F Rodrigues; Adérito Fernandes Marcos ;
PUBLISHED: 2014, SOURCE: International Journal of Art, Culture and Design Technologies, VOLUME: 4, ISSUE: 1, PAGES: 63-75
AUTHORS: Rui Leitão; J.M.F Rodrigues; Adérito Fernandes Marcos ;
PUBLISHED: 2014, SOURCE: International Journal of Art, Culture and Design Technologies, VOLUME: 4, ISSUE: 1, PAGES: 63-75
6920
TITLE: Generating attribute grammar-based bidirectional transformations from rewrite rules
AUTHORS: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 63-70
AUTHORS: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 63-70
