Travelled to:1 × Australia
1 × Austria
1 × USA
Collaborated with:B.Srivathsan J.Leroux G.Sutre S.Demri D.Figueira
Talks about:system (2) ackermannian (1) pushdown (1) repetit (1) presenc (1) counter (1) vector (1) reason (1) partit (1) relat (1)
Person: M. Praveen
DBLP: Praveen:M=
Contributed to:
2015
20142013Wrote 3 papers:
- PODS-2015-PraveenS #graph #how #question
- Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions? (MP, BS), pp. 159–172.
- LICS-CSL-2014-LerouxPS #automaton #bound
- Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.
- LICS-2013-DemriFP #reasoning
- Reasoning about Data Repetitions with Counter Systems (SD, DF, MP), pp. 33–42.