Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 44



41
TÍTULO: SCC: A service centered calculus
AUTORES: Boreale, M; Bruni, R; Caires, L ; De Nicola, R; Lanese, I; Loreti, M; Martins, F ; Montanari, U; Ravara, A ; Sangiorgi, D; Vasconcelos, V ; Zavattaro, G;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4184 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 74
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
42
TÍTULO: History-based access control for distributed processes
AUTORES: Martins, F ; Vasconcelos, V ;
PUBLICAÇÃO: 2005, FONTE: International Symposium on Trustworthy Global Computing, TGC 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3705 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
43
TÍTULO: MiKO - Mikado Koncurrent Objects
AUTORES: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2005, FONTE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
44
TÍTULO: The impact of linearity information on the performance of TyCO
AUTORES: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLICAÇÃO: 2003, FONTE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 5 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