Agrawal, Manindra 1966
Overview
Works:  19 works in 92 publications in 1 language and 1,814 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Editor, Author, Creator 
Classifications:  QA267.7, 005.3 
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
)
14 editions published in 2002 in English and held by 160 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
14 editions published in 2002 in English and held by 160 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 : third international conference, TAMC 2006, Beijing, China, May 1520, 2006
: proceedings by
Jinyi Cai(
Book
)
11 editions published in 2008 in English and Undetermined and held by 88 WorldCat member libraries worldwide
Annotation
11 editions published in 2008 in English and Undetermined and held by 88 WorldCat member libraries worldwide
Annotation
Theory and applications of models of computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7  11,
2010; proceedings by
Manindra Agrawal(
Book
)
22 editions published between 2008 and 2014 in English and held by 67 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
22 editions published between 2008 and 2014 in English and held by 67 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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December
1214, 2002 Proceedings by
Manindra Agrawal(
)
2 editions published in 2002 in English and held by 32 WorldCat member libraries worldwide
2 editions published in 2002 in English and held by 32 WorldCat member libraries worldwide
Perspectives in computational complexity : the Somenath Biswas anniversary volume by
Manindra Agrawal(
Book
)
15 editions published between 2014 and 2016 in English and held by 23 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
15 editions published between 2014 and 2016 in English and held by 23 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
Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 1719, 1987
: proceedings by
Kesav V Nori(
Book
)
5 editions published in 2002 in English and held by 23 WorldCat member libraries worldwide
Annotation This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 2123, 1988. This internationally wellestablished Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity
5 editions published in 2002 in English and held by 23 WorldCat member libraries worldwide
Annotation This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 2123, 1988. This internationally wellestablished Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity
Satisfiability problems by
Manindra Agrawal(
)
1 edition published in 2010 in English and held by 16 WorldCat member libraries worldwide
1 edition published in 2010 in English and held by 16 WorldCat member libraries worldwide
Algebraic methods in computational complexity Dagstuhl seminar ; 04421 abstracts collection(
)
1 edition published in 2008 in English and held by 15 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 15 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 15 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 15 WorldCat member libraries worldwide
Perspectives in computational complexity the Somenath Biswas anniversary volume(
)
2 editions published in 2014 in English and held by 12 WorldCat member libraries worldwide
2 editions published in 2014 in English and held by 12 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) : [... was the 5th conference in the series held during April
25  29, 2008 in Xi'an, China] by
2008, Xi'an) TAMC (5(
Book
)
5 editions published in 2011 in English and held by 7 WorldCat member libraries worldwide
5 editions published in 2011 in English and held by 7 WorldCat member libraries worldwide
Satisfiability problems by
Manindra Agrawal(
Book
)
2 editions published in 1996 in English and held by 7 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 7 WorldCat member libraries worldwide
FST TCS 2002 : foundations of software technology and theoretical computer science : 22th Conference, Kanpur, India, December
1214, 2002 : proceedings(
Book
)
1 edition published in 2002 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 2002 in English and held by 3 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
)
2 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide
Determinant versus permanent by
Manindra Agrawal(
)
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
FST TCS 2002 : 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 : Proceedings(
Book
)
2 editions published in 2002 in English and held by 1 WorldCat member library worldwide
2 editions published in 2002 in English and held by 1 WorldCat member library worldwide
Foundations of software technology and theoretical computer science : 18th Conference, Chennai, India, December 1719, 1998
: proceedings by
V Arvind(
Book
)
in English and held by 0 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic
in English and held by 0 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Li, Angsheng Editor
 Cooper, S. B. (S. Barry) Editor
 Arvind, V. Editor
 Seth, Anil 1965 Editor
 Biswas, S. (Somenath) 1952 Honoree
 LINK (Online service)
 Thierauf, Thomas
 Allender, Eric
 Fortnow, Lance
 Buhrman, Harry
Useful Links
Associated Subjects
Algorithms Artificial intelligence Bioinformatics Combinatorial analysis Computable functions Computational complexity Computer algorithms Computer logic Computer programming Computers Computer science Computer scienceMathematics Computer software Data structures (Computer science) Electronic data processing Evolutionary programming (Computer science) Information theory Logic, Symbolic and mathematical Logic design Machine theory Mathematics Molecular computers Quantum computers Software engineering Turing machines
Alternative Names
Agrawal, M.
Agrawal, M. 1966
Agrawal, Manindra
Maníndra Agravál
Manindra Agrawal computer scientist
Manindra Agrawal Indiaas wiskundige
Manindra Agrawal indischer Informatiker und Mathematiker
مانيندرا أغراوال
മനീന്ദ്ര അഗർവാൾ
マニンドラ・アグラワル
Languages
Covers