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: 10528
535 Team MembersFilters -> Year: 2026
2301
TITLE: Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 218, PAGES: 102803
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 218, PAGES: 102803
INDEXED IN: 
DBLP
DBLP2302
TITLE: Speeding up the detection of invasive bivalve species using environmental DNA: A Nanopore and Illumina sequencing comparison Full Text
AUTHORS: Egeter, Bastian; Verissimo, Joana; Manuel Lopes-Lima ; Chaves, Catia; Pinto, Joana; Riccardi, Nicoletta; Beja, Pedro; Fonseca, Nuno A. ;
PUBLISHED: 2022, SOURCE: MOLECULAR ECOLOGY RESOURCES, VOLUME: 22, ISSUE: 6, PAGES: 2232-2247
AUTHORS: Egeter, Bastian; Verissimo, Joana; Manuel Lopes-Lima ; Chaves, Catia; Pinto, Joana; Riccardi, Nicoletta; Beja, Pedro; Fonseca, Nuno A. ;
PUBLISHED: 2022, SOURCE: MOLECULAR ECOLOGY RESOURCES, VOLUME: 22, ISSUE: 6, PAGES: 2232-2247
2303
TITLE: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTHORS: Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701, PAGES: 460-478
AUTHORS: Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701, PAGES: 460-478
INDEXED IN: 
Scopus DBLP
Scopus DBLP2304
TITLE: State of the Art of Wind and Power Prediction for Wind Farms
AUTHORS: Puga, Ricardo; Baptista, Jose ; Boaventura, Jose ; Ferreira, Judite; Madureira, Ana ;
PUBLISHED: 2022, SOURCE: 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA) / 11th World Congress on Information and Communication Technologies (WICT) in INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021, VOLUME: 419, PAGES: 723-732
AUTHORS: Puga, Ricardo; Baptista, Jose ; Boaventura, Jose ; Ferreira, Judite; Madureira, Ana ;
PUBLISHED: 2022, SOURCE: 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA) / 11th World Congress on Information and Communication Technologies (WICT) in INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021, VOLUME: 419, PAGES: 723-732
2305
TITLE: State of the Art on Advanced Control of Electric Energy Transformation to Hydrogen
AUTHORS: Puga, Ricardo; Boaventura, Jose ; Ferreira, Judite; Madureira, Ana ;
PUBLISHED: 2022, SOURCE: 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA) / 11th World Congress on Information and Communication Technologies (WICT) in INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021, VOLUME: 419, PAGES: 733-742
AUTHORS: Puga, Ricardo; Boaventura, Jose ; Ferreira, Judite; Madureira, Ana ;
PUBLISHED: 2022, SOURCE: 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA) / 11th World Congress on Information and Communication Technologies (WICT) in INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021, VOLUME: 419, PAGES: 733-742
2306
TITLE: Statistical education and official statistics - training future data scientists
AUTHORS: Maria Eduarda Silva ; Pedro Campos;
PUBLISHED: 2022, SOURCE: Proceedings of the IASE 2021 Satellite Conference
AUTHORS: Maria Eduarda Silva ; Pedro Campos;
PUBLISHED: 2022, SOURCE: Proceedings of the IASE 2021 Satellite Conference
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall2307
TITLE: Statistical study of curing conditions in alkali activation of Portuguese mine tailings
AUTHORS: Correia, Elisete ; Miranda, Tiago ; Cerveira, Adelaide; Castro, Fernando; Fernandez Jimenez, Ana; Cristelo, Nuno; Coelho, Joao;
PUBLISHED: 2022, SOURCE: ENVIRONMENTAL GEOTECHNICS, VOLUME: 9, ISSUE: 3, PAGES: 171-182
AUTHORS: Correia, Elisete ; Miranda, Tiago ; Cerveira, Adelaide; Castro, Fernando; Fernandez Jimenez, Ana; Cristelo, Nuno; Coelho, Joao;
PUBLISHED: 2022, SOURCE: ENVIRONMENTAL GEOTECHNICS, VOLUME: 9, ISSUE: 3, PAGES: 171-182
2308
TITLE: Stock Management Improvement in a Nursing Ward Using Lean Approach and Mathematical Modelling
AUTHORS: Rocha, Javier; Dominguez, Caroline; Cerveira, Adelaide ;
PUBLISHED: 2022, SOURCE: 2nd International Conference on Optimization, Learning Algorithms and Applications (OL2A) in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2022, VOLUME: 1754, PAGES: 714-728
AUTHORS: Rocha, Javier; Dominguez, Caroline; Cerveira, Adelaide ;
PUBLISHED: 2022, SOURCE: 2nd International Conference on Optimization, Learning Algorithms and Applications (OL2A) in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2022, VOLUME: 1754, PAGES: 714-728
2309
TITLE: Strategic Alignment of Knowledge Management Systems
AUTHORS: Morais Claudio, Marta do Ceu; Santos, Arnaldo ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 418-433
AUTHORS: Morais Claudio, Marta do Ceu; Santos, Arnaldo ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 418-433
2310
TITLE: Strategic Alignment of Knowledge Management Systems
AUTHORS: Marta do Céu Morais Cláudio; Arnaldo Santos ;
PUBLISHED: 2022, SOURCE: Technology and Innovation in Learning, Teaching and Education - Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31 - September 2, 2022, Revised Selected Papers, VOLUME: 1720, PAGES: 418-433
AUTHORS: Marta do Céu Morais Cláudio; Arnaldo Santos ;
PUBLISHED: 2022, SOURCE: Technology and Innovation in Learning, Teaching and Education - Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31 - September 2, 2022, Revised Selected Papers, VOLUME: 1720, PAGES: 418-433
INDEXED IN: DBLP
DBLP2311
TITLE: Stream-based explainable recommendations via blockchain profiling Full Text
AUTHORS: Leal, F ; Veloso, B ; Malheiro, B ; Burguillo, JC; Chis, AE; Gonzalez Velez, H;
PUBLISHED: 2022, SOURCE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 105-121
AUTHORS: Leal, F ; Veloso, B ; Malheiro, B ; Burguillo, JC; Chis, AE; Gonzalez Velez, H;
PUBLISHED: 2022, SOURCE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 105-121
2312
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
2313
TITLE: Student Engagement Detection Using Emotion Analysis, Eye Tracking and Head Movement with Machine Learning
AUTHORS: Sharma, Prabin; Joshi, Shubham; Gautam, Subash; Maharjan, Sneha; Khanal, Salik Ram ; Reis, Manuel Cabral ; Barroso, Joao; de Jesus Filipe, Vitor Manuel ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 52-68
AUTHORS: Sharma, Prabin; Joshi, Shubham; Gautam, Subash; Maharjan, Sneha; Khanal, Salik Ram ; Reis, Manuel Cabral ; Barroso, Joao; de Jesus Filipe, Vitor Manuel ;
PUBLISHED: 2022, SOURCE: 3rd International Conference on Technology and Innovation in Learning, Teaching and Education (TECH-EDU) in TECHNOLOGY AND INNOVATION IN LEARNING, TEACHING AND EDUCATION, TECH-EDU 2022, VOLUME: 1720, PAGES: 52-68
2314
TITLE: Summary of the artifact accompanying the article "Designing Microservice Systems Using Patterns: An Empirical Study on Quality Trade-Offs"
AUTHORS: Vale, Guilherme; Correia, Filipe Figueiredo ; Guerra, Eduardo Martins; Rosa, Thatiane de Oliveira; Fritzsch, Jonas; Bogner, Justus;
PUBLISHED: 2022, SOURCE: 19th IEEE International Conference on Software Architecture (ICSA) in 2022 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2022), PAGES: 57-57
AUTHORS: Vale, Guilherme; Correia, Filipe Figueiredo ; Guerra, Eduardo Martins; Rosa, Thatiane de Oliveira; Fritzsch, Jonas; Bogner, Justus;
PUBLISHED: 2022, SOURCE: 19th IEEE International Conference on Software Architecture (ICSA) in 2022 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2022), PAGES: 57-57
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP2315
TITLE: Survey on Synthetic Data Generation, Evaluation Methods and GANs Full Text
AUTHORS: Figueira, Alvaro ; Vaz, Bruno;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 15, PAGES: 2733
AUTHORS: Figueira, Alvaro ; Vaz, Bruno;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 15, PAGES: 2733
2316
TITLE: Teaching HCI Engineering: Four Case Studies
AUTHORS: Caffiau, Sybille; Campos, Jose C. ; Martinie, Celia; Nigay, Laurence; Palanque, Philippe; Spano, Lucio Davide;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198, PAGES: 195-210
AUTHORS: Caffiau, Sybille; Campos, Jose C. ; Martinie, Celia; Nigay, Laurence; Palanque, Philippe; Spano, Lucio Davide;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198, PAGES: 195-210
2317
TITLE: Techno-Economic Feasibility Analysis and Optimal Design of Hybrid Renewable Energy Systems Coupled with Energy Storage
AUTHORS: Cupples, Shirin; Abtahi, Amir; Madureira, Ana ; Quadrado, Jose;
PUBLISHED: 2022, SOURCE: 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA) / 11th World Congress on Information and Communication Technologies (WICT) in INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021, VOLUME: 419, PAGES: 786-796
AUTHORS: Cupples, Shirin; Abtahi, Amir; Madureira, Ana ; Quadrado, Jose;
PUBLISHED: 2022, SOURCE: 12th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA) / 11th World Congress on Information and Communication Technologies (WICT) in INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021, VOLUME: 419, PAGES: 786-796
2318
TITLE: Technology and Innovation in Learning, Teaching and Education - Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31 - September 2, 2022, Revised Selected Papers
AUTHORS: Arsénio Reis; João Barroso; Paulo Martins ; Athanassios Jimoyiannis; Ray Yueh Min Huang; Roberto Henriques;
PUBLISHED: 2022, SOURCE: TECH-EDU, VOLUME: 1720
AUTHORS: Arsénio Reis; João Barroso; Paulo Martins ; Athanassios Jimoyiannis; Ray Yueh Min Huang; Roberto Henriques;
PUBLISHED: 2022, SOURCE: TECH-EDU, VOLUME: 1720
INDEXED IN: DBLP
DBLP2319
TITLE: Temporal Nodes Causal Discovery for in Intensive Care Unit Survival Analysis
AUTHORS: Nogueira, Ana Rita ; Ferreira, Carlos Abreu ; Gama, Joao ;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 587-598
AUTHORS: Nogueira, Ana Rita ; Ferreira, Carlos Abreu ; Gama, Joao ;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 587-598
2320
TITLE: Text2Icons: linking icons to narrative participants (position paper) PDF
AUTHORS: Joana Valente; Alípio Jorge ; Sérgio Nunes ;
PUBLISHED: 2022, SOURCE: Proceedings of Text2Story - Fifth Workshop on Narrative Extraction From Texts held in conjunction with the 44th European Conference on Information Retrieval (ECIR 2022), Stavanger, Norway, April 10, 2022., VOLUME: 3117, PAGES: 111-116
AUTHORS: Joana Valente; Alípio Jorge ; Sérgio Nunes ;
PUBLISHED: 2022, SOURCE: Proceedings of Text2Story - Fifth Workshop on Narrative Extraction From Texts held in conjunction with the 44th European Conference on Information Retrieval (ECIR 2022), Stavanger, Norway, April 10, 2022., VOLUME: 3117, PAGES: 111-116
INDEXED IN: Scopus DBLP
Scopus DBLP