Ministry of Education
Anil Seth
VIDWAN ID: 53353

Prof Anil Seth

Male Doctor of Philosophy
Professor | Department of Computer Science and Engineering
Indian Institute of Technology, Kanpur
Uttar Pradesh
Expertise: Computer Science Software Engineering
Scopus 55698586700
View older version My Dashboard
7 Publications
0 Projects
40 Scopus Citations
28 CrossRef
25 Years 8 Months Total Experience
Publications
7 Total
Articles
3
Proceedings
4
Activity

No publication activity to display.

Scopus Scopus
40 Citations
4 h-index
CrossRef CrossRef
28 Citations
4 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
1994
N/A
Professor
Jan 2001 – Present
Indian Institute of Technology, Kanpur | Department of Computer Science and Engineering
Engineering and Technology
Computer Science Software Engineering

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

RAM simulation of BGS model of abstract-state machines

Journal Article
Fundamenta Informaticae. Year: 2007. Volume: 77 , Issue: 1-2 , Pages: 175-185 .

Algorithms for energy optimization using processor instructions

Conference Paper
Year: 2001. Pages: 195-202 .
Authors: Anil Seth; Ravindra B. Keskar; R. Venugopal
DOI 10.1145/502217.502252 Crossref Crossref: 7 Scopus Scopus: 7

Games on multi-stack pushdown systems

Conference Paper
Year: 2009. Volume: 5407 LNCS , Pages: 395-408 .
Authors: Anil Seth
DOI 10.1007/978-3-540-92687-0_27 Crossref Crossref: 6 Scopus Scopus: 10

An alternative construction in symbolic reachability analysis of second order pushdown systems

Journal Article
International Journal of Foundations of Computer Science. Year: 2008. Volume: 19 , Issue: 4 , Pages: 983-998 .
Authors: ANIL SETH
DOI 10.1142/S012905410800608X Crossref Crossref: 3 Scopus Scopus: 4

Global reachability in bounded phase multi-stack pushdown systems

Open Access
Conference Paper
Year: 2010. Volume: 6174 LNCS , Pages: 615-628 .
Authors: Anil Seth
DOI 10.1007/978-3-642-14295-6_53 Crossref Crossref: 7 Scopus Scopus: 15

Games on higher order multi-stack pushdown systems

Conference Paper
Year: 2009. Volume: 5797 LNCS , Pages: 203-216 .
Authors: Anil Seth
DOI 10.1007/978-3-642-04420-5_19 Crossref Crossref: 5 Scopus Scopus: 4

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Editorial
Year: 2011. Volume: 6521 LNAI .
DOI 10.1007/978-3-642-18026-2