Graph explorer

Research map

Explore the papers, people and topics connected to your research.

M. Praveen
Map detail
M. Praveen9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipM. PraveenAM. PraveenResearcherParameterized complexity results for 1-safe Petri netsWParameterized complexit...preprint / 2011A Regularity Measure for Context Free GrammarsWA Regularity Measure fo...preprint / 2011Defining relations on graphs: how hard is it in the presence of node partitions?WDefining relations on g...preprint / 2015Does Treewidth Help in Modal Satisfiability?WDoes Treewidth Help in ...preprint / 2011Small Vertex Cover makes Petri Net Coverability and Boundedness EasierWSmall Vertex Cover make...preprint / 2010Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation ComplexityWNesting Depth of Operat...preprint / 2016Realizability Problem for Constraint LTLWRealizability Problem f...preprint / 2022ω-Petri netsWω-Petri netspreprint / 2013
Person8 links

M. Praveen

Researcher