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: 10650
536 Team MembersFilters -> Year: 2026
6741
TITLE: A peer-to-peer service architecture for the Smart Grid
AUTHORS: Campos, F ; Matos, M ; Pereira, J ; Rua, D ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
AUTHORS: Campos, F ; Matos, M ; Pereira, J ; Rua, D ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
6742
TITLE: A physics simulation tool for the container loading problem
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
INDEXED IN: 
Scopus
Scopus6743
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
Scopus6744
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
6745
TITLE: A relational approach to bidirectional transformation. Uma abordagem relacional à transformação bidirecional
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
INDEXED IN: 
DBLP 
Handle
DBLP Handle6746
TITLE: A Review on the Portuguese Enterprises Web Accessibility Levels - A website accessibility high level improvement proposal
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
6747
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: Aparicio, D ; Paredes, P ; Ribeiro, P ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
AUTHORS: Aparicio, D ; Paredes, P ; Ribeiro, P ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
6748
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Oliveira, N ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
AUTHORS: Oliveira, N ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
6749
TITLE: A study of machine learning methods for detecting user interest during web sessions
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
6750
TITLE: A study on the viability of formalizing Use Cases
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 130-133
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 130-133
6751
TITLE: A Survey and Classification of Storage Deduplication Systems
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
6752
TITLE: A Survey of E-learning Content Aggregation Standards
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
6753
TITLE: A Survey on Concept Drift Adaptation
AUTHORS: Gama, J ; Zliobaite, I; Bifet, A; Pechenizkiy, M; Bouchachia, A;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 46, ISSUE: 4, PAGES: 44:1-44:37
AUTHORS: Gama, J ; Zliobaite, I; Bifet, A; Pechenizkiy, M; Bouchachia, A;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 46, ISSUE: 4, PAGES: 44:1-44:37
6754
TITLE: A system for formative assessment and monitoring of students' progress Full Text
AUTHORS: Fatima Rodrigues ; Paulo Oliveira;
PUBLISHED: 2014, SOURCE: COMPUTERS & EDUCATION, VOLUME: 76, PAGES: 30-41
AUTHORS: Fatima Rodrigues ; Paulo Oliveira;
PUBLISHED: 2014, SOURCE: COMPUTERS & EDUCATION, VOLUME: 76, PAGES: 30-41
6755
TITLE: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
6756
TITLE: A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
AUTHORS: João Pascoal Faria ; Bruno Lima ; Tiago Boldt Sousa ; Angelo Martins ;
PUBLISHED: 2014, SOURCE: Int. J. E Health Medical Commun., VOLUME: 5, ISSUE: 4, PAGES: 90-107
AUTHORS: João Pascoal Faria ; Bruno Lima ; Tiago Boldt Sousa ; Angelo Martins ;
PUBLISHED: 2014, SOURCE: Int. J. E Health Medical Commun., VOLUME: 5, ISSUE: 4, PAGES: 90-107
6757
TITLE: A Virtual Environment based Serious Game to Support Health Education
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: EAI Endorsed Trans. Ambient Syst., VOLUME: 1, ISSUE: 3
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: EAI Endorsed Trans. Ambient Syst., VOLUME: 1, ISSUE: 3
6758
TITLE: Accuracy Assessment of the Integration of GNSS and a MEMS IMU in a Terrestrial Platform Full Text
AUTHORS: Sergio Madeira ; Wenlin L Yan; Luisa Bastos ; Jose A Goncalves ;
PUBLISHED: 2014, SOURCE: SENSORS, VOLUME: 14, ISSUE: 11, PAGES: 20866-20881
AUTHORS: Sergio Madeira ; Wenlin L Yan; Luisa Bastos ; Jose A Goncalves ;
PUBLISHED: 2014, SOURCE: SENSORS, VOLUME: 14, ISSUE: 11, PAGES: 20866-20881
6759
TITLE: Adaptive learning in agents behaviour: A framework for electricity markets simulation Full Text
AUTHORS: Pinto, T ; Vale, Z ; Sousa, TM; Praca, I ; Santos, G; Morais, H;
PUBLISHED: 2014, SOURCE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 21, ISSUE: 4, PAGES: 399-415
AUTHORS: Pinto, T ; Vale, Z ; Sousa, TM; Praca, I ; Santos, G; Morais, H;
PUBLISHED: 2014, SOURCE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 21, ISSUE: 4, PAGES: 399-415
6760
TITLE: Alternative approaches analysis for scheduling in an Extended Manufacturing Environment
AUTHORS: Santos, AS; Varela, MLR ; Putnik, GD; Madureira, AM ;
PUBLISHED: 2014, SOURCE: 2014 6th World Congress on Nature and Biologically Inspired Computing, NaBIC 2014 in 2014 6th World Congress on Nature and Biologically Inspired Computing, NaBIC 2014, PAGES: 97-102
AUTHORS: Santos, AS; Varela, MLR ; Putnik, GD; Madureira, AM ;
PUBLISHED: 2014, SOURCE: 2014 6th World Congress on Nature and Biologically Inspired Computing, NaBIC 2014 in 2014 6th World Congress on Nature and Biologically Inspired Computing, NaBIC 2014, PAGES: 97-102
