Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Confirmed Publications: 44



11
TITLE: Behavioral Types in Programming Languages
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef: 85
IN MY: ORCID
12
TITLE: Decentralising Internet of Things Aware BPMN Business Processes
AUTHORS: Domingos, D ; Martins, F ; Caiola, L;
PUBLISHED: 2015, SOURCE: 5th International Conference on Sensor Systems and Software (S-CUBE) in SENSOR SYSTEMS AND SOFTWARE, VOLUME: 143
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
13
TITLE: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTHORS: Santos, C; Martins, F ; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, ISSUE: 189
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
14
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation  Full Text
AUTHORS: Cogumbreiro, T; Hu, R; Martins, F ; Yoshida, N;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
15
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Marques, ERB ; Ribeiro, M; Pinto, J ; Sousa, JB ; Martins, F ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
16
TITLE: Protocol-based verification of message-passing parallel programs
AUTHORS: López, HA; Marques, ERB; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
17
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTHORS: López, HA; Marques, ERB ; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10
INDEXED IN: WOS DBLP CrossRef: 28
18
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
19
20
TITLE: Homogeneous Wireless Sensor Network Programming using MuFFIN
AUTHORS: Rui Pires; Francisco Martins ; Dulce Domingos ;
PUBLISHED: 2014, SOURCE: SENSORNETS
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 2 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service