Statistics
Publications
3
Citations
56
H-Index
3
Active since
2013
M. Praveen is an author at Laboratoire Spécification et Vérification specializing in reachability, theory of computation, and computing.
Publications per year
2013–2016
3
3
Hyper-Ackermannian bounds for pushdown vector addition systems
Jérôme Leroux, M. Praveen, Grégoire Sutre · 2014 · 21 citations · Full text
Reasoning about Data Repetitions with Counter Systems
Stéphane Demri, Diego Figueira, M. Praveen · 2013 · 15 citations · Full text
1–3 of 3