Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
1
TITLE: Reply by Authors
AUTHORS: Sterling, Joshua; Simhan, Jay; Flynn, Brian J.; Rusilko, Paul; Franca, Wagner A.; Ramirez, Erick A.; Angulo, Javier C.; Martins, Francisco E.; Patel, Hiren V.; Higgins, Margaret; Swerdloff, Daniel; Nikolavsky, Dmitriy;
PUBLISHED: 2024, SOURCE: JOURNAL OF UROLOGY, VOLUME: 211, ISSUE: 4
AUTHORS: Sterling, Joshua; Simhan, Jay; Flynn, Brian J.; Rusilko, Paul; Franca, Wagner A.; Ramirez, Erick A.; Angulo, Javier C.; Martins, Francisco E.; Patel, Hiren V.; Higgins, Margaret; Swerdloff, Daniel; Nikolavsky, Dmitriy;
PUBLISHED: 2024, SOURCE: JOURNAL OF UROLOGY, VOLUME: 211, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Multi-Institutional Outcomes of Dorsal Onlay Buccal Mucosal Graft Urethroplasty in Patients With Postprostatectomy, Postradiation Anastomotic Stenosis
AUTHORS: Sterling, Joshua; Simhan, Jay; Flynn, Brian J.; Rusilko, Paul; Franca, Wagner A.; Ramirez, Erick A.; Angulo, Javier C.; Martins, Francisco E.; Patel, Hiren V.; Higgins, Margaret; Swerdloff, Daniel; Nikolavsky, Dmitriy;
PUBLISHED: 2024, SOURCE: JOURNAL OF UROLOGY, VOLUME: 211, ISSUE: 4
AUTHORS: Sterling, Joshua; Simhan, Jay; Flynn, Brian J.; Rusilko, Paul; Franca, Wagner A.; Ramirez, Erick A.; Angulo, Javier C.; Martins, Francisco E.; Patel, Hiren V.; Higgins, Margaret; Swerdloff, Daniel; Nikolavsky, Dmitriy;
PUBLISHED: 2024, SOURCE: JOURNAL OF UROLOGY, VOLUME: 211, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: Results of Adjustable Trans-Obturator Male System for Stress Urinary Incontinence after Transurethral Resection or Holmium Laser Enucleation of the Prostate: International Multicenter Study
AUTHORS: Tellez, Carlos; Diego, Rodrigo; Szczesniewski, Juliusz; Giammo, Alessandro; Gonzalez Enguita, Carmen; Schoenburg, Sandra; Queissert, Fabian; Romero, Antonio; Gonsior, Andreas; Martins, Francisco E.; Cruz, Francisco; Rourke, Keith; Angulo, Javier C.;
PUBLISHED: 2024, SOURCE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 13, ISSUE: 16
AUTHORS: Tellez, Carlos; Diego, Rodrigo; Szczesniewski, Juliusz; Giammo, Alessandro; Gonzalez Enguita, Carmen; Schoenburg, Sandra; Queissert, Fabian; Romero, Antonio; Gonsior, Andreas; Martins, Francisco E.; Cruz, Francisco; Rourke, Keith; Angulo, Javier C.;
PUBLISHED: 2024, SOURCE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 13, ISSUE: 16
INDEXED IN: Scopus WOS
Scopus WOS4
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 WOS5
TITLE: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
AUTHORS: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
AUTHORS: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLISHED: 2023, SOURCE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
6
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, VOLUME: 13, ISSUE: 8
AUTHORS: Martins, Francisco E.; Bernal, Jose; Tryfonyuk, Liliya; Holm, Henriette Veiby;
PUBLISHED: 2023, SOURCE: TRANSLATIONAL ANDROLOGY AND UROLOGY, VOLUME: 13, ISSUE: 8
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