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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
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 CrossRef
IN MY: ORCID | CIÊNCIAVITAE
13
TITLE: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTHORS: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2015, SOURCE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, ISSUE: 189
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation  Full Text
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
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: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
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
IN MY: DBLP
17
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
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
TITLE: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
20
TITLE: Homogeneous Wireless Sensor Network Programming using MuFFIN
AUTHORS: Rui Pires; Francisco Martins ; Dulce Domingos ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Sensor Networks, SENSORNETS 2014 in SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7 - 9 January, 2014
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

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