21. FSTTCS 2001:
Bangalore,
India
Ramesh Hariharan, Madhavan Mukund, V. Vinay (Eds.):
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings.
Lecture Notes in Computer Science 2245 Springer 2001, ISBN 3-540-43002-4 BibTeX
@proceedings{DBLP:conf/fsttcs/2001,
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {FST TCS 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December
13-15, 2001, Proceedings},
booktitle = {FSTTCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2245},
year = {2001},
isbn = {3-540-43002-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Contributed Papers
- Manindra Agrawal:
Hard Sets and Pseudo-random Generators for Constant Depth Circuits.
58-69
Electronic Edition (Springer LINK) BibTeX
- Manindra Agrawal:
The First-Order Isomorphism Theorem.
70-82
Electronic Edition (Springer LINK) BibTeX
- Richard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner:
Thresholds and Optimal Binary Comparison Search Trees.
83-95
Electronic Edition (Springer LINK) BibTeX
- Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection.
96-107
Electronic Edition (Springer LINK) BibTeX
- Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
108-119
Electronic Edition (Springer LINK) BibTeX
- Jianer Chen, Donald K. Friesen, Weijia Jia, Iyad A. Kanj:
Using Nondeterminism to Design Deterministic Algorithms.
120-131
Electronic Edition (Springer LINK) BibTeX
- Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro:
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.
132-143
Electronic Edition (Springer LINK) BibTeX
- Axel Dold, Vincent Vialard:
A Mechanically Verified Compiling Specification for a Lisp Compiler.
144-155
Electronic Edition (Springer LINK) BibTeX
- Dana Fisman, Amir Pnueli:
Beyond Regular Model Checking.
156-170
Electronic Edition (Springer LINK) BibTeX
- Jürgen Forster, Matthias Krause, Satyanarayana V. Lokam, Rustam Mubarakzjanov, Niels Schmitt, Hans-Ulrich Simon:
Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity.
171-182
Electronic Edition (Springer LINK) BibTeX
- Neelima Gupta, Sumit Chopra, Sandeep Sen:
Optimal, Output-Sensitive Algorithms for Constructing Upper Envelope of Line Segments in Parallel.
183-194
Electronic Edition (Springer LINK) BibTeX
- Venkatesan Guruswami:
List Decoding from Erasures: Bounds and Code Constructions.
195-206
Electronic Edition (Springer LINK) BibTeX
- Neeraj Jaggi, K. Gopinath:
Verification of a Leader Election Algorithm in Timed Asynchronous Systems.
207-218
Electronic Edition (Springer LINK) BibTeX
- Andreas Jakoby, Christian Schindelhauer:
Efficient Addition on Field Programmable Gate Arrays.
219-231
Electronic Edition (Springer LINK) BibTeX
- Radha Krishnan, Balaji Raghavachari:
The Directed Minimum-Degree Spanning Tree Problem.
232-243
Electronic Edition (Springer LINK) BibTeX
- Tamás Lukovszki, Anil Maheshwari, Norbert Zeh:
I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.
244-255
Electronic Edition (Springer LINK) BibTeX
- P. Madhusudan, B. Meenakshi:
Beyond Message Sequence Graphs.
256-267
Electronic Edition (Springer LINK) BibTeX
- Monaldo Mastrolilli:
Grouping Techniques for One Machine Scheduling Subject to Precedence Constraints.
268-279
Electronic Edition (Springer LINK) BibTeX
- Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Properties of Distributed Timed-Arc Petri Nets.
280-291
Electronic Edition (Springer LINK) BibTeX
- Doron Peled, Amir Pnueli, Lenore D. Zuck:
From Falsification to Verification.
292-304
Electronic Edition (Springer LINK) BibTeX
- Erion Plaku, Igor Shparlinski:
On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems.
305-316
Electronic Edition (Springer LINK) BibTeX
- Amir Pnueli, Yoav Rodeh, Ofer Strichman:
Range Allocation for Equivalence Logic.
317-333
Electronic Edition (Springer LINK) BibTeX
- Ashish Tiwari:
Rewrite Closure for Ground and Cancellative AC Theories.
334-346
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:12:56 2009
by Michael Ley (ley@uni-trier.de)