M. Praveen
Identifiers
- name variant M. Praveen 0.60 · backfill
Papers (7)
- Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity cs.LO · 2016 · author #1
- Defining relations on graphs: how hard is it in the presence of node partitions? cs.DB · 2014 · author #1
- {\omega}-Petri nets cs.LO · 2013 · author #3
- A Regularity Measure for Context Free Grammars cs.FL · 2011 · author #1
- Parameterized complexity results for 1-safe Petri nets cs.LO · 2011 · author #1
- Small Vertex Cover makes Petri Net Coverability and Boundedness Easier cs.DS · 2010 · author #1
- Does Treewidth Help in Modal Satisfiability? cs.LO · 2010 · author #1
Mentions
- 1412.4463 #1 · backfill · confidence 0.70 M. Praveen
- 1301.6572 #3 · backfill · confidence 0.70 M. Praveen
- 1109.5615 #1 · backfill · confidence 0.70 M. Praveen
- 1106.2122 #1 · backfill · confidence 0.70 M. Praveen
- 1009.2577 #1 · backfill · confidence 0.70 M. Praveen
- 1006.2461 #1 · backfill · confidence 0.70 M. Praveen
Frequent Coauthors
- B. Srivathsan 2 shared papers
- Alexander Heu{\ss}ner 1 shared papers
- Gilles Geeraerts 1 shared papers
- Jean-Fran\c{c}ois Raskin 1 shared papers
- Kamal Lodaya 1 shared papers