Travelled to:
1 × France
1 × Portugal
Collaborated with:
M.Viswanathan N.Kumar R.Alur P.Madhusudan
Talks about:
congruenc (1) pushdown (1) languag (1) complex (1) visibl (1) explan (1) error (1)
Person: Viraj Kumar
DBLP: Kumar:Viraj
Contributed to:
Wrote 2 papers:
- ICALP-2005-AlurKMV #automaton
- Congruences for Visibly Pushdown Languages (RA, VK, PM, MV), pp. 1102–1114.
- VMCAI-2005-KumarKV #complexity #fault #on the
- On the Complexity of Error Explanation (NK, VK, MV), pp. 448–464.