Skip to content

Scientist · Computer Science

Leandro Gomes

SYCOMORES: Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires, Villeneuve-d'Ascq, France

iD0000-0003-1180-0620

Citations, last 5 years: 5
Works, last 5 years: 7
h-index: 3
Citations, all time: 31
In Computer Science: #368,669

Research topics

Logic, programming, and type systems14Computer Science
Advanced Algebra and Logic11Computer Science
Logic, Reasoning, and Knowledge10Computer Science
Formal Methods in Verification8Computer Science
semigroups and automata theory7Computer Science

Recent works

Discussion

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

Start a discussion