Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 44



11
TÍTULO: Behavioral Types in Programming Languages
AUTORES: Ancona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G; Denielou, PM; Gay, SJ; Gesbert, N; Giachino, E; Hu, R; Johnsen, EB; Martins, F ; Mascardi, V; Montesi, F; Neykova, R; Ng, N; Padovani, L; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2016, FONTE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 85
NO MEU: ORCID
12
TÍTULO: Decentralising Internet of Things Aware BPMN Business Processes
AUTORES: Domingos, D ; Martins, F ; Caiola, L;
PUBLICAÇÃO: 2015, FONTE: 5th International Conference on Sensor Systems and Software (S-CUBE) in SENSOR SYSTEMS AND SOFTWARE, VOLUME: 143
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
13
TÍTULO: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTORES: Santos, C; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, NÚMERO: 189
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID
14
TÍTULO: Dynamic Deadlock Verification for General Barrier Synchronisation  Full Text
AUTORES: Cogumbreiro, T; Hu, R; Martins, F ; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
15
TÍTULO: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTORES: Marques, ERB ; Ribeiro, M; Pinto, J ; Sousa, JB ; Martins, F ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
16
TÍTULO: Protocol-based verification of message-passing parallel programs
AUTORES: López, HA; Marques, ERB; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTORES: López, HA; Marques, ERB ; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10
INDEXADO EM: WOS DBLP CrossRef: 28
18
TÍTULO: Towards programmable coordination of unmanned vehicle networks
AUTORES: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins ;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTORES: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLICAÇÃO: 2014, FONTE: PPPJ, VOLUME: 13-December-2014
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
20
TÍTULO: Homogeneous Wireless Sensor Network Programming using MuFFIN
AUTORES: Rui Pires; Francisco Martins ; Dulce Domingos ;
PUBLICAÇÃO: 2014, FONTE: SENSORNETS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 2 de 5. Total de resultados: 44.

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

Links Úteis

Ajuda

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