Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações a aguardar confirmação

1
TÍTULO: Empowering Maritime Spatial Planning and Marine Conservation Efforts Through Digital Engagement: The Role of Online Platforms  Full Text
AUTORES: Débora Gutierrez; Helena Calado ; Femke van Toor; Mariana Moreira; Maria Luz Paramio; Francisco Martins; Natali Santos; Neuza Melo; Alice Newton;
PUBLICAÇÃO: 2025, FONTE: Sustainability, VOLUME: 17, NÚMERO: 14
INDEXADO EM: CrossRef
NO MEU: ORCID
2
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
3
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
4
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
5
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
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
INDEXADO EM: Scopus WOS
7
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
8
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
9
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
10
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
Página 1 de 4. Total de resultados: 39.

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