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: 10648
536 Team MembersFilters -> Year: 2026
3661
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code Full Text
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
3662
TITLE: State-Machine Replication for Planet-Scale Systems
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
3663
TITLE: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data Full Text
AUTHORS: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLISHED: 2020, SOURCE: IETE TECHNICAL REVIEW, VOLUME: 38, ISSUE: 6, PAGES: 672-709
AUTHORS: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLISHED: 2020, SOURCE: IETE TECHNICAL REVIEW, VOLUME: 38, ISSUE: 6, PAGES: 672-709
3664
TITLE: StreamFaSE: An Online Algorithm for Subgraph Counting in Dynamic Networks
AUTHORS: Henrique Branquinho; Luciano Grácio ; Pedro Ribeiro ;
PUBLISHED: 2020, SOURCE: COMPLEX NETWORKS (2), VOLUME: 944, PAGES: 688-699
AUTHORS: Henrique Branquinho; Luciano Grácio ; Pedro Ribeiro ;
PUBLISHED: 2020, SOURCE: COMPLEX NETWORKS (2), VOLUME: 944, PAGES: 688-699
3665
TITLE: Student Research Abstract: Extracting Architectural Patterns of Deep Neural Networks for Disease Detection. student research abstract
AUTHORS: Mafalda Falcao Ferreira ;
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: 1150-1153
AUTHORS: Mafalda Falcao Ferreira ;
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: 1150-1153
3666
TITLE: Student Research Abstract: Multimodal Deep Learning Based Approach for Cells State Classification. student research abstract
AUTHORS: Silva, PR ;
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: 20-23
AUTHORS: Silva, PR ;
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: 20-23
3667
TITLE: Students Drop Out Trends: A University Study
AUTHORS: Bruno Silva; Solteiro Pires, EJ ; Arsénio Reis ; Paulo de d Moura Oliveira ; João Barroso ;
PUBLISHED: 2020, SOURCE: TECH-EDU, VOLUME: 1384 CCIS, PAGES: 442-450
AUTHORS: Bruno Silva; Solteiro Pires, EJ ; Arsénio Reis ; Paulo de d Moura Oliveira ; João Barroso ;
PUBLISHED: 2020, SOURCE: TECH-EDU, VOLUME: 1384 CCIS, PAGES: 442-450
3668
TITLE: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTHORS: Lopes, CT ; Ramos, E;
PUBLISHED: 2020, SOURCE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PAGES: 283-291
AUTHORS: Lopes, CT ; Ramos, E;
PUBLISHED: 2020, SOURCE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PAGES: 283-291
3669
TITLE: Suffering in primary care nurses [Sofrimento nos enfermeiros em cuidados de saúde primários] [Sufrimiento de los enfermeros de atención primaria de la salud]
AUTHORS: Pires, LM; Monteiro, MJ; Vasconcelos Raposo, JJ ;
PUBLISHED: 2020, SOURCE: Revista de Enfermagem Referencia, VOLUME: 2020, ISSUE: 1, PAGES: 1-10
AUTHORS: Pires, LM; Monteiro, MJ; Vasconcelos Raposo, JJ ;
PUBLISHED: 2020, SOURCE: Revista de Enfermagem Referencia, VOLUME: 2020, ISSUE: 1, PAGES: 1-10
INDEXED IN: 
Scopus
Scopus3670
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools Full Text
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
3671
TITLE: Survey on Job Scheduling in Cloud-Fog Architecture
AUTHORS: Barros, C; Rocio, V ; Sousa, A; Paredes, H ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
AUTHORS: Barros, C; Rocio, V ; Sousa, A; Paredes, H ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
3672
TITLE: Symphony. routing aware scheduling for DSME networks Full Text
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 4, PAGES: 26-31
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 4, PAGES: 26-31
3673
TITLE: Teaching cross-cultural design thinking for healthcare Full Text
AUTHORS: Mafalda Falcao Ferreira ; Julia N Savoy; Mia K Markey;
PUBLISHED: 2020, SOURCE: BREAST, VOLUME: 50, PAGES: 1-10
AUTHORS: Mafalda Falcao Ferreira ; Julia N Savoy; Mia K Markey;
PUBLISHED: 2020, SOURCE: BREAST, VOLUME: 50, PAGES: 1-10
3674
TITLE: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study Full Text
AUTHORS: Flores, N ; Paiva, ACR ; Cruz, N;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 3, PAGES: 153
AUTHORS: Flores, N ; Paiva, ACR ; Cruz, N;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 3, PAGES: 153
3675
TITLE: Tech-Inclusion Research: An Iconographic Browser Extension Solution
AUTHORS: Tânia Rocha ; Hugo Paredes ; Paulo Martins ; João Barroso ;
PUBLISHED: 2020, SOURCE: HCI (44), VOLUME: 12426 LNCS, PAGES: 333-344
AUTHORS: Tânia Rocha ; Hugo Paredes ; Paulo Martins ; João Barroso ;
PUBLISHED: 2020, SOURCE: HCI (44), VOLUME: 12426 LNCS, PAGES: 333-344
3676
TITLE: Test case generation based on mutations over user execution traces Full Text
AUTHORS: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
AUTHORS: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
3677
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: TAP@STAF, VOLUME: 12165 LNCS, PAGES: 122-140
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: TAP@STAF, VOLUME: 12165 LNCS, PAGES: 122-140
3678
TITLE: The 3rd International Workshop on Narrative Extraction from Texts: Text2Story 2020
AUTHORS: Ricardo Campos ; Alípio Jorge ; Adam Jatowt; Sumit Bhatia;
PUBLISHED: 2020, SOURCE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PAGES: 648-653
AUTHORS: Ricardo Campos ; Alípio Jorge ; Adam Jatowt; Sumit Bhatia;
PUBLISHED: 2020, SOURCE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PAGES: 648-653
3679
TITLE: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTHORS: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
AUTHORS: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
3680
TITLE: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTHORS: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLISHED: 2020, SOURCE: Frontiers Big Data, VOLUME: 3, PAGES: 22
AUTHORS: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLISHED: 2020, SOURCE: Frontiers Big Data, VOLUME: 3, PAGES: 22
