Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 44



21
TÍTULO: Internet of Things Aware WS-BPEL Business Processes - Context Variables and Expected Exceptions  Full Text
AUTORES: Domingos, D ; Martins, F ; Candido, C; Martinho, R ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 20, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
22
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming
AUTORES: Luís Cruz Filipe; Ivan Lanese; Francisco Martins ; António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2014, FONTE: Formal Aspects Comput., VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus DBLP
23
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: Concurrent typed intermediate language  Full Text
AUTORES: Miguel M Lourenço; João Costa Seco ; Francisco Martins ;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in SAC
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
25
TÍTULO: Coordinating Phased Activities while Maintaining Progress
AUTORES: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
26
TÍTULO: Internet of Things Aware WS-BPEL Business Process
AUTORES: Domingos, D ; Martins, F ; Cândido, C;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
27
TÍTULO: Towards deductive verification of MPI programs against session types  Full Text
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: PLACES, VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
28
29
TÍTULO: Verification of MPI Programs Using Session Types
AUTORES: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2012, FONTE: EuroMPI, VOLUME: 7490 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID
30
TÍTULO: Ad-hoc changes in IoT-aware business processes
AUTORES: Dulce Domingos ; Francisco Martins ; Ricardo Martinho ; Mário J Silva ;
PUBLICAÇÃO: 2010, FONTE: IOT
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
Página 3 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