Skip to content

Scientist · Computer Science

Nathanaël Fijalkow

Centre National de la Recherche Scientifique, Paris, France

iD0000-0002-6576-4680

Citations, last 5 years: 100
Works, last 5 years: 77
h-index: 14
Citations, all time: 574
In Computer Science: #105,859

Research topics

Formal Methods in Verification119Computer Science
semigroups and automata theory119Computer Science
Petri Nets in System Modeling42Computer Science
Logic, programming, and type systems39Computer Science
Logic, Reasoning, and Knowledge32Computer Science

Recent works

Discussion

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

Start a discussion