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: 10645
536 Team MembersFilters -> Year: 2026
3361
TITLE: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
3362
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: ABZ, VOLUME: 12071 LNCS, PAGES: 61-77
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: ABZ, VOLUME: 12071 LNCS, PAGES: 61-77
3363
TITLE: Experimenting with Liveness in Cloud Infrastructure Management
AUTHORS: Lourenço, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 58-82
AUTHORS: Lourenço, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 58-82
3364
TITLE: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture Full Text
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
3365
TITLE: Exploring the Organizational and Technological Implications on Strategic Business Model Change. A Case Study of One Electronic Marketplace
AUTHORS: João Roque; José Duarte Santos; Jorge Simões ; Fernando Almeida ;
PUBLISHED: 2020, SOURCE: Dynamic Strategic Thinking for Improved Competitiveness and Performance - Advances in Business Strategy and Competitive Advantage, PAGES: 28-51
AUTHORS: João Roque; José Duarte Santos; Jorge Simões ; Fernando Almeida ;
PUBLISHED: 2020, SOURCE: Dynamic Strategic Thinking for Improved Competitiveness and Performance - Advances in Business Strategy and Competitive Advantage, PAGES: 28-51
INDEXED IN: 
CrossRef
CrossRef3366
TITLE: Export Promotion Programs: Differences between Advanced and Emerging Economies Full Text
AUTHORS: Ribeiro, J; Figueiredo, A ; Forte, R ;
PUBLISHED: 2020, SOURCE: JOURNAL OF EAST-WEST BUSINESS, VOLUME: 26, ISSUE: 3, PAGES: 213-234
AUTHORS: Ribeiro, J; Figueiredo, A ; Forte, R ;
PUBLISHED: 2020, SOURCE: JOURNAL OF EAST-WEST BUSINESS, VOLUME: 26, ISSUE: 3, PAGES: 213-234
3367
TITLE: Expressing Disambiguation Filters as Combinators
AUTHORS: Macedo, JN ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1348-1351
AUTHORS: Macedo, JN ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1348-1351
3368
TITLE: Expression Atlas update: from tissues to single cells
AUTHORS: Papatheodorou, I; Moreno, P; Manning, J; Fuentes, AMP; George, N; Fexova, S; Fonseca, NA ; Füllgrabe, A; Green, M; Huang, N; Huerta, L; Lqbal, H; Jianu, M; Mohammed, S; Zhao, LY; Jarnuczak, AF; Jupp, S; Marioni, J; Meyer, K; Petryszak, R; ...More
PUBLISHED: 2020, SOURCE: NUCLEIC ACIDS RESEARCH, VOLUME: 48, ISSUE: D1
AUTHORS: Papatheodorou, I; Moreno, P; Manning, J; Fuentes, AMP; George, N; Fexova, S; Fonseca, NA ; Füllgrabe, A; Green, M; Huang, N; Huerta, L; Lqbal, H; Jianu, M; Mohammed, S; Zhao, LY; Jarnuczak, AF; Jupp, S; Marioni, J; Meyer, K; Petryszak, R; ...More
PUBLISHED: 2020, SOURCE: NUCLEIC ACIDS RESEARCH, VOLUME: 48, ISSUE: D1
3369
TITLE: eXtended new reality
AUTHORS: Fausto d Carvalho; Leonel Morgado ; Ricardo Machado;
PUBLISHED: 2020, SOURCE: InnovAction, VOLUME: 2020, ISSUE: 5
AUTHORS: Fausto d Carvalho; Leonel Morgado ; Ricardo Machado;
PUBLISHED: 2020, SOURCE: InnovAction, VOLUME: 2020, ISSUE: 5
INDEXED IN: 
Handle
Handle3370
TITLE: Factors that Influence the Use of Educational Software in Mathematics Teaching Full Text
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
3371
TITLE: Factual Question Generation for the Portuguese Language
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLISHED: 2020, SOURCE: INISTA, PAGES: 1-7
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLISHED: 2020, SOURCE: INISTA, PAGES: 1-7
3372
TITLE: Failure Detection of an Air Production Unit in Operational Context
AUTHORS: Mariana Barros; Bruno Veloso ; Pedro Mota Pereira; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2020, SOURCE: IoT Streams/ITEM@PKDD/ECML, VOLUME: 1325, PAGES: 61-74
AUTHORS: Mariana Barros; Bruno Veloso ; Pedro Mota Pereira; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2020, SOURCE: IoT Streams/ITEM@PKDD/ECML, VOLUME: 1325, PAGES: 61-74
3373
TITLE: Fammeal: A Gamified Mobile Application for Parents and Children to Help Healthcare Centers Treat Childhood Obesity
AUTHORS: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 351-360
AUTHORS: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 351-360
3374
TITLE: FGPE AuthorKit - A Tool for Authoring Gamified Programming Educational Content
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
3375
TITLE: FILLET - Platform for Intelligent Nutrition
AUTHORS: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLISHED: 2020, SOURCE: AICCSA, VOLUME: 2020-November, PAGES: 1-8
AUTHORS: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLISHED: 2020, SOURCE: AICCSA, VOLUME: 2020-November, PAGES: 1-8
3376
TITLE: Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys
AUTHORS: Beck, D; Morgado, L ; O'Shea, P;
PUBLISHED: 2020, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 26, ISSUE: 8, PAGES: 1043-1073
AUTHORS: Beck, D; Morgado, L ; O'Shea, P;
PUBLISHED: 2020, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 26, ISSUE: 8, PAGES: 1043-1073
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3377
TITLE: First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)
AUTHORS: Ricardo Queirós ; Filipe, Portela ; Mário Pinto; Alberto Simões;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81
AUTHORS: Ricardo Queirós ; Filipe, Portela ; Mário Pinto; Alberto Simões;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81
INDEXED IN: DBLP
DBLP3378
TITLE: Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: AISec@CCS, PAGES: 83-91
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: AISec@CCS, PAGES: 83-91
3379
TITLE: FOCAS: Penalising friendly citations to improve author ranking. penalising friendly citations to improve author ranking
AUTHORS: Silva, J ; Aparicio, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
AUTHORS: Silva, J ; Aparicio, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
3380
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
