BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Praveen:M=

Contributed to:

PODS 20152015
CSL-LICS 20142014
LICS 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.