Mário Jorge Rodrigues Pereira da Franca
AuthID: R-000-CXC
1
TÃTULO: Practical Deductive Verification of OCaml Programs
AUTORES: Pereira, Mario;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
AUTORES: Pereira, Mario;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Abdominal wall muscle ultrasound assessment and level of experience in Pilates - an exploratory study Full Text
AUTORES: Pereira, Mario; Andre, Alexandra; Dias, Goncalo; Castro, Maria Antonio ; Mendes, Rui ; Fernando M.L. Martins ; Gomes, Ricardo; Vaz, Vasco ;
PUBLICAÇÃO: 2025, FONTE: RETOS-NUEVAS TENDENCIAS EN EDUCACION FISICA DEPORTE Y RECREACION, VOLUME: 62, NÚMERO: 62
AUTORES: Pereira, Mario; Andre, Alexandra; Dias, Goncalo; Castro, Maria Antonio ; Mendes, Rui ; Fernando M.L. Martins ; Gomes, Ricardo; Vaz, Vasco ;
PUBLICAÇÃO: 2025, FONTE: RETOS-NUEVAS TENDENCIAS EN EDUCACION FISICA DEPORTE Y RECREACION, VOLUME: 62, NÚMERO: 62
3
TÃTULO: Determining the settling and rising velocities of the top polluting macroplastics in rivers 
AUTORES: James Lofty; Daniel Valero; Mário Franca;
PUBLICAÇÃO: 2025
AUTORES: James Lofty; Daniel Valero; Mário Franca;
PUBLICAÇÃO: 2025
4
TÃTULO: Experimental insights into the abrasion of large wood in rivers
AUTORES: Jiangtao Yang; Frank Seidel; Mário J Franca;
PUBLICAÇÃO: 2025
AUTORES: Jiangtao Yang; Frank Seidel; Mário J Franca;
PUBLICAÇÃO: 2025
5
TÃTULO: Experimental and numerical investigation of the vertical distribution of macro plastic transport in rivers
AUTORES: Tobias van Batenburg; Antonio Moreno-Rodenas; Wout Bakker; Daniel Valero; Frank Kleissen; Frans Buschman; Paul Vriend; Mário J Franca; Anton de Fockert;
PUBLICAÇÃO: 2025
AUTORES: Tobias van Batenburg; Antonio Moreno-Rodenas; Wout Bakker; Daniel Valero; Frank Kleissen; Frans Buschman; Paul Vriend; Mário J Franca; Anton de Fockert;
PUBLICAÇÃO: 2025
6
TÃTULO: Erratum to: “The key role of surface tension in the transport and quantification of plastic pollution in rivers” [Water Research 226 (2022) 119,078]
AUTORES: Daniel Valero; Biruk S Belay; Antonio Moreno-Rodenas; Matthias Kramer; Mário J Franca;
PUBLICAÇÃO: 2025, FONTE: Water Research, VOLUME: 281
AUTORES: Daniel Valero; Biruk S Belay; Antonio Moreno-Rodenas; Matthias Kramer; Mário J Franca;
PUBLICAÇÃO: 2025, FONTE: Water Research, VOLUME: 281
7
TÃTULO: Analysis of Teachers' Visual Behaviour in Classes: A Systematic Review
AUTORES: Mendes, Rodrigo; Pereira, Mario; Nobre, Paulo; Dias, Goncalo;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 15, NÚMERO: 4
AUTORES: Mendes, Rodrigo; Pereira, Mario; Nobre, Paulo; Dias, Goncalo;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 15, NÚMERO: 4
8
TÃTULO: Evolution of Erosion and Deposition Induced by an Impinging Jet to Manage Sediment Full Text
AUTORES: Buffon, P; Uijttewaal, WSJ; Valero, D; Franca, MJ;
PUBLICAÇÃO: 2025, FONTE: Water Resources Research, VOLUME: 61, NÚMERO: 5
AUTORES: Buffon, P; Uijttewaal, WSJ; Valero, D; Franca, MJ;
PUBLICAÇÃO: 2025, FONTE: Water Resources Research, VOLUME: 61, NÚMERO: 5
9
TÃTULO: Why Should Urban Debris Dynamics Be Considered in Urban Flood Management? Full Text
AUTORES: Mário J Franca; Rose Cook; Ali Pourzangbar; Xilin Xia; Daniel Valero; Davide Vanzo; Arnau Bayón; Nigel Wright;
PUBLICAÇÃO: 2025, FONTE: Water Resources Research, VOLUME: 61, NÚMERO: 12
AUTORES: Mário J Franca; Rose Cook; Ali Pourzangbar; Xilin Xia; Daniel Valero; Davide Vanzo; Arnau Bayón; Nigel Wright;
PUBLICAÇÃO: 2025, FONTE: Water Resources Research, VOLUME: 61, NÚMERO: 12
10
TÃTULO: Methodology and Experimental Protocol for Studying Learning and Motor Control in Neuromuscular Structures in Pilates Full Text
AUTORES: Pereira, Mario Jose; Andre, Alexandra; Monteiro, Mario; Castro, Maria Antonio ; Mendes, Rui ; Fernando M.L. Martins ; Gomes, Ricardo ; Vaz, Vasco ; Dias, Goncalo;
PUBLICAÇÃO: 2024, FONTE: HEALTHCARE, VOLUME: 12, NÚMERO: 2
AUTORES: Pereira, Mario Jose; Andre, Alexandra; Monteiro, Mario; Castro, Maria Antonio ; Mendes, Rui ; Fernando M.L. Martins ; Gomes, Ricardo ; Vaz, Vasco ; Dias, Goncalo;
PUBLICAÇÃO: 2024, FONTE: HEALTHCARE, VOLUME: 12, NÚMERO: 2
