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: 10637
536 Team MembersFilters -> Year: 2026
3941
TITLE: Evolving Social Networks Analysis via Tensor Decompositions: From Global Event Detection Towards Local Pattern Discovery and Specification
AUTHORS: Sofia Fernandes ; Hadi Fanaee T; João Gama ;
PUBLISHED: 2019, SOURCE: DS, VOLUME: 11828 LNAI, PAGES: 385-395
AUTHORS: Sofia Fernandes ; Hadi Fanaee T; João Gama ;
PUBLISHED: 2019, SOURCE: DS, VOLUME: 11828 LNAI, PAGES: 385-395
3942
TITLE: EvoPPI 1.0: a Web Platform for Within- and Between-Species Multiple Interactome Comparisons and Application to Nine PolyQ Proteins Determining Neurodegenerative Diseases Full Text
AUTHORS: Noe Vazquez; Sara Rocha; Hugo Lopez Fernandez; Andre Torres; Rui Camacho ; Florentino Fdez Riverola; Jorge Vieira ; Cristina P Vieira ; Miguel Reboiro Jato;
PUBLISHED: 2019, SOURCE: INTERDISCIPLINARY SCIENCES-COMPUTATIONAL LIFE SCIENCES, VOLUME: 11, ISSUE: 1, PAGES: 45-56
AUTHORS: Noe Vazquez; Sara Rocha; Hugo Lopez Fernandez; Andre Torres; Rui Camacho ; Florentino Fdez Riverola; Jorge Vieira ; Cristina P Vieira ; Miguel Reboiro Jato;
PUBLISHED: 2019, SOURCE: INTERDISCIPLINARY SCIENCES-COMPUTATIONAL LIFE SCIENCES, VOLUME: 11, ISSUE: 1, PAGES: 45-56
3943
TITLE: EvoPPI: A Web Application to Compare Protein-Protein Interactions (PPIs) from Different Databases and Species
AUTHORS: Vázquez, N; Rocha, S; López Fernández, H; Torres, A; Camacho, R ; Fdez Riverola, F; Vieira, J ; Vieira, CP ; Reboiro Jato, M;
PUBLISHED: 2019, SOURCE: 12th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB) in PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 803, PAGES: 149-156
AUTHORS: Vázquez, N; Rocha, S; López Fernández, H; Torres, A; Camacho, R ; Fdez Riverola, F; Vieira, J ; Vieira, CP ; Reboiro Jato, M;
PUBLISHED: 2019, SOURCE: 12th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB) in PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 803, PAGES: 149-156
3944
TITLE: Examining social capital and individual motivators to explain the adoption of online citizen participation
AUTHORS: Naranjo Zolotov, M; Oliveira, T; Cruz Jesus, F; Martins, J ; Gonçalves, R ; Branco, F ; Xavier, N;
PUBLISHED: 2019, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 92, PAGES: 302-311
AUTHORS: Naranjo Zolotov, M; Oliveira, T; Cruz Jesus, F; Martins, J ; Gonçalves, R ; Branco, F ; Xavier, N;
PUBLISHED: 2019, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 92, PAGES: 302-311
3945
TITLE: Expert Crowdsourcing for Semantic Annotation of Atmospheric Phenomena
AUTHORS: Margarida Liberato ; Hugo Paredes ; Alexandre Ramos; Arsénio Reis; Riccardo Hénin; João Barroso ;
PUBLISHED: 2019
AUTHORS: Margarida Liberato ; Hugo Paredes ; Alexandre Ramos; Arsénio Reis; Riccardo Hénin; João Barroso ;
PUBLISHED: 2019
INDEXED IN:
CrossRef
CrossRef3946
TITLE: Exploring Social Validation on A Collaborative Curation Platform
AUTHORS: Ana Paula Pimentel; Daniel Schneider; Luiz Oliveira; Jano de Souza; Antonio Correia ; Claudia Motta;
PUBLISHED: 2019, SOURCE: IEEE 23rd International Conference on Computer Supported Cooperative Work in Design (CSCWD) in PROCEEDINGS OF THE 2019 IEEE 23RD INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), PAGES: 140-145
AUTHORS: Ana Paula Pimentel; Daniel Schneider; Luiz Oliveira; Jano de Souza; Antonio Correia ; Claudia Motta;
PUBLISHED: 2019, SOURCE: IEEE 23rd International Conference on Computer Supported Cooperative Work in Design (CSCWD) in PROCEEDINGS OF THE 2019 IEEE 23RD INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), PAGES: 140-145
3947
TITLE: Exploring Video Game Searches on the Web
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M;
PUBLISHED: 2019, SOURCE: World Wide Web Conference (WWW) in COMPANION OF THE WORLD WIDE WEB CONFERENCE (WWW 2019 ), PAGES: 1161-1170
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M;
PUBLISHED: 2019, SOURCE: World Wide Web Conference (WWW) in COMPANION OF THE WORLD WIDE WEB CONFERENCE (WWW 2019 ), PAGES: 1161-1170
3948
TITLE: Extended Reality Framework for Remote Collaborative Interactions in Virtual Environments
AUTHORS: Pereira, V; Matos, T ; Rodrigues, R ; Nóbrega, R ; Jacob, J ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 17-24
AUTHORS: Pereira, V; Matos, T ; Rodrigues, R ; Nóbrega, R ; Jacob, J ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 17-24
3949
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2019, SOURCE: Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 532-544
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2019, SOURCE: Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 532-544
INDEXED IN:
DBLP
3950
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Faia, Ricardo; Pinto, Tiago ; Vale, Zita ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 532-544
AUTHORS: Faia, Ricardo; Pinto, Tiago ; Vale, Zita ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 532-544
3951
TITLE: Fall-Prevention Exergames Using Balance Board Systems
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: INTERACT (2), VOLUME: 11747 LNCS, PAGES: 406-426
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: INTERACT (2), VOLUME: 11747 LNCS, PAGES: 406-426
3952
TITLE: Fast Heuristic-Based GPU Compiler Sequence Specialization
AUTHORS: Nobre, R; Reis, L; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
AUTHORS: Nobre, R; Reis, L; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
3953
TITLE: Feature-enriched author ranking in incomplete networks
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
3954
TITLE: Finding Dominant Nodes Using Graphlets
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: COMPLEX NETWORKS (1), VOLUME: 881 SCI, PAGES: 77-89
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: COMPLEX NETWORKS (1), VOLUME: 881 SCI, PAGES: 77-89
3955
TITLE: Flow Monitoring System for IoT Networks
AUTHORS: Santos, L; Rabadao, C ; Gonçalves, R ;
PUBLISHED: 2019, SOURCE: NEW KNOWLEDGE IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 931, PAGES: 420-430
AUTHORS: Santos, L; Rabadao, C ; Gonçalves, R ;
PUBLISHED: 2019, SOURCE: NEW KNOWLEDGE IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 931, PAGES: 420-430
3956
TITLE: FORMAÇÃO CONTINUADA EM CONTEXTO HÍBRIDO E MULTIMODAL: RESSIGNIFICANDO PRÁTICAS PEDAGÓGICAS POR MEIO DE PROJETOS DE APRENDIZAGEM GAMIFICADOS
AUTHORS: Maria Elisabete Bersch; Eliane Schlemmer ;
PUBLISHED: 2019, SOURCE: Revista Tempos e Espaços em Educação, VOLUME: 11, ISSUE: 01, PAGES: 71-92
AUTHORS: Maria Elisabete Bersch; Eliane Schlemmer ;
PUBLISHED: 2019, SOURCE: Revista Tempos e Espaços em Educação, VOLUME: 11, ISSUE: 01, PAGES: 71-92
INDEXED IN:
CrossRef
CrossRef3957
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN:
CrossRef
Openlibrary
CrossRef
Openlibrary3958
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
3959
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503, PAGES: 69-75
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503, PAGES: 69-75
INDEXED IN:
Scopus
DBLP
3960
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Maciel, D; Paiva, ACR ; da Silva, AR ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
AUTHORS: Maciel, D; Paiva, ACR ; da Silva, AR ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272