Anil Seth

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 3

Top Topics

Pursuit Evasion

Multidimensional Databases

Online Analytical Processing

Top Venues

Nat. Mach. Intell.

Publications

Anil Seth
Too many ghosts in the machine. Nat. Mach. Intell. 1 (7) (2019)
Paul Rosen, Bei Wang, Anil Seth, Betsy Mills, Adam Ginsburg, Julia Kamenetzky, Jeff Kern, Chris R. Johnson
Using Contour Trees in the Analysis and Visualization of Radio Astronomy Data Cubes. CoRR (2017)
Eugene M. Izhikevich, John H. Conway, Anil Seth
Game of Life. Scholarpedia 10 (6) (2015)
Anil Seth
Global Reachability in Bounded Phase Multi-stack Pushdown Systems. CAV (2010)
Anil Seth
Games on Higher Order Multi-stack Pushdown Systems. RP (2009)
Anil Seth
Games on Multi-stack Pushdown Systems. LFCS (2009)
Anil Seth
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems. Int. J. Found. Comput. Sci. 19 (4) (2008)
Seshadhri Comandur, Anil Seth, Somenath Biswas
RAM Simulation of BGS Model of Abstract-state Machines. Fundam. Informaticae 77 (1-2) (2007)
Seshadhri Comandur, Anil Seth, Somenath Biswas
RAM Simulation of BGS Model of Abstract State Machines. Abstract State Machines (2005)
Anil Seth, Ravindra B. Keskar, R. Venugopal
Algorithms for energy optimization using processor instructions. CASES (2001)
Anil Seth
) on Finite Structures. ASIAN (1999)
Anuj Dawar, Lauri Hella, Anil Seth
Ordering Finite Variable Types with Generalized Quantifiers. LICS (1998)
Anil Seth
Sharper Results on the Expressive Power of Generalized Quantifiers. FSTTCS (1997)
Anil Seth
When Do Fixed Point Logics Capture Complexity Classes? LICS (1995)
Anil Seth
Type 2 Polynomial Hierarchies. LCC (1994)
Anil Seth
Some Desirable Conditions for Feasible Functionals of Type~2 LICS (1993)
Anil Seth
There is No Recursive Axiomatization for Feasible Functionals of Type~2 LICS (1992)