Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Confirmed Publications: 44



21
TITLE: Internet of Things Aware WS-BPEL Business Processes - Context Variables and Expected Exceptions
AUTHORS: Dulce Domingos ; Francisco Martins ; Carlos Candido; Ricardo Martinho ;
PUBLISHED: 2014, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 20, ISSUE: 8
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
22
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: Concurrent typed intermediate language  Full Text
AUTHORS: Lourenco, LM; Seco, JC ; Martins, F ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: Coordinating Phased Activities while Maintaining Progress
AUTHORS: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Internet of things aware WS-BPEL business process
AUTHORS: Domingos, D ; Martins, F ; Candido, C;
PUBLISHED: 2013, SOURCE: 15th International Conference on Enterprise Information Systems, ICEIS 2013 in ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, VOLUME: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Thudichum Vasconcelos, V ;
PUBLISHED: 2013, SOURCE: Formal Aspects of Computing, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus DBLP
IN MY: DBLP
27
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
29
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490
INDEXED IN: Scopus DBLP CrossRef: 12 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
TITLE: Integrating WSN simulation into workflow testing and execution
AUTHORS: Vieira, D; Martins, F ;
PUBLISHED: 2011, SOURCE: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 57
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

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