Skip to content

Scientist · Computer Science

António Ravara

Laboratório para a Ciência da Computação e Informática, Costa da Caparica, Portugal

iD0000-0001-8074-0380

Citations, last 5 years: 18
Works, last 5 years: 24
h-index: 15
Citations, all time: 1 172
In Computer Science: #270,555

Research topics

Logic, programming, and type systems86Computer Science
Formal Methods in Verification62Computer Science
Distributed systems and fault tolerance35Computer Science
Software Testing and Debugging Techniques22Computer Science
Model-Driven Software Engineering Techniques18Computer Science

Recent works

Discussion

Ask António about their research. When the scientist claims this card, they will see your question.

Start a discussion