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


2
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


3
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


4
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
5
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


6
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


7
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

IN MY:
DBLP

8
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

IN MY:
DBLP

9
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

IN MY:
DBLP

10
TITLE: System for Estimation of Human Anthropometric Parameters Based on Data from Kinect v2 Depth Camera Full Text
AUTHORS: Tomasz Krzeszowski; Bartosz Dziadek; Cíntia França; Francisco Martins; Élvio Rúbio Gouveia; Krzysztof Przednowek;
PUBLISHED: 2023, SOURCE: Sensors, VOLUME: 23, ISSUE: 7
AUTHORS: Tomasz Krzeszowski; Bartosz Dziadek; Cíntia França; Francisco Martins; Élvio Rúbio Gouveia; Krzysztof Przednowek;
PUBLISHED: 2023, SOURCE: Sensors, VOLUME: 23, ISSUE: 7
INDEXED IN:
DBLP

IN MY:
DBLP
