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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Java Typestate Checker
Mota, J., Giunti, M. & Ravara, A., 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Cham: Springer, p. 121-133 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (Scopus) -
Animated logic: Correct functional conversion to conjunctive normal form
Barroso, P., Pereira, M. & Ravara, A., 2020, In: CEUR Workshop Proceedings. 2752, p. 1-20 20 p.Research output: Contribution to journal › Conference article › peer-review
1 Citation (Scopus) -
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Bravetti, M., Francalanza, A., Golovanov, I., Hüttel, H., Jakobsen, M. S., Kettunen, M. K. & Ravara, A., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Cham: Springer, p. 105-124 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Citations (Scopus) -
Typestates to automata and back: A tool
Trindade, A., Mota, J. & Ravara, A., 17 Sep 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 324, p. 25-42 18 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Citation (Scopus) -
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 › peer-review
Open Access