@incollection{Allender/01,
AUTHOR = {Allender, Eric},
TITLE = {When worlds collide: Derandomization, lower bounds, and Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {1-15},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Arora/01,
AUTHOR = {Arora, Sanjeev},
TITLE = {Approximation schemes for geometric $NP$-hard problems: A survey},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {16-17},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Harel-Koren/01a,
AUTHOR = {Harel, David and Koren, Yehuda},
TITLE = {On clustering using random walks},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {18-41},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Stirling/01,
AUTHOR = {Stirling, Colin},
TITLE = {An introduction to decidability of DPDA equivalence},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {42-56},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Zwick/01a,
AUTHOR = {Zwick, Uri},
TITLE = {Semidefinite programming based approximation algorithms},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {57-57},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Agrawal/01,
AUTHOR = {Agrawal, Manindra},
TITLE = {Hard sets and pseudo-random generators for constant depth circuits},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {58-69},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Agrawal/01a,
AUTHOR = {Agrawal, Manindra},
TITLE = {The first-order isomorphism theorem},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {70-82},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Anderson-Kannan-Karloff-Ladner/01,
AUTHOR = {Anderson, Richard and Kannan, Sampath and Karloff, Howard and Ladner, Richard E.},
TITLE = {Thresholds and optimal binary comparison search trees},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {83-95},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brim-Cerna-Krcal-Pelanek/01,
AUTHOR = {Brim, Lubo{\v{s}}s and {\v{C}}ern{\'a}, Ivana and Kr{\v{c}}{\'a}l, Pavel and Pel{\'a}nek, Radek},
TITLE = {Distributed LTL model checking based on negative cycle detection},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {96-107},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Calcagno-Yang-OHearn/01,
AUTHOR = {Calcagno, Cristiano and Yang, Hongseok and O'Hearn, Peter W.},
TITLE = {Computability and complexity results for a spatial assertion language for data structures},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {108-119},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Friesen-Jia-Kanj/01,
AUTHOR = {Chen, Jianer and Friesen, Donald K. and Jia, Weijia and Kanj, Iyad A.},
TITLE = {Using nondeterminism to design deterministic algorithms},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {120-131},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dang-Ibarra-San_Pietro/01,
AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and San Pietro, Pierluigi},
TITLE = {Liveness verification of reversal-bounded multicounter machines with a free counter},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {132-143},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dold-Vialard/01,
AUTHOR = {Dold, Axel and Vialard, Vincent},
TITLE = {A mechanically verified compiling specification for a Lisp compiler},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {144-155},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fisman-Pnueli/01,
AUTHOR = {Fisman, Dana and Pnueli, Amir},
TITLE = {Beyond regular model checking},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {156-170},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Forster-Krause-Lokam-Mubarakzjanov-Schmitt-Simon/01,
AUTHOR = {Forster, J{\"u}rgen and Krause, Matthias and Lokam, Satyanarayana V. and Mubarakzjanov, Rustam and Schmitt, Niels and Simon, Hans Ulrich},
TITLE = {Relations between communication complexity, linear arrangements, and computational complexity},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {171-182},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gupta-Chopra-Sen/01,
AUTHOR = {Gupta, Neelima and Chopra, Sumit and Sen, Sandeep},
TITLE = {Optimal, output-sensitive algorithms for constructing upper envelope of line segments in parallel},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {183-194},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Guruswami/01a,
AUTHOR = {Guruswami, Venkatesan},
TITLE = {List decoding from erasures: Bounds and code constructions},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {195-206},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jaggi-Gopinath/01,
AUTHOR = {Jaggi, Neeraj and Gopinath, K.},
TITLE = {Verification of a leader election algorithm in timed asynchronous systems},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {207-218},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jakoby-Schindelhauer/01,
AUTHOR = {Jakoby, Andreas and Schindelhauer, Christian},
TITLE = {Efficient addition on field programmable gate arrays},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {219-231},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Krishnan-Raghavachari/01,
AUTHOR = {Krishnan, Radha and Raghavachari, Balaji},
TITLE = {The directed minimum-degree spanning tree problem},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {232-243},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lukovszki-Maheshwari-Zeh/01,
AUTHOR = {Lukovszki, Tam{\'a}s and Maheshwari, Anil and Zeh, Norbert},
TITLE = {I/O-efficient batched range counting and its applications to proximity problems},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {244-255},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Madhusudan-Meenakshi/01,
AUTHOR = {Madhusudan, P. and Meenakshi, B.},
TITLE = {Beyond message sequence graphs},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {256-267},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mastrolilli/01,
AUTHOR = {Mastrolilli, Monaldo},
TITLE = {Grouping techniques for one machine scheduling subject to precedence constraints},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {268-279},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Nielsen-Sassone-Srba/01a,
AUTHOR = {Nielsen, Mogens and Sassone, Vladimiro and Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Properties of distributed timed-arc Petri nets},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {280-291},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Peled-Pnueli-Zuck/01,
AUTHOR = {Peled, Doron and Pnueli, Amir and Zuck, Lenore},
TITLE = {From falsification to verification},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {292-304},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Plaku-Shparlinski/01,
AUTHOR = {Plaku, Erion and Shparlinski, Igor E.},
TITLE = {On polynomial representations of Boolean functions related to some number theoretic problems},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {305-316},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Pnueli-Rodeh-Shtrichman/01,
AUTHOR = {Pnueli, Amir and Rodeh, Yoav and Shtrichman, Ofer},
TITLE = {Range allocation for equivalence logic},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {317-333},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Tiwari/01,
AUTHOR = {Tiwari, Ashish},
TITLE = {Rewrite closure for ground and cancellative AC theories},
BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)},
SERIES = {LNCS},
VOLUME = {2245},
PAGES = {334-346},
YEAR = {2001},
EDITOR = {Hariharan, Ramesh and Mukund, Madhavan},
URL = {http://dx.doi.org/},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}