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

Associate Professor, DI - Departamento de Informática
Researcher, NOVALincs

Former affiliation

Researcher, CITI - Centro de Informática e Tecnologias da Informação

https://orcid.org/0000-0001-8074-0380

Emailaravara@fct.unl.pt

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

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.

7 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

589 Citations
11 h-Index
9 Conference contribution
7 Article
5 Editorial
3 Conference article
More
- 2 Chapter
- 1 Book

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
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
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 Access
File
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
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 › peer-review

Open Access
2 Citations (Scopus)

Education/Academic qualification

Animated logic: Correct functional conversion to conjunctive normal form

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Typestates to automata and back: A tool

A simple functional presentation and an inductive correctness proof of the horn algorithm

From object-oriented code with assertions to behavioural types