Skip to content

Scientist · Computer Science

Riadh Robbana

École Pour l'Informatique et les Techniques Avancées, Le Kremlin-Bicêtre, France

iD0000-0001-5736-4137

Citations, last 5 years: 26
Works, last 5 years: 15
h-index: 10
Citations, all time: 431
In Computer Science: #234,917

Research topics

Formal Methods in Verification53Computer Science
Software Testing and Debugging Techniques23Computer Science
Petri Nets in System Modeling22Computer Science
Cryptography and Data Security16Computer Science
Logic, programming, and type systems15Computer Science

Recent works

Discussion

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

Start a discussion