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
AUTORES: Dulce Domingos ; Francisco Martins ; Carlos Candido; Ricardo Martinho ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 20, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
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
23
TÍTULO: Concurrent typed intermediate language  Full Text
AUTORES: Lourenco, LM; Seco, JC ; Martins, F ;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
24
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Internet of things aware WS-BPEL business process
AUTORES: Domingos, D ; Martins, F ; Candido, C;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Enterprise Information Systems, ICEIS 2013 in ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, VOLUME: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
26
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 ; Thudichum Vasconcelos, V ;
PUBLICAÇÃO: 2013, FONTE: Formal Aspects of Computing, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
27
TÍTULO: Towards deductive verification of MPI programs against session types
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
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: 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
INDEXADO EM: Scopus DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
30
TÍTULO: Integrating WSN simulation into workflow testing and execution
AUTORES: Vieira, D; Martins, F ;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 57
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 de 5. Total de resultados: 44.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service