Scholar
Soumodev Mal
Google Scholar ID: mEAnFpQAAAAJ
Chennai Mathematical Institute
Automata Theory
Formal Verification
Concurrency Theory
Infinite State Systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
10
H-index
2
i10-index
0
Publications
6
Co-authors
0
Publications
3 items
The Complexity of Coverability-Like Problems in Elementary Object Systems: Data-Nets to the Rescue
2026
Cited
0
Nets-within-Nets through the Lens of Data Nets
2025
Cited
0
A Lower Bound on Conservative Elementary Object Systems Coverability
2025
Cited
0
