Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações a aguardar confirmação

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
INDEXADO EM: Scopus WOS
2
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
INDEXADO EM: Scopus WOS
3
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
INDEXADO EM: Scopus WOS
4
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
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
5
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
INDEXADO EM: Scopus WOS
6
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
INDEXADO EM: Scopus WOS
7
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
INDEXADO EM: DBLP
NO MEU: DBLP
8
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
INDEXADO EM: DBLP
NO MEU: DBLP
9
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
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: System for Estimation of Human Anthropometric Parameters Based on Data from Kinect v2 Depth Camera  Full Text
AUTORES: Tomasz Krzeszowski; Bartosz Dziadek; Cíntia França; Francisco Martins; Élvio Rúbio Gouveia; Krzysztof Przednowek;
PUBLICAÇÃO: 2023, FONTE: Sensors, VOLUME: 23, NÚMERO: 7
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 5. Total de resultados: 50.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service