Skip to content

Scientist · Computer Science

Mahmoud Salamati

Max Planck Institute for Software Systems, Saarbrücken, Germany

iD0000-0003-3790-3935

Citations, last 5 years: 31
Works, last 5 years: 10
h-index: 5
Citations, all time: 68
In Computer Science: #217,293

Research topics

Formal Methods in Verification16Computer Science
Petri Nets in System Modeling8Computer Science
Logic, programming, and type systems5Computer Science
Advanced Control Systems Optimization5Engineering
Stability and Control of Uncertain Systems3Engineering

Recent works

Discussion

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

Start a discussion