Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
1
TÃTULO: Reply by Authors
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF UROLOGY, VOLUME: 211, NÚMERO: 4
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF UROLOGY, VOLUME: 211, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Multi-Institutional Outcomes of Dorsal Onlay Buccal Mucosal Graft Urethroplasty in Patients With Postprostatectomy, Postradiation Anastomotic Stenosis
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF UROLOGY, VOLUME: 211, NÚMERO: 4
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF UROLOGY, VOLUME: 211, NÚMERO: 4
INDEXADO EM: Scopus WOS
Scopus WOS3
TÃTULO: Results of Adjustable Trans-Obturator Male System for Stress Urinary Incontinence after Transurethral Resection or Holmium Laser Enucleation of the Prostate: International Multicenter Study
AUTORES: 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.;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 13, NÚMERO: 16
AUTORES: 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.;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 13, NÚMERO: 16
INDEXADO EM: Scopus WOS
Scopus WOS4
TÃTULO: Erectile Dysfunction in Pelvic Cancer Survivors and Current Management Options
AUTORES: Bernal, Jose; Venkatesan, Krishnan; Martins, Francisco E. E.;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 12, NÚMERO: 7
AUTORES: Bernal, Jose; Venkatesan, Krishnan; Martins, Francisco E. E.;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF CLINICAL MEDICINE, VOLUME: 12, NÚMERO: 7
INDEXADO EM: Scopus WOS
Scopus WOS5
TÃTULO: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
6
TÃTULO: Artificial urinary sphincter and stricture disease: surgical principles in management
AUTORES: Martins, Francisco E.; Bernal, Jose; Tryfonyuk, Liliya; Holm, Henriette Veiby;
PUBLICAÇÃO: 2023, FONTE: TRANSLATIONAL ANDROLOGY AND UROLOGY, VOLUME: 13, NÚMERO: 8
AUTORES: Martins, Francisco E.; Bernal, Jose; Tryfonyuk, Liliya; Holm, Henriette Veiby;
PUBLICAÇÃO: 2023, FONTE: TRANSLATIONAL ANDROLOGY AND UROLOGY, VOLUME: 13, NÚMERO: 8
INDEXADO EM: Scopus WOS
Scopus WOS7
TÃTULO: Formalizing Model Inference of MicroPython
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: de Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
AUTORES: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP9
TÃTULO: Formalizing Model Inference of MicroPython
AUTORES: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
AUTORES: Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
AUTORES: Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
AUTORES: Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP