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: 8279
531 Team MembersFilters -> Year: 2024
3341
TITLE: A graph-based framework for the analysis of access control policies Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
3342
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
3343
TITLE: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef3344
TITLE: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
3345
TITLE: A Metaheuristic Approach to the Multi-Objective Unit Commitment Problem Combining Economic and Environmental Criteria Full Text
AUTHORS: Luis A C Roque ; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2017, SOURCE: ENERGIES, VOLUME: 10, ISSUE: 12, PAGES: 2029
AUTHORS: Luis A C Roque ; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2017, SOURCE: ENERGIES, VOLUME: 10, ISSUE: 12, PAGES: 2029
3346
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis Full Text
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLISHED: 2017, SOURCE: Journal of Network and Systems Management, VOLUME: 25, ISSUE: 3, PAGES: 643-668
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLISHED: 2017, SOURCE: Journal of Network and Systems Management, VOLUME: 25, ISSUE: 3, PAGES: 643-668
3347
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
INDEXED IN: 
DBLP
DBLP3348
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1, PAGES: 9:1-9:20
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1, PAGES: 9:1-9:20
3349
TITLE: A multi-objective unit commitment problem combining economic and environmental criteria in a metaheuristic approach
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2017, SOURCE: 4th International Conference on Energy and Environment Research (ICEER) in 4TH INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT RESEARCH, ICEER 2017, VOLUME: 136, PAGES: 362-368
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2017, SOURCE: 4th International Conference on Energy and Environment Research (ICEER) in 4TH INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT RESEARCH, ICEER 2017, VOLUME: 136, PAGES: 362-368
3350
TITLE: A multi-perspective theoretical analysis to web accessibility
AUTHORS: Peixoto, C; Branco, F ; Martins, J ; Gonçalves, R ;
PUBLISHED: 2017, SOURCE: Research Paradigms and Contemporary Perspectives on Human-Technology Interaction, PAGES: 117-139
AUTHORS: Peixoto, C; Branco, F ; Martins, J ; Gonçalves, R ;
PUBLISHED: 2017, SOURCE: Research Paradigms and Contemporary Perspectives on Human-Technology Interaction, PAGES: 117-139
3351
TITLE: A multisensory virtual experience model for thematic tourism: A Port wine tourism application proposal Full Text
AUTHORS: Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Luis Barbosa ; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: JOURNAL OF DESTINATION MARKETING & MANAGEMENT, VOLUME: 6, ISSUE: 2, PAGES: 103-109
AUTHORS: Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Luis Barbosa ; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: JOURNAL OF DESTINATION MARKETING & MANAGEMENT, VOLUME: 6, ISSUE: 2, PAGES: 103-109
3352
TITLE: A pilot for proactive maintenance in industry 4.0
AUTHORS: Luis Lino Ferreira ; Michele Albano; Jose Silva; Diogo Martinho; Goreti Marreiros ; Giovanni Di Orio; Pedro Maló; Hugo M Ferreira ;
PUBLISHED: 2017, SOURCE: 13th IEEE International Workshop on Factory Communication Systems, WFCS 2017 in IEEE 13th International Workshop on Factory Communication Systems, WFCS 2017, Trondheim, Norway, May 31 - June 2, 2017, PAGES: 1-9
AUTHORS: Luis Lino Ferreira ; Michele Albano; Jose Silva; Diogo Martinho; Goreti Marreiros ; Giovanni Di Orio; Pedro Maló; Hugo M Ferreira ;
PUBLISHED: 2017, SOURCE: 13th IEEE International Workshop on Factory Communication Systems, WFCS 2017 in IEEE 13th International Workshop on Factory Communication Systems, WFCS 2017, Trondheim, Norway, May 31 - June 2, 2017, PAGES: 1-9
3353
TITLE: A POSIÇÃO DO ALVO NA INFLUÊNCIA DO MOVIMENTO OCULAR EM TAREFAS DE PESQUISA NAVEGACIONAL E INFORMATIVA
AUTHORS: José Vasconcelos-Raposo ; Carla Teixeira; Cátia Alves; Helena Lopes; Márcia Mendes; Paula Andrade; Miguel Melo ;
PUBLISHED: 2017, SOURCE: PsychTech & Health Journal, VOLUME: 1, ISSUE: 1, PAGES: 14-20
AUTHORS: José Vasconcelos-Raposo ; Carla Teixeira; Cátia Alves; Helena Lopes; Márcia Mendes; Paula Andrade; Miguel Melo ;
PUBLISHED: 2017, SOURCE: PsychTech & Health Journal, VOLUME: 1, ISSUE: 1, PAGES: 14-20
INDEXED IN: CrossRef
CrossRef3354
TITLE: A Practical Framework for Privacy-Preserving NoSQL Databases Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20
AUTHORS: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20
3355
TITLE: A process for finding and tackling the Main Root Causes that affect critical systems quality
AUTHORS: Silva, N; Moreira, F; Cunha, JC ; Vieira, M;
PUBLISHED: 2017, SOURCE: Certifications of Critical Systems: The CECRIS Experience, PAGES: 81-102
AUTHORS: Silva, N; Moreira, F; Cunha, JC ; Vieira, M;
PUBLISHED: 2017, SOURCE: Certifications of Critical Systems: The CECRIS Experience, PAGES: 81-102
INDEXED IN: 
Scopus
Scopus3356
TITLE: A prospective design of a social assistive electronic system for the elderly
AUTHORS: Reis, A ; Paredes, H ; Barroso, I; Monteiro, MJ ; Rodrigues, V ; Khanal, SR ; Barroso, J ;
PUBLISHED: 2017, SOURCE: Advances in Science, Technology and Engineering Systems, VOLUME: 2, ISSUE: 3, PAGES: 1665-1669
AUTHORS: Reis, A ; Paredes, H ; Barroso, I; Monteiro, MJ ; Rodrigues, V ; Khanal, SR ; Barroso, J ;
PUBLISHED: 2017, SOURCE: Advances in Science, Technology and Engineering Systems, VOLUME: 2, ISSUE: 3, PAGES: 1665-1669
3357
TITLE: A qualitative research evaluation of a Portuguese computerized cancer registry
AUTHORS: Santos Pereira, C ; Cruz Correia, R ; Brito, AC ; Augusto, AB; Manuel E. Correia ; Bento, MJ; Antunes, L ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Santos Pereira, C ; Cruz Correia, R ; Brito, AC ; Augusto, AB; Manuel E. Correia ; Bento, MJ; Antunes, L ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
3358
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
3359
TITLE: A rule-based DSS for transforming Automatically-generated Alignments into Information Integration Alignments
AUTHORS: Gouveia, A; Silva, N ; Martins, P ;
PUBLISHED: 2017, SOURCE: 19th International Conference on Information Integration and Web-Based Applications and Services, iiWAS2017 in 19TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2017), VOLUME: Part F134476, PAGES: 181-187
AUTHORS: Gouveia, A; Silva, N ; Martins, P ;
PUBLISHED: 2017, SOURCE: 19th International Conference on Information Integration and Web-Based Applications and Services, iiWAS2017 in 19TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2017), VOLUME: Part F134476, PAGES: 181-187
3360
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 Jackson;
PUBLISHED: 2017, SOURCE: Studies in Computational Intelligence, VOLUME: 694, PAGES: 83-91
AUTHORS: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael Jackson;
PUBLISHED: 2017, SOURCE: Studies in Computational Intelligence, VOLUME: 694, PAGES: 83-91
