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


AuthID: R-000-2C4

Confirmed Publications: 22



11
TITLE: Encoding cryptographic primitives in a calculus with polyadic synchronization
AUTHORS: Martinho, J; Ravara, A ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
12
TITLE: Disciplining orchestration and conversation in service-oriented computing
AUTHORS: Lanese, I; Vasconcelos, VT ; Martins, F ; Ravara, A ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Software Engineering and Formal Methods in SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: ORCID
13
TITLE: SCC: A Service Centered Calculus
AUTHORS: Michele Boreale; Roberto Bruni; Luís Caires ; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins ; Ugo Montanari; António Ravara ; Davide Sangiorgi; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLISHED: 2006, SOURCE: WS-FM, VOLUME: 4184 LNCS
INDEXED IN: Scopus DBLP CrossRef: 77
IN MY: ORCID
14
TITLE: Type checking a multithreaded functional language with session types  Full Text
AUTHORS: Vasconcelos, VT ; Gay, SJ; Ravara, A ;
PUBLISHED: 2006, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 368, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 65
IN MY: ORCID
15
TITLE: Typing the behavior of software components using session types  Full Text
AUTHORS: Vallecillo, A; Vasconcelos, VT ; Ravara, A ;
PUBLISHED: 2006, SOURCE: 1st International Workshop on Foundations of Coordination Languages & Software Architectures (FOCLASA 02) in FUNDAMENTA INFORMATICAE, VOLUME: 73, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
16
TITLE: Session types for functional multithreading
AUTHORS: Vasconcelos, V ; Ravara, A ; Gay, S;
PUBLISHED: 2004, SOURCE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXED IN: Scopus WOS DBLP CrossRef: 22 Handle
IN MY: ORCID
17
TITLE: Lexically scoped distribution: what you see is what you get
AUTHORS: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2003, SOURCE: FGC, VOLUME: 85, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
18
TITLE: Typing the Behavior of Objects and Component Using Session Types
AUTHORS: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLISHED: 2002, SOURCE: FOCLASA, VOLUME: 68, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID
19
TITLE: Typing Non-uniform Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2000, SOURCE: 11th International Conference on Concurrency Theory, CONCUR 2000 in CONCUR, VOLUME: 1877 LNCS
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: ORCID
20
TITLE: Communication errors in the π-calculus are undecidable  Full Text
AUTHORS: Vasconcelos, VT ; Ravara, A ;
PUBLISHED: 1999, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 71, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
Page 2 of 3. Total results: 22.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service