Anil Seth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1992–2010
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CAV | Global Reachability in Bounded Phase Multi-stack Pushdown Systems. | Anil Seth |
| 2009 | LFCS | Games on Multi-stack Pushdown Systems. | Anil Seth |
| 2001 | CASES | Algorithms for energy optimization using processor instructions. | Anil Seth, Ravindra B. Keskar, R. Venugopal |
| 1998 | LICS | Ordering Finite Variable Types with Generalized Quantifiers. | Anuj Dawar, Lauri Hella, Anil Seth |
| 1995 | LICS | When Do Fixed Point Logics Capture Complexity Classes? | Anil Seth |
| 1993 | LICS | Some Desirable Conditions for Feasible Functionals of Type~2 | Anil Seth |
| 1992 | LICS | There is No Recursive Axiomatization for Feasible Functionals of Type~2 | Anil Seth |