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: 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
3
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
4
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
5
TITLE: A method for segmentation of pebble images in the presence of shadows Full Text
AUTHORS: Alessandro Cattapan; Alessia Gurini; Paolo Paron; Francesco Ballio; Mário J Franca;
PUBLISHED: 2024, SOURCE: Earth Surface Processes and Landforms
AUTHORS: Alessandro Cattapan; Alessia Gurini; Paolo Paron; Francesco Ballio; Mário J Franca;
PUBLISHED: 2024, SOURCE: Earth Surface Processes and Landforms
6
TITLE: Physical activity in vascular cognitive impairment: Systematic review with meta-analysis
AUTHORS: Vitor, Joana; Melita, Catarina; Rodrigues, Mario; de Sousa, Diana Aguiar; Costa, Joao ; Ferro, J. M.; Verdelho, Ana;
PUBLISHED: 2023, SOURCE: JOURNAL OF STROKE & CEREBROVASCULAR DISEASES, VOLUME: 32, ISSUE: 8
AUTHORS: Vitor, Joana; Melita, Catarina; Rodrigues, Mario; de Sousa, Diana Aguiar; Costa, Joao ; Ferro, J. M.; Verdelho, Ana;
PUBLISHED: 2023, SOURCE: JOURNAL OF STROKE & CEREBROVASCULAR DISEASES, VOLUME: 32, ISSUE: 8
INDEXED IN: WOS
WOS7
TITLE: Single-stage stellarator optimization: combining coils with fixed boundary equilibria Full Text
AUTHORS: Jorge, R.; Goodman, A.; Landreman, M.; Rodrigues, J.; Wechsung, F.;
PUBLISHED: 2023, SOURCE: PLASMA PHYSICS AND CONTROLLED FUSION, VOLUME: 65, ISSUE: 7
AUTHORS: Jorge, R.; Goodman, A.; Landreman, M.; Rodrigues, J.; Wechsung, F.;
PUBLISHED: 2023, SOURCE: PLASMA PHYSICS AND CONTROLLED FUSION, VOLUME: 65, ISSUE: 7
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
AUTHORS: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: ICFP
AUTHORS: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: ICFP
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Predicting Peritoneal Carcinomatosis in Locally Advanced Gastric Cancer: The Significance of Tumor Markers in the Peritoneal Washing Full Text
AUTHORS: Pinheiro, Joao Luis; Duarte, Liliana; Santos, Andreia J.; Tojal, Andre; Canhoto, Carolina; Ferreira, Marta; Marques, Conceicao; Pereira, Jorge;
PUBLISHED: 2023, SOURCE: JOURNAL OF GASTROINTESTINAL CANCER
AUTHORS: Pinheiro, Joao Luis; Duarte, Liliana; Santos, Andreia J.; Tojal, Andre; Canhoto, Carolina; Ferreira, Marta; Marques, Conceicao; Pereira, Jorge;
PUBLISHED: 2023, SOURCE: JOURNAL OF GASTROINTESTINAL CANCER
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: A multi-disciplinary analysis of the exceptional flood event of July 2021 in central Europe – Part 2: Historical context and relation to climate change
AUTHORS: Patrick Ludwig; Florian Ehmele; Mário J Franca; Susanna Mohr; Alberto Caldas-Alvarez; James E Daniell; Uwe Ehret; Hendrik Feldmann; Marie Hundhausen; Peter Knippertz; Katharina Küpfer; Michael Kunz; Bernhard Mühr; Joaquim G Pinto; Julian Quinting; Andreas M Schäfer; Frank Seidel; Christina Wisotzky;
PUBLISHED: 2023, SOURCE: Natural Hazards and Earth System Sciences, VOLUME: 23, ISSUE: 4
AUTHORS: Patrick Ludwig; Florian Ehmele; Mário J Franca; Susanna Mohr; Alberto Caldas-Alvarez; James E Daniell; Uwe Ehret; Hendrik Feldmann; Marie Hundhausen; Peter Knippertz; Katharina Küpfer; Michael Kunz; Bernhard Mühr; Joaquim G Pinto; Julian Quinting; Andreas M Schäfer; Frank Seidel; Christina Wisotzky;
PUBLISHED: 2023, SOURCE: Natural Hazards and Earth System Sciences, VOLUME: 23, ISSUE: 4
