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: Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem
AUTORES: Tiago Lopes Soares; Ion Chirica; Mário Pereira;
PUBLICAÇÃO: 2025, FONTE: 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
AUTORES: Tiago Lopes Soares; Ion Chirica; Mário Pereira;
PUBLICAÇÃO: 2025, FONTE: 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
INDEXADO EM: Scopus
Scopus4
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
5
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
6
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
7
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
8
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
WOS9
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 WOS10
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 WOS