Mário Jorge Rodrigues Pereira da Franca
AuthID: R-000-CXC
1
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
2
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
WOS3
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 WOS4
TITLE: Movement variability in Pilates: a scoping review Full Text
AUTHORS: Pereira, Mario Jose; Dias, Goncalo; Mendes, Rui; Fernando M.L. Martins ; Gomes, Ricardo; Castro, Maria Antonio; Vaz, Vasco;
PUBLISHED: 2023, SOURCE: FRONTIERS IN PSYCHOLOGY, VOLUME: 14
AUTHORS: Pereira, Mario Jose; Dias, Goncalo; Mendes, Rui; Fernando M.L. Martins ; Gomes, Ricardo; Castro, Maria Antonio; Vaz, Vasco;
PUBLISHED: 2023, SOURCE: FRONTIERS IN PSYCHOLOGY, VOLUME: 14
5
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 WOS6
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 WOS7
TITLE: Benefits of Pilates in the Elderly Population: A Systematic Review and Meta-Analysis
AUTHORS: Pereira, Mario Jose; Mendes, Rodrigo; Mendes, Rui Sousa; Fernando M.L. Martins ; Gomes, Ricardo ; Gama, Jose; Dias, Goncalo; Castro, Maria Antonio;
PUBLISHED: 2022, SOURCE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 12, ISSUE: 3
AUTHORS: Pereira, Mario Jose; Mendes, Rodrigo; Mendes, Rui Sousa; Fernando M.L. Martins ; Gomes, Ricardo ; Gama, Jose; Dias, Goncalo; Castro, Maria Antonio;
PUBLISHED: 2022, SOURCE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 12, ISSUE: 3
8
TITLE: Efficacy of Pilates in Functional Body Composition: A Systematic Review
AUTHORS: Pereira, Mario Jose; Dias, Goncalo; Mendes, Rodrigo; Mendes, Rui Sousa; Fernando M.L. Martins ; Gomes, Ricardo ; Gama, Jose; Castro, Maria Antonio; Vaz, Vasco;
PUBLISHED: 2022, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 12, ISSUE: 15
AUTHORS: Pereira, Mario Jose; Dias, Goncalo; Mendes, Rodrigo; Mendes, Rui Sousa; Fernando M.L. Martins ; Gomes, Ricardo ; Gama, Jose; Castro, Maria Antonio; Vaz, Vasco;
PUBLISHED: 2022, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 12, ISSUE: 15
9
TITLE: How Compassionate Abilities Influence the Experience of Loneliness and Quality of Life of People with and without Chronic Physical Disease? Full Text
AUTHORS: Ramalho, T; Pereira, J; Ferreira, C;
PUBLISHED: 2021, SOURCE: JOURNAL OF PSYCHOLOGY, VOLUME: 155, ISSUE: 8
AUTHORS: Ramalho, T; Pereira, J; Ferreira, C;
PUBLISHED: 2021, SOURCE: JOURNAL OF PSYCHOLOGY, VOLUME: 155, ISSUE: 8
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Cameleer: A Deductive Verification Tool for OCaml
AUTHORS: Pereira, M; Ravara, A;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
AUTHORS: Pereira, M; Ravara, A;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
INDEXED IN: Scopus WOS
Scopus WOS