Mário Jorge Rodrigues Pereira da Franca
AuthID: R-000-CXC
1
TITLE: An explainable machine-learning framework for mapping municipal flood severity: a case study in the Valencian community
AUTHORS: Ali Pourzangbar; Preethi Lakshmipathy; Siao Sun; Mário J. Franca;
PUBLISHED: 2026
AUTHORS: Ali Pourzangbar; Preethi Lakshmipathy; Siao Sun; Mário J. Franca;
PUBLISHED: 2026
2
TITLE: Innovative trend analysis method for drought indicators and pattern detection of the Urmia lake basin, Iran
AUTHORS: Naghmeh Ziafati; Keivan Khalili; Hossein Rezaie; Nasrin Fathollahzadeh Attar; Mario Jorge Rodrigues Pereira da Franca; Ali Pourzangbar;
PUBLISHED: 2026
AUTHORS: Naghmeh Ziafati; Keivan Khalili; Hossein Rezaie; Nasrin Fathollahzadeh Attar; Mario Jorge Rodrigues Pereira da Franca; Ali Pourzangbar;
PUBLISHED: 2026
3
TITLE: Vision-Language Models for Floating Litter Detection
AUTHORS: Chuyue Zhang; Tianlong Jia; Mário J. Franca; James Lofty; Daniel Rebai; Uwe Ehret;
PUBLISHED: 2026
AUTHORS: Chuyue Zhang; Tianlong Jia; Mário J. Franca; James Lofty; Daniel Rebai; Uwe Ehret;
PUBLISHED: 2026
4
TITLE: Educating transdisciplinary water professionals for global change: the joint European Master’s programme in Continental Water Sustainability
AUTHORS: Mário J Franca; Florian Wittmann; Véronique Marchant; Ulf Mohrlok; Sylvain Payraudeau; Ulrike Scherer; Gwenaël Imfeld; Birgitta Alexandra Kappes; Laurent Schmitt; Karl Matthias Wantzen;
PUBLISHED: 2026
AUTHORS: Mário J Franca; Florian Wittmann; Véronique Marchant; Ulf Mohrlok; Sylvain Payraudeau; Ulrike Scherer; Gwenaël Imfeld; Birgitta Alexandra Kappes; Laurent Schmitt; Karl Matthias Wantzen;
PUBLISHED: 2026
5
TITLE: Towards a Quality Management System for Flow Modelling: Integrating Uncertainty Analysis in Conceptual Development
AUTHORS: Fabian Knepper; Peter Oberle; Mário J Franca;
PUBLISHED: 2026
AUTHORS: Fabian Knepper; Peter Oberle; Mário J Franca;
PUBLISHED: 2026
6
TITLE: Database for the setting and rising dynamics of river litter
AUTHORS: James Lofty; Daniel Valero; Mario Franca;
PUBLISHED: 2026
AUTHORS: James Lofty; Daniel Valero; Mario Franca;
PUBLISHED: 2026
7
TITLE: Geometric and physical properties of the most persistent litter items in rivers
AUTHORS: Daniel Rebai; James Lofty; Mário J Franca; Daniel Valero;
PUBLISHED: 2026
AUTHORS: Daniel Rebai; James Lofty; Mário J Franca; Daniel Valero;
PUBLISHED: 2026
8
TITLE: Practical Deductive Verification of OCaml Programs
AUTHORS: Pereira, Mario;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
AUTHORS: Pereira, Mario;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
INDEXED IN: 
Scopus 
WOS
Scopus WOS9
TITLE: Abdominal wall muscle ultrasound assessment and level of experience in Pilates - an exploratory study Full Text
AUTHORS: Pereira, Mario; Andre, Alexandra; Dias, Goncalo; Castro, Maria Antonio ; Mendes, Rui ; Fernando M.L. Martins ; Gomes, Ricardo; Vaz, Vasco ;
PUBLISHED: 2025, SOURCE: RETOS-NUEVAS TENDENCIAS EN EDUCACION FISICA DEPORTE Y RECREACION, VOLUME: 62, ISSUE: 62
AUTHORS: Pereira, Mario; Andre, Alexandra; Dias, Goncalo; Castro, Maria Antonio ; Mendes, Rui ; Fernando M.L. Martins ; Gomes, Ricardo; Vaz, Vasco ;
PUBLISHED: 2025, SOURCE: RETOS-NUEVAS TENDENCIAS EN EDUCACION FISICA DEPORTE Y RECREACION, VOLUME: 62, ISSUE: 62
10
TITLE: Determining the settling and rising velocities of the top polluting macroplastics in rivers 
AUTHORS: James Lofty; Daniel Valero; Mário Franca;
PUBLISHED: 2025
AUTHORS: James Lofty; Daniel Valero; Mário Franca;
PUBLISHED: 2025
