Skip to main content
  • Conference proceedings
  • © 2001

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

21st Conference, Bangalore, India, December 13-15, 2001, Proceedings

Conference proceedings info: FSTTCS 2001.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-45294-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

    Pages I-XI
  2. Contributed Papers

    1. The First-Order Isomorphism Theorem

      • Manindra Agrawal
      Pages 70-82
    2. Thresholds and Optimal Binary Comparison Search Trees

      • Richard Anderson, Sampath Kannan, Howard Karloff, Richard E. Ladner
      Pages 83-95
    3. Distributed LTL Model Checking Based on Negative Cycle Detection

      • Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek
      Pages 96-107
    4. Computability and Complexity Results for a Spatial Assertion Language for Data Structures

      • Cristiano Calcagno, Hongseok Yang, Peter W. O’Hearn
      Pages 108-119
    5. Using Nondeterminism to Design Efficient Deterministic Algorithms

      • Jianer Chen, Donald K. Friesen, Weijia Jia, Iyad A. Kanj
      Pages 120-131
    6. Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter

      • Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
      Pages 132-143
    7. Beyond Regular Model Checking

      • Dana Fisman, Amir Pnueli
      Pages 156-170
    8. Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity

      • Jürgen Forster, Matthias Krause, Satyanarayana V. Lokam, Rustam Mubarakzjanov, Niels Schmitt, Hans Ulrich Simon
      Pages 171-182
    9. Efficient Addition on Field Programmable Gate Arrays

      • Andreas Jakoby, Christian Schindelhauer
      Pages 219-231

Other Volumes

  1. FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

    21st Conference Bangalore, India, December 13–15, 2001 Proceedings

About this book

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year’s conference attracted 73 submissions from 20 countries. Each s- mission was reviewed by at least three independent referees. In a departure from previous conferences, the ?nal selection of the papers making up the program was done through an electronic discussion spanning two weeks, without a physical meeting of the Program Committee (PC). Since the PC of FSTTCS is distributed across the globe, it is very di?cult to ?x a meeting whose time and venue is convenient for a substantial fraction of the PC. Given this, it was felt that an electronic discussion would enable all members to participate on a more equal footing in the ?nal selection. All reviews, scores, and comments were posted on a secure website, with a mechanism for making updates and automatically sending noti?cations by email to relevant members of the PC. All PC members participated actively in the discussion. The general feedback on the arrangement was very positive, so we hope to continue this in future years. We had ?ve invited speakers this year: Eric Allender, Sanjeev Arora, David Harel, Colin Stirling, and Uri Zwick. We thank them for having readily accepted our invitation to talk at the conference and for providing abstracts (and even full papers) for the proceedings.

Keywords

  • algorithm
  • algorithms
  • complexity
  • computer
  • computer science
  • data structure
  • data structures
  • formal verification
  • logic
  • model checking
  • petri net
  • verification

Editors and Affiliations

  • Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India

    Ramesh Hariharan, V. Vinay

  • Chennai Mathematical Institute, Chennai, India

    Madhavan Mukund

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-45294-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)