• Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
20062022

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
  • A Java typestate checker supporting inheritance

    Bacchiani, L., Bravetti, M., Giunti, M., Mota, J. & Ravara, A., 1 Sep 2022, In: Science Of Computer Programming. 221, 8 p., 102844.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    3 Downloads (Pure)
  • Taming stateful computations in Rust with typestates

    Duarte, J. & Ravara, A., Oct 2022, In: Journal of Computer Languages. 72, 13 p., 101154.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Cameleer: A Deductive Verification Tool for OCaml

    Pereira, M. & Ravara, A., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Cham: Springer, p. 677-689 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-review

    3 Citations (Scopus)
  • Retrofitting Typestates into Rust

    Duarte, J. & Ravara, A., 27 Sep 2021, CBSOFT 2021 - Brazilian Conference on Software; Proceedings - 25th Brazilian Symposium on Programming Languages, SBLP 2021. Association for Computing Machinery, p. 83-91 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    3 Citations (Scopus)
    1 Downloads (Pure)