Advertisement

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

  • S. Arun-Kumar
  • Naveen Garg
Conference proceedings FSTTCS 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4337)

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers – Track A

    1. Florent Becker, Ivan Rapaport, Éric Rémila
      Pages 45-56
    2. Tanmoy Chakraborty, Samir Datta
      Pages 57-68
    3. Michael A. Bekos, Michael Kaufmann, Katerina Potika, Antonios Symvonis
      Pages 81-92
    4. Pankaj K. Agarwal, Sergio Cabello, J. Antoni Sellarès, Micha Sharir
      Pages 93-104
    5. Shankar Kalyanaraman, Christopher Umans
      Pages 105-116
    6. Gruia Calinescu, Michael J. Pelsmajer
      Pages 117-128
    7. Sourav Chakraborty, Jaikumar Radhakrishnan, Nandakumar Raghunathan, Prashant Sasatte
      Pages 129-138
    8. Sushmita Gupta, Venkatesh Raman, Saket Saurabh
      Pages 139-151
    9. Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch
      Pages 152-163
    10. Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
      Pages 176-187
    11. A. Pavan, Rahul Santhanam, N. V. Vinodchandran
      Pages 188-199
    12. Benjamin Doerr, Christian Klein
      Pages 200-211
  4. Contributed Papers – Track B

    1. Russ Harmer, Olivier Laurent
      Pages 224-235
    2. Josée Desharnais, François Laviolette, Sami Zhioua
      Pages 236-247
    3. Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček
      Pages 248-259
    4. Andreas Bauer, Martin Leucker, Christian Schallhart
      Pages 260-272
    5. Christian Dax, Martin Hofmann, Martin Lange
      Pages 273-284
    6. Thierry Cachat
      Pages 285-296
    7. Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
      Pages 297-308
    8. Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker
      Pages 309-320
    9. Paul Gastin, Nathalie Sznajder, Marc Zeitoun
      Pages 321-332
    10. MohammadReza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
      Pages 333-344
    11. Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Jacob Illum Rasmussen
      Pages 345-356
    12. Didier Galmiche, Dominique Larchey-Wendling
      Pages 357-368
    13. Fabrice Chevalier, Deepak D’Souza, Pavithra Prabhakar
      Pages 369-380
    14. Ranko Lazić
      Pages 381-392
    15. Rajeev Alur, Swarat Chaudhuri
      Pages 393-404
  5. Back Matter

About these proceedings

Keywords

Automat automata automata theory complexity complexity theory computer computer science formal method logic mathematical logic programming

Editors and affiliations

  • S. Arun-Kumar
    • 1
  • Naveen Garg
    • 2
  1. 1.Department of Computer Science and EngineeringIndian Institute of Technology DelhiNew DelhiIndia
  2. 2.Indian Institute of TechnologyDelhi

Bibliographic information

  • DOI https://doi.org/10.1007/11944836
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-49994-7
  • Online ISBN 978-3-540-49995-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site