Agrawal, Manindra 1966
Overview
Works:  20 works in 74 publications in 1 language and 1,612 library holdings 

Genres:  Conference proceedings 
Roles:  Editor, Author, Creator 
Classifications:  QA76.758, 004 
Publication Timeline
.
Most widely held works by
Manindra Agrawal
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December
1214, 2002 : proceedings by
Manindra Agrawal(
Book
)
16 editions published in 2002 in English and held by 226 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002. The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory
16 editions published in 2002 in English and held by 226 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002. The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory
Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 2529, 2008
; proceedings by
Manindra Agrawal(
Book
)
12 editions published in 2008 in English and held by 184 WorldCat member libraries worldwide
Annotation
12 editions published in 2008 in English and held by 184 WorldCat member libraries worldwide
Annotation
Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16  21, 2012 ; proceedings by
Manindra Agrawal(
Book
)
8 editions published in 2012 in English and held by 38 WorldCat member libraries worldwide
Annotation This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turings unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012.The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification
8 editions published in 2012 in English and held by 38 WorldCat member libraries worldwide
Annotation This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turings unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012.The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification
Satisfiability problems by
Manindra Agrawal(
)
3 editions published between 1996 and 2010 in English and held by 24 WorldCat member libraries worldwide
3 editions published between 1996 and 2010 in English and held by 24 WorldCat member libraries worldwide
Foundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedings(
Book
)
5 editions published in 2002 in English and held by 24 WorldCat member libraries worldwide
5 editions published in 2002 in English and held by 24 WorldCat member libraries worldwide
Algebraic methods in computational complexity 07411 abstracts collection ; Dagstuhl seminar(
)
1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide
Executive summary of Dagstuhl seminar 07411 on algebraic methods in computational complexity(
)
1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide
Perspectives in computational complexity : the Somenath Biswas anniversary volume by
Manindra Agrawal(
Book
)
9 editions published in 2014 in English and held by 13 WorldCat member libraries worldwide
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, spacebounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity
9 editions published in 2014 in English and held by 13 WorldCat member libraries worldwide
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, spacebounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity
Perspectives in computational complexity the Somenath Biswas anniversary volume(
)
1 edition published in 2014 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 9 WorldCat member libraries worldwide
Foundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedings by
FST and TCS(
)
1 edition published in 2002 in English and held by 8 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 8 WorldCat member libraries worldwide
Theory and applications of models of computation (TAMC 2008) by
TAMC (Conference)(
Book
)
5 editions published in 2011 in English and held by 6 WorldCat member libraries worldwide
5 editions published in 2011 in English and held by 6 WorldCat member libraries worldwide
FST TCS 2002: Foundations of software technology and theoretical computer science 22nd conference, Kanpur, India, December
12  14, 2002 ; proceedings by FST and TCS(
)
1 edition published in 2002 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 5 WorldCat member libraries worldwide
Theory and applications of models of computation 9th annual conference ; proceedings(
Book
)
2 editions published in 2012 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2012 in English and held by 2 WorldCat member libraries worldwide
FST TCS 2002: foundations of software technology and theoretical computer science : proceedings of the 22nd Conference, Kanpur,
India, December 1214, 2002 by Conference on Foundations of Software Technology and Theoretical Computer Science(
Book
)
1 edition published in 2002 in English and held by 1 WorldCat member library worldwide
1 edition published in 2002 in English and held by 1 WorldCat member library worldwide
FST TCS 2002: foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December
2002 : proceedings by Conference on Foundations of Software Technology and Theoretical Computer Science(
Book
)
1 edition published in 2002 in English and held by 1 WorldCat member library worldwide
1 edition published in 2002 in English and held by 1 WorldCat member library worldwide
Foundations of software technology and theoretical computer science : proceedings(
Book
)
in English and held by 0 WorldCat member libraries worldwide
in English and held by 0 WorldCat member libraries worldwide
Executive summary of Dagstuhl Seminar 07411 on Algebraic Methods in Computational Complexity(
)
1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide
Theory and applications of models of computation : 11th annual conference, TAMC 2014, Chennai, India, April 1113, 2014, proceedings by
T. V Gopal(
)
3 editions published in 2014 in English and held by 0 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's challenges of complexity, scalability, and sustainability, with wideranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks
3 editions published in 2014 in English and held by 0 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods, and computing devices to meet today's and tomorrow's challenges of complexity, scalability, and sustainability, with wideranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks
Algebraic methods in computational complexity 07411 abstracts collection ; Dagstuhl seminar(
)
1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide
Theory and Applications of Models of Computation(
)
1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Li, Angsheng Editor
 Cooper, S. B. (S. Barry) Editor
 Seth, Anil 1965 Editor
 Arvind, V. Contributor Editor
 Biswas, S. (Somenath) 1952 Honoree
 LINK (Online service)
 Thierauf, Thomas Creator
 Buhrman, Harry Creator
 Fortnow, Lance Creator
 Duan, Zhenhua
Useful Links
Associated Subjects
Algorithms Bioinformatics Computable functions Computational complexity Computer science Computer scienceMathematics Computer software Data structures (Computer science) Electronic data processing Information theory Logic, Symbolic and mathematical Logic design Mathematics Software engineering Turing machines
Alternative Names
Agrawal, M.
Agrawal, M. 1966
Agrawal, Manindra
Manndra Agravl
Manindra Agrawal computer scientist
Manindra Agrawal indischer Informatiker und Mathematiker
مانيندرا أغراوال
മനീന്ദ്ര അഗർവാൾ
マニンドラ・アグラワル
Languages
Covers