Anil Seth

20 papers A* 5Misc 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2019 J jnl
Too many ghosts in the machine.
Nat. Mach. Intell.
Anil Seth
2017 J jnl
Using Contour Trees in the Analysis and Visualization of Radio Astronomy Data Cubes.
CoRR
Paul Rosen, Bei Wang, Anil Seth, Betsy Mills, Adam Ginsburg, Julia Kamenetzky, Jeff Kern, Chris R. Johnson
2015 J jnl
Game of Life.
Scholarpedia
Eugene M. Izhikevich, John H. Conway, Anil Seth
2013 — ed.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, Guwahati, India, December 12-14, 2013
FSTTCS
Anil Seth, Nisheeth K. Vishnoi
2011 — ed.
Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
ICLA
Mohua Banerjee, Anil Seth
2010 A* conf
Global Reachability in Bounded Phase Multi-stack Pushdown Systems.
CAV
Anil Seth
2009 — conf
Games on Higher Order Multi-stack Pushdown Systems.
RP
Anil Seth
2009 Misc conf
Games on Multi-stack Pushdown Systems.
LFCS
Anil Seth
2008 J jnl
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems.
Int. J. Found. Comput. Sci.
Anil Seth
2007 J jnl
RAM Simulation of BGS Model of Abstract-state Machines.
Fundam. Informaticae
Seshadhri Comandur, Anil Seth, Somenath Biswas
2005 — conf
RAM Simulation of BGS Model of Abstract State Machines.
Abstract State Machines
Seshadhri Comandur, Anil Seth, Somenath Biswas
2002 — ed.
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
FSTTCS
Manindra Agrawal, Anil Seth
2001 Misc conf
Algorithms for energy optimization using processor instructions.
CASES
Anil Seth, Ravindra B. Keskar, R. Venugopal
1999 — conf
On
ASIAN
Anil Seth
1998 A* conf
Ordering Finite Variable Types with Generalized Quantifiers.
LICS
Anuj Dawar, Lauri Hella, Anil Seth
1997 — conf
Sharper Results on the Expressive Power of Generalized Quantifiers.
FSTTCS
Anil Seth
1995 A* conf
When Do Fixed Point Logics Capture Complexity Classes?
LICS
Anil Seth
1994 — conf
Type 2 Polynomial Hierarchies.
LCC
Anil Seth
1993 A* conf
Some Desirable Conditions for Feasible Functionals of Type~2
LICS
Anil Seth
1992 A* conf
There is No Recursive Axiomatization for Feasible Functionals of Type~2
LICS
Anil Seth