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  Full Text
AUTHORS: Domingos, D ; Martins, F ; Candido, C; Martinho, R ;
PUBLISHED: 2014, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 20, ISSUE: 8
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
22
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming
AUTHORS: Luís Cruz Filipe; Ivan Lanese; Francisco Martins ; António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: Formal Aspects Comput., VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus DBLP
23
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
24
TITLE: Concurrent typed intermediate language  Full Text
AUTHORS: Miguel M Lourenço; João Costa Seco ; Francisco Martins ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in SAC
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
25
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: 3
IN MY: ORCID
26
TITLE: Internet of Things Aware WS-BPEL Business Process
AUTHORS: Domingos, D ; Martins, F ; Cândido, C;
PUBLISHED: 2013, SOURCE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
27
TITLE: Towards deductive verification of MPI programs against session types  Full Text
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
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: EuroMPI, VOLUME: 7490 LNCS
INDEXED IN: Scopus DBLP CrossRef: 12 Unpaywall
IN MY: ORCID
30
TITLE: Ad-hoc changes in IoT-aware business processes
AUTHORS: Dulce Domingos ; Francisco Martins ; Ricardo Martinho ; Mário J Silva ;
PUBLISHED: 2010, SOURCE: IOT
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
Page 3 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

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