5 citations · 17 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DM2015★ 1 cited
DAG-width of Control Flow Graphs with Applications to Model Checking
Therese Biedl, Sebastian Fischmeister, Neeraj Kumar
The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to conside…
math.NT2015
Note on vanishing power sums of roots of unity
Neeraj Kumar, K. Senthil Kumar
For a given positive integers and , we give a complete list of positive integers for which their exist th roots of unity such that $…