Research output per year
Research output per year
Personal profile
Education/Academic qualification
Mathematics, Doctorate, Universidade Técnica da Lisboa
Award Date: 22 Dec 2000
Fingerprint
Dive into the research topics where António Maria Lobo César Alarcão Ravara is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Research output
-
A simple functional presentation and an inductive correctness proof of the horn algorithm
Ravara, A., 12 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 278, p. 34-48 15 p.Research output: Contribution to journal › Conference article
Open Access -
From object-oriented code with assertions to behavioural types
Vasconcelos, C. & Ravara, A., 3 Apr 2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. ACM - Association for Computing Machinery, Vol. Part F128005. p. 1492-1497 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access2 Citations (Scopus) -
Automated verification of programs and Web systems
ter Beek, M. H., Lisitsa, A., Nemytykh, A. P. & Ravara, A., 2016, (Accepted/In press) In : Journal of Logical and Algebraic Methods in Programming. 85, 5, p. 653-654Research output: Contribution to journal › Article
1 Citation (Scopus) -
Foreword
Kokash, N. & Ravara, A., 1 Jan 2016, In : Science Of Computer Programming. 115-116, p. 1-2 2 p.Research output: Contribution to journal › Editorial
Open Access -
Foundations of session types and behavioural contracts
Hüttel, H., Lanese, I., Vasconcelos, V. T., Caires, L., Carbone, M., Deniélou, P. M., Mostrous, D., Padovani, L., Ravara, A. M. L. C. A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 1 Apr 2016, In : ACM Computing Surveys. 49, 1, 2873052.Research output: Contribution to journal › Article
109 Citations (Scopus)