Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

University of Porto (UP) :: Faculty of Engineering (FEUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 4669

62 Team Members
Filters -> Year: 2026
1944
TITLE: Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, P2DS@EuroSys 2018, Porto, Portugal, April 23, 2018
AUTHORS: Francisco Maia ; Hugues Mercier; Andrey Brito;
PUBLISHED: 2018, SOURCE: P2DS@EuroSys
INDEXED IN: DBLP CrossRef
1947
TITLE: Program committee chairs' welcome
AUTHORS: Malta, M ; Eckert, K;
PUBLISHED: 2018, SOURCE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September
INDEXED IN: Scopus
1948
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 56-62
INDEXED IN: Scopus WOS DBLP CrossRef: 12
1949
TITLE: Proposal of an Extended Taxonomy of Serious Games for Health Rehabilitation
AUTHORS: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLISHED: 2018, SOURCE: GAMES FOR HEALTH JOURNAL, VOLUME: 7, ISSUE: 5, PAGES: 302-309
INDEXED IN: Scopus WOS CrossRef: 10 Handle
1950
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PAGES: 397-402
INDEXED IN: Scopus WOS DBLP CrossRef: 4
1951
TITLE: Providing proactiveness: Data analysis techniques portfolios
AUTHORS: Sillitti, A; Anakabe, JF; Basurko, J; Dam, P; Ferreira, H; Ferreiro, S; Gijsbers, J; He, S; Hegedus, C; Holenderski, M; Hooghoudt, JO; Lecuona, I; Leturiondo, U; Marcelis, Q; Moldován, I; Okafor, E; de Sá, CR; Romero, R; Sarr, B; Schomaker, L; Shekar, AK; Soares, C ; Sprong, H; Theodorsen, S; Tourwé, T; Urchegui, G; Webers, G; Yang, Y; Zubaliy, A; Zugasti, E; Zurutuza, U; ...More
PUBLISHED: 2018, SOURCE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PAGES: 145-238
INDEXED IN: Scopus
1952
TITLE: QR-Augmented Spectrum-based Fault Localization
AUTHORS: Alexandre Perez; Rui Abreu ;
PUBLISHED: 2018, SOURCE: DX, VOLUME: 2289
INDEXED IN: Scopus DBLP
1953
TITLE: Quality Model for Classification of the Review of Scientific Articles
AUTHORS: Lino, AS; da Rocha, AMR ; Reis, LP ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: WOS CrossRef
1954
TITLE: Quality model for classification of the review of scientific articles [Modelo de Qualidade para Classificação da Revisão de Artigos Científicos]
AUTHORS: Lino, AS; Reis Da Rocha, AM; Reis, LP ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies, CISTI 2018 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2018-June, PAGES: 1-5
INDEXED IN: Scopus
1955
TITLE: Quantitative Operating Principles of Yeast Metabolism during Adaptation to Heat Stress
AUTHORS: Pereira, T ; Vilaprinyo, E; Belli, G; Herrero, E; Salvado, B; Sorribas, A; Altés, G; Alves, R;
PUBLISHED: 2018, SOURCE: CELL REPORTS, VOLUME: 22, ISSUE: 9, PAGES: 2421-2430
INDEXED IN: WOS CrossRef: 19
1956
TITLE: Rapid Prototyping and Verification of Hardware Modules Generated Using HLS
AUTHORS: Julián Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLISHED: 2018, SOURCE: ARC, VOLUME: 10824 LNCS, PAGES: 446-458
INDEXED IN: Scopus DBLP CrossRef
1957
TITLE: Real-Time Tool for Human Gait Detection from Lower Trunk Acceleration
AUTHORS: Helena R Gonçalves; Rui Moreira; Ana Rodrigues; Graça Minas ; Luís Paulo Reis ; Cristina P Santos ;
PUBLISHED: 2018, SOURCE: WorldCIST (3), VOLUME: 747, PAGES: 9-18
INDEXED IN: Scopus DBLP CrossRef: 6
1958
TITLE: Recognizing Textual Entailment: Challenges in the Portuguese Language
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2018, SOURCE: Inf., VOLUME: 9, ISSUE: 4, PAGES: 76
INDEXED IN: Scopus DBLP CrossRef: 12
1959
TITLE: RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading  Full Text
AUTHORS: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLISHED: 2018, SOURCE: International Journal of Parallel Programming, VOLUME: 46, ISSUE: 2, PAGES: 225-251
INDEXED IN: Scopus CrossRef: 10
1960
TITLE: Reducing the Cost of Mutation Testing using the Semantic Size of Mutant  Full Text
AUTHORS: Sousa, LD; VINCENZI, AURI M. R. ; Delamaro, ME; Vieira, IR; de Mendonca, VRL; Rodrigues, CL;
PUBLISHED: 2018, SOURCE: 2018 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 2675-2680
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 98 of 234. Total results: 4669.