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: 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
4
TÃTULO: On the vertical structure of non-buoyant plastics in turbulent transport
AUTORES: James Lofty; Daniel Valero; Antonio Moreno-Rodenas; Biruk S Belay; Catherine Wilson; Pablo Ouro; Mário J Franca;
PUBLICAÇÃO: 2024, FONTE: Water Research, VOLUME: 254
AUTORES: James Lofty; Daniel Valero; Antonio Moreno-Rodenas; Biruk S Belay; Catherine Wilson; Pablo Ouro; Mário J Franca;
PUBLICAÇÃO: 2024, FONTE: Water Research, VOLUME: 254
5
TÃTULO: Low-intrusive colour-enhanced pattern coating of plastics for fluid-mechanics laboratory experiments
AUTORES: Daniel Valero; Stefan Felder; Frank Seidel; Antonio Moreno-Rodenas; Mário J Franca;
PUBLICAÇÃO: 2024
AUTORES: Daniel Valero; Stefan Felder; Frank Seidel; Antonio Moreno-Rodenas; Mário J Franca;
PUBLICAÇÃO: 2024
6
TÃTULO: A method for segmentation of pebble images in the presence of shadows Full Text
AUTORES: Alessandro Cattapan; Alessia Gurini; Paolo Paron; Francesco Ballio; Mário J Franca;
PUBLICAÇÃO: 2024, FONTE: Earth Surface Processes and Landforms
AUTORES: Alessandro Cattapan; Alessia Gurini; Paolo Paron; Francesco Ballio; Mário J Franca;
PUBLICAÇÃO: 2024, FONTE: Earth Surface Processes and Landforms
7
TÃTULO: Physical activity in vascular cognitive impairment: Systematic review with meta-analysis
AUTORES: Vitor, Joana; Melita, Catarina; Rodrigues, Mario; de Sousa, Diana Aguiar; Costa, Joao ; Ferro, J. M.; Verdelho, Ana;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF STROKE & CEREBROVASCULAR DISEASES, VOLUME: 32, NÚMERO: 8
AUTORES: Vitor, Joana; Melita, Catarina; Rodrigues, Mario; de Sousa, Diana Aguiar; Costa, Joao ; Ferro, J. M.; Verdelho, Ana;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF STROKE & CEREBROVASCULAR DISEASES, VOLUME: 32, NÚMERO: 8
INDEXADO EM: WOS
WOS8
TÃTULO: Single-stage stellarator optimization: combining coils with fixed boundary equilibria Full Text
AUTORES: Jorge, R.; Goodman, A.; Landreman, M.; Rodrigues, J.; Wechsung, F.;
PUBLICAÇÃO: 2023, FONTE: PLASMA PHYSICS AND CONTROLLED FUSION, VOLUME: 65, NÚMERO: 7
AUTORES: Jorge, R.; Goodman, A.; Landreman, M.; Rodrigues, J.; Wechsung, F.;
PUBLICAÇÃO: 2023, FONTE: PLASMA PHYSICS AND CONTROLLED FUSION, VOLUME: 65, NÚMERO: 7
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
AUTORES: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: ICFP
AUTORES: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: ICFP
INDEXADO EM: Scopus WOS
Scopus WOS10
TÃTULO: Predicting Peritoneal Carcinomatosis in Locally Advanced Gastric Cancer: The Significance of Tumor Markers in the Peritoneal Washing Full Text
AUTORES: Pinheiro, Joao Luis; Duarte, Liliana; Santos, Andreia J.; Tojal, Andre; Canhoto, Carolina; Ferreira, Marta; Marques, Conceicao; Pereira, Jorge;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF GASTROINTESTINAL CANCER
AUTORES: Pinheiro, Joao Luis; Duarte, Liliana; Santos, Andreia J.; Tojal, Andre; Canhoto, Carolina; Ferreira, Marta; Marques, Conceicao; Pereira, Jorge;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF GASTROINTESTINAL CANCER
INDEXADO EM: Scopus WOS
Scopus WOS