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: 10643
536 Team MembersFilters -> Year: 2026
5561
TITLE: The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms
AUTHORS: Vincent Nelis; Patrick Meumeu Yomsi; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: OpenAccess Series in Informatics, VOLUME: 57, PAGES: 101-109
AUTHORS: Vincent Nelis; Patrick Meumeu Yomsi; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: OpenAccess Series in Informatics, VOLUME: 57, PAGES: 101-109
INDEXED IN: 
Scopus 
Handle
Scopus Handle5562
TITLE: The present and future of privacy-preserving computation in fog computing
AUTHORS: Sousa, PR ; Antunes, L ; Martins, R ;
PUBLISHED: 2017, SOURCE: Fog Computing in the Internet of Things: Intelligence at the Edge, PAGES: 51-69
AUTHORS: Sousa, PR ; Antunes, L ; Martins, R ;
PUBLISHED: 2017, SOURCE: Fog Computing in the Internet of Things: Intelligence at the Edge, PAGES: 51-69
5563
TITLE: The risk of disabling, surgery and reoperation in Crohn's disease - A decision tree-based approach to prognosis Full Text
AUTHORS: Claudia Camila Dias ; Pedro Pereira Rodrigues ; Samuel Fernandes; Francisco Portela; Paula Ministro; Diana Martins; Paula Sousa; Paula Lago; Isadora Rosa; Luis Correia; Paula Moura Santos; Fernando Magro ;
PUBLISHED: 2017, SOURCE: PLOS ONE, VOLUME: 12, ISSUE: 2
AUTHORS: Claudia Camila Dias ; Pedro Pereira Rodrigues ; Samuel Fernandes; Francisco Portela; Paula Ministro; Diana Martins; Paula Sousa; Paula Lago; Isadora Rosa; Luis Correia; Paula Moura Santos; Fernando Magro ;
PUBLISHED: 2017, SOURCE: PLOS ONE, VOLUME: 12, ISSUE: 2
5564
TITLE: The RNASeq-er API - a gateway to systematically updated analysis of public RNA-seq data
AUTHORS: Robert Petryszak; Nuno A Fonseca ; Anja Füllgrabe; Laura Huerta; Maria Keays; Amy A Tang; Alvis Brazma;
PUBLISHED: 2017, SOURCE: Bioinform., VOLUME: 33, ISSUE: 14, PAGES: 2218-2220
AUTHORS: Robert Petryszak; Nuno A Fonseca ; Anja Füllgrabe; Laura Huerta; Maria Keays; Amy A Tang; Alvis Brazma;
PUBLISHED: 2017, SOURCE: Bioinform., VOLUME: 33, ISSUE: 14, PAGES: 2218-2220
5565
TITLE: The Single-Writer Principle in CRDT Composition
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: PMLDC@ECOOP, PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: PMLDC@ECOOP, PAGES: 4:1-4:3
5566
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: Handbook of Formal Methods in Human-Computer Interaction, PAGES: 379-403
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: Handbook of Formal Methods in Human-Computer Interaction, PAGES: 379-403
5567
TITLE: The use of sheep as a model for studying peripheral nerve regeneration following nerve injury: review of the literature
AUTHORS: Camila Cardoso Diogo; Jose Arthur Camassa; Jose Eduardo Pereira; Luis Maltez da Costa; Vitor Filipe ; Pedro Alexandre Couto ; Stefano Geuna; Ana Colette Mauricio ; Artur Severo Varejao;
PUBLISHED: 2017, SOURCE: NEUROLOGICAL RESEARCH, VOLUME: 39, ISSUE: 10, PAGES: 926-939
AUTHORS: Camila Cardoso Diogo; Jose Arthur Camassa; Jose Eduardo Pereira; Luis Maltez da Costa; Vitor Filipe ; Pedro Alexandre Couto ; Stefano Geuna; Ana Colette Mauricio ; Artur Severo Varejao;
PUBLISHED: 2017, SOURCE: NEUROLOGICAL RESEARCH, VOLUME: 39, ISSUE: 10, PAGES: 926-939
5568
TITLE: Time-dependent genetic effects on gene expression implicate aging processes
AUTHORS: Bryois, J; Buil, A; Ferreira, PG ; Panousis, NI; Brown, AA; Viñuela, A; Planchon, A; Bielser, D; Small, K; Spector, T; Dermitzakis, ET;
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 4, PAGES: 545-552
AUTHORS: Bryois, J; Buil, A; Ferreira, PG ; Panousis, NI; Brown, AA; Viñuela, A; Planchon, A; Bielser, D; Small, K; Spector, T; Dermitzakis, ET;
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 4, PAGES: 545-552
5569
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Pinto, M; Gonçalves, M; Masci, P ; Campos, JC ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
AUTHORS: Pinto, M; Gonçalves, M; Masci, P ; Campos, JC ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
5570
TITLE: Tools Control Center to Enable the Joint Simulation of Multi-agent Systems
AUTHORS: Brigida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça ; Zita A Vale ;
PUBLISHED: 2017, SOURCE: PAAMS (Special Sessions), VOLUME: 619, PAGES: 307-308
AUTHORS: Brigida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça ; Zita A Vale ;
PUBLISHED: 2017, SOURCE: PAAMS (Special Sessions), VOLUME: 619, PAGES: 307-308
5571
TITLE: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTHORS: Monteiro, MP; Marques, NC; Silva, B; Palma, B; Cardoso, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
AUTHORS: Monteiro, MP; Marques, NC; Silva, B; Palma, B; Cardoso, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
5572
TITLE: Towards a Framework for Agent-Based Simulation of User Behaviour in E-Commerce Context
AUTHORS: Duarte Duarte; Hugo Sereno Ferreira ; João Pedro Dias ; Zafeiris Kokkinogenis ;
PUBLISHED: 2017, SOURCE: PAAMS (Special Sessions), VOLUME: 619, PAGES: 30-38
AUTHORS: Duarte Duarte; Hugo Sereno Ferreira ; João Pedro Dias ; Zafeiris Kokkinogenis ;
PUBLISHED: 2017, SOURCE: PAAMS (Special Sessions), VOLUME: 619, PAGES: 30-38
5573
TITLE: Towards a Green Ranking for Programming Languages
AUTHORS: Couto, M ; Pereira, R ; Ribeiro, F ; Rua, R ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
AUTHORS: Couto, M ; Pereira, R ; Ribeiro, F ; Rua, R ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
5574
TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTHORS: Miguel Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: SBAC-PAD, PAGES: 145-152
AUTHORS: Miguel Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: SBAC-PAD, PAGES: 145-152
5575
TITLE: Towards a middleware for mobile edge-cloud applications
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: MECC@Middleware, PAGES: 1:1-1:6
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: MECC@Middleware, PAGES: 1:1-1:6
5576
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56, PAGES: 2:1-2:13
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56, PAGES: 2:1-2:13
INDEXED IN: Scopus 
DBLP
Scopus DBLP5577
TITLE: Towards an efficient IS service management: The internal customers' zone of tolerance
AUTHORS: Ribeiro, U; Barbosa, B ;
PUBLISHED: 2017, SOURCE: International Journal of Services and Operations Management, VOLUME: 28, ISSUE: 2, PAGES: 141-162
AUTHORS: Ribeiro, U; Barbosa, B ;
PUBLISHED: 2017, SOURCE: International Journal of Services and Operations Management, VOLUME: 28, ISSUE: 2, PAGES: 141-162
5578
TITLE: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PAGES: 356-365
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PAGES: 356-365
5579
TITLE: Towards Interoperability in the European Poetry Community: The Standardization of Philological Concepts
AUTHORS: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLISHED: 2017, SOURCE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PAGES: 156-165
AUTHORS: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLISHED: 2017, SOURCE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PAGES: 156-165
5580
TITLE: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
