Mário Jorge Rodrigues Pereira da Franca
AuthID: R-000-CXC
1
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 WOS2
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
3
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
4
TITLE: Experimental insights into the abrasion of large wood in rivers
AUTHORS: Jiangtao Yang; Frank Seidel; Mário J Franca;
PUBLISHED: 2025
AUTHORS: Jiangtao Yang; Frank Seidel; Mário J Franca;
PUBLISHED: 2025
5
TITLE: Experimental and numerical investigation of the vertical distribution of macro plastic transport in rivers
AUTHORS: Tobias van Batenburg; Antonio Moreno-Rodenas; Wout Bakker; Daniel Valero; Frank Kleissen; Frans Buschman; Paul Vriend; Mário J Franca; Anton de Fockert;
PUBLISHED: 2025
AUTHORS: Tobias van Batenburg; Antonio Moreno-Rodenas; Wout Bakker; Daniel Valero; Frank Kleissen; Frans Buschman; Paul Vriend; Mário J Franca; Anton de Fockert;
PUBLISHED: 2025
6
TITLE: Erratum to: “The key role of surface tension in the transport and quantification of plastic pollution in rivers” [Water Research 226 (2022) 119,078]
AUTHORS: Daniel Valero; Biruk S Belay; Antonio Moreno-Rodenas; Matthias Kramer; Mário J Franca;
PUBLISHED: 2025, SOURCE: Water Research, VOLUME: 281
AUTHORS: Daniel Valero; Biruk S Belay; Antonio Moreno-Rodenas; Matthias Kramer; Mário J Franca;
PUBLISHED: 2025, SOURCE: Water Research, VOLUME: 281
7
TITLE: Evolution of Erosion and Deposition Induced by an Impinging Jet to Manage Sediment Full Text
AUTHORS: Buffon, P; Uijttewaal, WSJ; Valero, D; Franca, MJ;
PUBLISHED: 2025, SOURCE: Water Resources Research, VOLUME: 61, ISSUE: 5
AUTHORS: Buffon, P; Uijttewaal, WSJ; Valero, D; Franca, MJ;
PUBLISHED: 2025, SOURCE: Water Resources Research, VOLUME: 61, ISSUE: 5
8
TITLE: Methodology and Experimental Protocol for Studying Learning and Motor Control in Neuromuscular Structures in Pilates Full Text
AUTHORS: Pereira, Mario Jose; Andre, Alexandra; Monteiro, Mario; Castro, Maria Antonio; Mendes, Rui; Fernando M.L. Martins ; Gomes, Ricardo ; Vaz, Vasco; Dias, Goncalo;
PUBLISHED: 2024, SOURCE: HEALTHCARE, VOLUME: 12, ISSUE: 2
AUTHORS: Pereira, Mario Jose; Andre, Alexandra; Monteiro, Mario; Castro, Maria Antonio; Mendes, Rui; Fernando M.L. Martins ; Gomes, Ricardo ; Vaz, Vasco; Dias, Goncalo;
PUBLISHED: 2024, SOURCE: HEALTHCARE, VOLUME: 12, ISSUE: 2
9
TITLE: On the vertical structure of non-buoyant plastics in turbulent transport
AUTHORS: James Lofty; Daniel Valero; Antonio Moreno-Rodenas; Biruk S Belay; Catherine Wilson; Pablo Ouro; Mário J Franca;
PUBLISHED: 2024, SOURCE: Water Research, VOLUME: 254
AUTHORS: James Lofty; Daniel Valero; Antonio Moreno-Rodenas; Biruk S Belay; Catherine Wilson; Pablo Ouro; Mário J Franca;
PUBLISHED: 2024, SOURCE: Water Research, VOLUME: 254
10
TITLE: Low-intrusive colour-enhanced pattern coating of plastics for fluid-mechanics laboratory experiments
AUTHORS: Daniel Valero; Stefan Felder; Frank Seidel; Antonio Moreno-Rodenas; Mário J Franca;
PUBLISHED: 2024
AUTHORS: Daniel Valero; Stefan Felder; Frank Seidel; Antonio Moreno-Rodenas; Mário J Franca;
PUBLISHED: 2024
