Advertisement

STACS 99

16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings

  • Christoph Meinel
  • Sophie Tison

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Talks

    1. Noam Nisan
      Pages 1-15
    2. Patrice Ossona de Mendez
      Pages 16-31
    3. Thomas Wilke
      Pages 32-46
  3. Complexity 1

    1. Anna Bernasconi, Igor Shparlinski
      Pages 47-56
    2. Martin Sauerhoff, Ingo Wegener, Ralph Werchner
      Pages 57-67
  4. Theory of Parallel Algorithms 1

  5. Complexity 2

    1. Jin-Yi Cai, A. Pavan, D. Sivakumar
      Pages 90-99
    2. Harry Buhrman, Lance Fortnow
      Pages 100-109
  6. Computational Geometry

    1. Christian Icking, Rolf Klein, Elmar Langetepe
      Pages 110-120
    2. Sven Schuierer, Ines Semrau
      Pages 121-131
    3. Mikael Hammar, Bengt J. Nilsson, Sven Schuierer
      Pages 132-142
  7. Complexity 3

    1. Clemens Lautemann, Nicole Schweikardt, Thomas Schwentick
      Pages 143-152
    2. Bruno Durand, Alexander Shen, Nikolai Vereshagin
      Pages 153-162
    3. Clifford Bergman, Giora Slutzki
      Pages 163-172
  8. Algorithms and Data Structures 1

    1. Ton Kloks, Jan Kratochvíl, Haiko Müller
      Pages 173-183
    2. Ming-Yang Kao, Andrzej Lingas, Anna Östlin
      Pages 184-196
    3. Vincent Bouchitté, Ioan Todinca
      Pages 197-206
  9. Automata and Formal Languages

    1. Vesa Halava, Mika Hirvensalo, Ronald de Wolf
      Pages 207-216
    2. John Michael Robson, Volker Diekert
      Pages 217-226
  10. Algorithms and Data Structures 2

  11. Complexity 4

    1. Edith Hemaspaandra, Lane. A. Hemaspaandra, Harald Hempel
      Pages 270-280
    2. Vikraman Arvind, Jacobo Torán
      Pages 281-290
  12. Algorithms and Data Structures 3

    1. Jop F. Sibeyn
      Pages 291-301
  13. Verification

    1. Maciej Koutny, Giuseppe Pappalardo
      Pages 313-322
    2. Ahmed Bouajjani, Richard Mayr
      Pages 323-333
  14. Algorithms and Data Structures 4

    1. Bang Ye Wu, Kun-Mao Chao, Chuan Yi Tang
      Pages 334-344
    2. Matti Nykänen, Esko Ukkonen
      Pages 345-355
  15. Complexity 5

    1. Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen
      Pages 362-372
  16. Theory of Parallel Algorithms 2

    1. Andreas Jakoby, Maciej Liśkiewicz, Rüdiger Reischuk
      Pages 383-392
    2. William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou
      Pages 393-403
    3. Elias Koutsoupias, Christos Papadimitriou
      Pages 404-413
  17. Algorithmic Learning

    1. Rüdiger Reischuk, Thomas Zeugmann
      Pages 414-423
    2. John Case, Keh-Jiann Chen, Sanjay Jain
      Pages 424-433
  18. Logic in Computer Science

    1. Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer
      Pages 444-454
    2. Orna Kupferman, Moshe Y. Vardi
      Pages 455-466
    3. Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
      Pages 467-477
  19. Complexity 6

    1. Mark Ettinger, Peter Høyer
      Pages 478-487
    2. Giovanni Di Crescenzo, Niels Ferguson, Russell Impagliazzo, Markus Jakobsson
      Pages 500-509
  20. Logic in Computer Science 2

    1. Markus Müller-Olm
      Pages 510-520
    2. Rana Barua, Suman Roy, Zhou Chaochen
      Pages 521-530

About these proceedings

Keywords

Automat algorithms automata complexity computational geometry computer computer science data structures formal language formal languages logic verification

Editors and affiliations

  • Christoph Meinel
    • 1
  • Sophie Tison
    • 2
  1. 1.FB IV - InformatikUniversität TrierTrierGermany
  2. 2.LIFL, Université de Lille IVilleneuve d’Ascq CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49116-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65691-3
  • Online ISBN 978-3-540-49116-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site