António Maria Lobo César Alarcão Ravara


AuthID: R-000-2C4

Publicações Confirmadas: 23



1
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
2
TÍTULO: An Algebra of Behavioural Types  Full Text
AUTORES: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
3
TÍTULO: Advanced mechanisms for service combination and transactions
AUTORES: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef: 7
NO MEU: ORCID
4
TÍTULO: Behavioral theory for session-oriented calculi
AUTORES: Lanese, I; Ravara, A ; Vieira, HT ;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
TÍTULO: Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation  Full Text
AUTORES: Martinho, J; Ravara, A ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 46, NÚMERO: 3-4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Modular Session Types for Distributed Object-Oriented Programming
AUTORES: Gay, SJ; Vasconcclos, VT ; Ravara, A ; Gesbert, N; Caldeira, AZ;
PUBLICAÇÃO: 2010, FONTE: 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages in ACM SIGPLAN NOTICES, VOLUME: 45, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
7
TÍTULO: Responsive Choice in Mobile Processes  Full Text
AUTORES: Maxime Gamboni; Antonio Ravara ;
PUBLICAÇÃO: 2010, FONTE: 5th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 6084
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
TÍTULO: Dynamic Recovering of Long Running Transactions  Full Text
AUTORES: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXADO EM: Scopus WOS CrossRef: 18
NO MEU: ORCID
9
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword
AUTORES: Ravara, A ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Coordination Models and Languages, COORDINATION 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5521 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
10
TÍTULO: Behavioural theory at work: Program transformations in a service-centired calculus
AUTORES: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2008, FONTE: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5051
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 1 de 3. Total de resultados: 23.

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

Links Úteis

Ajuda

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