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


AuthID: R-000-2C4

Confirmed Publications: 23



1
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Thudichum Vasconcelos, V ;
PUBLISHED: 2013, SOURCE: Formal Aspects of Computing, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus DBLP
2
TITLE: An Algebra of Behavioural Types  Full Text
AUTHORS: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
3
TITLE: Advanced mechanisms for service combination and transactions
AUTHORS: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef: 7
IN MY: ORCID
4
TITLE: Behavioral theory for session-oriented calculi
AUTHORS: Lanese, I; Ravara, A ; Vieira, HT ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation  Full Text
AUTHORS: Martinho, J; Ravara, A ;
PUBLISHED: 2011, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 46, ISSUE: 3-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Modular Session Types for Distributed Object-Oriented Programming
AUTHORS: Gay, SJ; Vasconcclos, VT ; Ravara, A ; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages in ACM SIGPLAN NOTICES, VOLUME: 45, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
7
TITLE: Responsive Choice in Mobile Processes  Full Text
AUTHORS: Maxime Gamboni; Antonio Ravara ;
PUBLISHED: 2010, SOURCE: 5th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 6084
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: Dynamic Recovering of Long Running Transactions  Full Text
AUTHORS: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXED IN: Scopus WOS CrossRef: 18
IN MY: ORCID
9
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword
AUTHORS: Ravara, A ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
10
TITLE: Behavioural theory at work: Program transformations in a service-centired calculus
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 1 of 3. Total results: 23.

footer slogan

Useful Links

Get Help

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