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
3741
TITLE: A method for rigorous design of reconfigurable systems Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PAGES: 50-76
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PAGES: 50-76
3742
TITLE: A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management
AUTHORS: Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2016, SOURCE: Psychology and Mental Health, PAGES: 470-492
AUTHORS: Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2016, SOURCE: Psychology and Mental Health, PAGES: 470-492
INDEXED IN: 
CrossRef
CrossRef3743
TITLE: A model for analyzing performance problems and root causes in the personal software process. A MODEL FOR ANALYZING PERFORMANCE PROBLEMS AND ROOT CAUSES IN THE PSP Full Text
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, ISSUE: 4, PAGES: 254-271
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, ISSUE: 4, PAGES: 254-271
3744
TITLE: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PAGES: 199-208
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PAGES: 199-208
3745
TITLE: A modified particle swarm optimisation algorithm to solve the part feeding problem at assembly lines Full Text
AUTHORS: Masood Fathi; Victoria Rodriguez; Dalila B M M Fontes ; Maria Jesus Alvarez;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 54, ISSUE: 3, PAGES: 878-893
AUTHORS: Masood Fathi; Victoria Rodriguez; Dalila B M M Fontes ; Maria Jesus Alvarez;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 54, ISSUE: 3, PAGES: 878-893
3746
TITLE: A modular traffic sampling architecture for flexible network measurements
AUTHORS: João Marco C Silva ;
PUBLISHED: 2016
AUTHORS: João Marco C Silva ;
PUBLISHED: 2016
INDEXED IN: 
DBLP
DBLP3747
TITLE: A Multidimensional Information System Architecture Proposal for Management Support in Portuguese Higher Education The University of Tras-os-Montes and Alto Douro Case Study
AUTHORS: Jose Bessa; Frederico Branco ; Antonio Costa ; Jose Martins ; Ramiro Goncalves ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTHORS: Jose Bessa; Frederico Branco ; Antonio Costa ; Jose Martins ; Ramiro Goncalves ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
3748
TITLE: A Multiperspective Web Accessibility Adoption Model
AUTHORS: Carlos Peixoto; Jose Martins ; Ramiro Goncalves ; Frederico Branco ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTHORS: Carlos Peixoto; Jose Martins ; Ramiro Goncalves ; Frederico Branco ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
3749
TITLE: A new dynamic modeling framework for credit risk assessment Full Text
AUTHORS: Maria Rocha Sousa ; Joao Gama ; Elisio Brandao ;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 45, PAGES: 341-351
AUTHORS: Maria Rocha Sousa ; Joao Gama ; Elisio Brandao ;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 45, PAGES: 341-351
3750
TITLE: A Pipelined Multi-softcore Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PAGES: 146-153
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PAGES: 146-153
3751
TITLE: A proof of concept of an augmented reality system for nuss surgery
AUTHORS: Ferreira, A; Morais, P ; Queirós, S; Veloso, F; Rodrigues, NF ; Correira Pinto, J; Vilaça, JL;
PUBLISHED: 2016, SOURCE: 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015 in Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015, PAGES: 227-232
AUTHORS: Ferreira, A; Morais, P ; Queirós, S; Veloso, F; Rodrigues, NF ; Correira Pinto, J; Vilaça, JL;
PUBLISHED: 2016, SOURCE: 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015 in Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015, PAGES: 227-232
INDEXED IN: 
Scopus
Scopus3752
TITLE: A repeated strategy for dumping
AUTHORS: Martins, J ; Banik, N; Pinto, AA ;
PUBLISHED: 2016, SOURCE: 18th International Conference on Difference Equations and Applications, ICDEA 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 180, PAGES: 145-153
AUTHORS: Martins, J ; Banik, N; Pinto, AA ;
PUBLISHED: 2016, SOURCE: 18th International Conference on Difference Equations and Applications, ICDEA 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 180, PAGES: 145-153
3753
TITLE: A Requirements-to-Implementation Mapping Tool for Requirements Traceability
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: JSW, VOLUME: 11, ISSUE: 2, PAGES: 193-200
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: JSW, VOLUME: 11, ISSUE: 2, PAGES: 193-200
3754
TITLE: A safe-by-design programming language for wireless sensor networks Full Text
AUTHORS: Luis Lopes ; Francisco Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63, PAGES: 16-32
AUTHORS: Luis Lopes ; Francisco Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63, PAGES: 16-32
3755
TITLE: A Self-organisation Model for Mobile Robots in Large Structure Assembly Using Multi-agent Systems
AUTHORS: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael R Jackson;
PUBLISHED: 2016, SOURCE: Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016, VOLUME: 694, PAGES: 83-91
AUTHORS: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael R Jackson;
PUBLISHED: 2016, SOURCE: Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016, VOLUME: 694, PAGES: 83-91
INDEXED IN: DBLP
DBLP3756
TITLE: A Single-Assignment Translation for Annotated Programs PDF
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.00584
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.00584
INDEXED IN: DBLP 
arXiv
DBLP arXiv3757
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99
INDEXED IN: 
WOS
WOS3758
TITLE: A Subgraph-Based Ranking System for Professional Tennis Players
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2016, SOURCE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PAGES: 159-171
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2016, SOURCE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PAGES: 159-171
3759
TITLE: A Survey of Predictive Modeling on Im balanced Domains Full Text
AUTHORS: Paula Branco ; Luis Torgo ; Rita P Ribeiro ;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 2, PAGES: 31:1-31:50
AUTHORS: Paula Branco ; Luis Torgo ; Rita P Ribeiro ;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 2, PAGES: 31:1-31:50
3760
TITLE: A survey on game backend services
AUTHORS: de Queirós, RAP ;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 1-13
AUTHORS: de Queirós, RAP ;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 1-13
