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: Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem
AUTHORS: Tiago Lopes Soares; Ion Chirica; Mário Pereira;
PUBLISHED: 2025, SOURCE: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15221 LNCS
AUTHORS: Tiago Lopes Soares; Ion Chirica; Mário Pereira;
PUBLISHED: 2025, SOURCE: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15221 LNCS
INDEXED IN: Scopus
Scopus4
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
5
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
6
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
7
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
8
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
WOS9
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 WOS10
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 WOS