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


AuthID: R-000-2C4

Publicações Confirmadas: 23



11
TÍTULO: Encoding cryptographic primitives in a calculus with polyadic synchronization
AUTORES: Martinho, J; Ravara, A ;
PUBLICAÇÃO: 2008, FONTE: 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS 2008 in International Conference on Theoretical and Mathematical Foundations of Computer Science 2008, TMFCS 2008
INDEXADO EM: Scopus
NO MEU: ORCID
12
TÍTULO: Disciplining orchestration and conversation in service-oriented computing
AUTORES: Ivan Lanese; Vasco T Vasconcelos ; Francisco Martins ; Anotnio Ravara ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Software Engineering and Formal Methods in SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
13
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
14
TÍTULO: Type checking a multithreaded functional language with session types  Full Text
AUTORES: Vasco T Vasconcelos ; Simon J Gay; Antonio Ravara ;
PUBLICAÇÃO: 2006, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 368, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
15
TÍTULO: Typing the behavior of software components using session types  Full Text
AUTORES: Antonio Vallecillo; Vasco T Vasconcelos ; Antonio Ravara ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Foundations of Coordination Languages & Software Architectures (FOCLASA 02) in FUNDAMENTA INFORMATICAE, VOLUME: 73, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
16
TÍTULO: Session types for functional multithreading
AUTORES: Vasconcelos, V ; Ravara, A ; Gay, S;
PUBLICAÇÃO: 2004, FONTE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
17
TÍTULO: Lexically scoped distribution: What you see is what you get
AUTORES: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLICAÇÃO: 2003, FONTE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
18
TÍTULO: Typing the Behavior of Objects and Component Using Session Types
AUTORES: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLICAÇÃO: 2003, FONTE: Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002) in Electr. Notes Theor. Comput. Sci., VOLUME: 68, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
19
TÍTULO: Typing Non-uniform Concurrent Objects
AUTORES: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2000, FONTE: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, VOLUME: 1877
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID
20
TÍTULO: Typing non-uniform concurrent objects
AUTORES: Ravara, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2000, FONTE: 11th International Conference on Concurrency Theory, CONCUR 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1877 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
Página 2 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