Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
1
TITLE: Lower limbs strength variations between injured and non-injured professional soccer players
AUTHORS: Martins, Francisco; Franca, Cintia; Sarmento, Hugo; Henriques, Ricardo; Przednowek, Krzysztof; Nascimento, Marcelo de Maio; Marques, Adilson; Ihle, Andreas; Gouveia, elvio Rubio;
PUBLISHED: 2024, SOURCE: SCIENCE PROGRESS, VOLUME: 107, ISSUE: 1
AUTHORS: Martins, Francisco; Franca, Cintia; Sarmento, Hugo; Henriques, Ricardo; Przednowek, Krzysztof; Nascimento, Marcelo de Maio; Marques, Adilson; Ihle, Andreas; Gouveia, elvio Rubio;
PUBLISHED: 2024, SOURCE: SCIENCE PROGRESS, VOLUME: 107, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Erectile Dysfunction in Pelvic Cancer Survivors and Current Management Options
AUTHORS: Bernal, Jose; Venkatesan, Krishnan; Martins, Francisco E. E.;
PUBLISHED: 2023, SOURCE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 12, ISSUE: 7
AUTHORS: Bernal, Jose; Venkatesan, Krishnan; Martins, Francisco E. E.;
PUBLISHED: 2023, SOURCE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: An HIV-1/HIV-2 Chimeric Envelope Glycoprotein Generates Binding and Neutralising Antibodies against HIV-1 and HIV-2 Isolates Full Text
AUTHORS: Taveira, Nuno; Figueiredo, Ines; Calado, Rita; Martin, Francisco; Bartolo, Ines; Marcelino, Jose M.; Borrego, Pedro; Cardoso, Fernando; Barroso, Helena;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, VOLUME: 24, ISSUE: 10
AUTHORS: Taveira, Nuno; Figueiredo, Ines; Calado, Rita; Martin, Francisco; Bartolo, Ines; Marcelino, Jose M.; Borrego, Pedro; Cardoso, Fernando; Barroso, Helena;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, VOLUME: 24, ISSUE: 10
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
AUTHORS: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13908 LNCS
AUTHORS: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13908 LNCS
INDEXED IN: Scopus
Scopus5
TITLE: Artificial urinary sphincter and stricture disease: surgical principles in management
AUTHORS: Martins, Francisco E.; Bernal, Jose; Tryfonyuk, Liliya; Holm, Henriette Veiby;
PUBLISHED: 2023, SOURCE: TRANSLATIONAL ANDROLOGY AND UROLOGY
AUTHORS: Martins, Francisco E.; Bernal, Jose; Tryfonyuk, Liliya; Holm, Henriette Veiby;
PUBLISHED: 2023, SOURCE: TRANSLATIONAL ANDROLOGY AND UROLOGY
INDEXED IN: WOS
WOS6
TITLE: Results of Adjustable Trans-Obturator Male System in Patients with Prostate Cancer Treated with Prostatectomy and Radiotherapy: A Multicenter Study
AUTHORS: Angulo, Javier C. C.; Tellez, Carlos; Giammo, Alessandro; Gonzalez Enguita, Carmen; Schoenburg, Sandra; Queissert, Fabian; Szczesniewski, Juliusz; Gonzalez, Raquel; Romero, Antonio; Gonsior, Andreas; Martins, Francisco E. E.; Antunes Lopes, Tiago; Cruz, Francisco; Rourke, Keith;
PUBLISHED: 2023, SOURCE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 12, ISSUE: 14
AUTHORS: Angulo, Javier C. C.; Tellez, Carlos; Giammo, Alessandro; Gonzalez Enguita, Carmen; Schoenburg, Sandra; Queissert, Fabian; Szczesniewski, Juliusz; Gonzalez, Raquel; Romero, Antonio; Gonsior, Andreas; Martins, Francisco E. E.; Antunes Lopes, Tiago; Cruz, Francisco; Rourke, Keith;
PUBLISHED: 2023, SOURCE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 12, ISSUE: 14
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: Formalizing Model Inference of MicroPython
AUTHORS: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTHORS: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
AUTHORS: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLISHED: 2023, SOURCE: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13908
AUTHORS: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLISHED: 2023, SOURCE: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13908
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Formalizing Model Inference of MicroPython
AUTHORS: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
AUTHORS: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
AUTHORS: Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
AUTHORS: Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP