Advertisement

STACS 2004

21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings

  • Volker Diekert
  • Michel Habib

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

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Structural Complexity (I)

    1. Harry Buhrman, Hartmut Klauck, Nikolai Vereshchagin, Paul Vitányi
      Pages 19-30
    2. Kristoffer Arnsfelt Hansen
      Pages 44-55
  4. Graph Algorithms (I)

    1. Fedor V. Fomin, Dimtirios M. Thilikos
      Pages 56-67
    2. Annamária Kovács
      Pages 68-80
    3. Holger Bast, Kurt Mehlhorn, Guido Schäfer, Hisao Tamaki
      Pages 81-92
  5. Quantum Computations

    1. Andris Ambainis, Martin Beaudry, Marats Golovkins, Arnolds Ķikusts, Mark Mercer, Denis Thérien
      Pages 93-104
    2. Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Hiroyuki Masuda, Raymond H. Putra, Shigeru Yamashita
      Pages 105-116
  6. Pattern Inference and Statistics

    1. Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati
      Pages 117-128
    2. Daniel Reidenbach
      Pages 129-140
  7. Satisfiability – Constraint Satisfaction Problem

    1. Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
      Pages 141-151
    2. David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
      Pages 152-163
    3. Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer
      Pages 164-175
  8. Scheduling (I)

    1. Stavros G. Kolliopoulos, George Steiner
      Pages 176-186
    2. Yair Bartal, Francis Y. L. Chin, Marek Chrobak, Stanley P. Y. Fung, Wojciech Jawor, Ron Lavi et al.
      Pages 187-198
    3. Tomáš Ebenlendr, Jiří Sgall
      Pages 199-210
  9. Algorithms

    1. Christoph Ambühl, Birgitta Weber
      Pages 211-221
    2. Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna Paluch
      Pages 222-233
    3. Kedar Dhamdhere, Anupam Gupta, R. Ravi
      Pages 234-245
  10. Networks (I)

    1. Pierre Fraigniaud, David Ilcinkas
      Pages 246-257
    2. Thomas Erlebach, Riko Jacob, Matúš Mihaľák, Marc Nunkesser, Gábor Szabó, Peter Widmayer
      Pages 270-281
  11. Automata Theory and Words

    1. Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin
      Pages 282-293
    2. Tero Harju, Dirk Nowotka
      Pages 294-304
  12. Structural Complexity (II)

  13. Path Algorithms

  14. Cryptography

    1. Mårten Trolin
      Pages 370-381
    2. Ralf Küsters, Thomas Wilke
      Pages 382-393
  15. Networks (II)

    1. Murali K Ganapathy, Sachin P Lodha
      Pages 394-405
    2. Aubin Jarry
      Pages 406-417
    3. Christoph Ambühl, Andrea E. F. Clementi, Miriam Di Ianni, Nissan Lev-Tov, Angelo Monti, David Peleg et al.
      Pages 418-427
  16. Logic and Formal Languages

    1. Thomas Colcombet, Christof Löding
      Pages 428-439
    2. Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
      Pages 440-451
    3. Anca Muscholl, Thomas Schwentick, Luc Segoufin
      Pages 452-464
  17. Graphs Algorithms (II)

  18. Game Theory and Complexity

    1. Martin Aigner, Gianluca De Marco, Manuela Montangero
      Pages 513-521
    2. Doron Bustan, Orna Kupferman, Moshe Y. Vardi
      Pages 522-533
  19. Networks (III)

    1. Carlos Brito, Eli Gafni, Shailesh Vaya
      Pages 534-546
    2. Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Manuel Rode
      Pages 547-558
    3. Philippe Duchon, Nicolas Hanusse, Nasser Saheb, Akka Zemmari
      Pages 559-570

About these proceedings

Keywords

Automat algorithms automata automata theory complexity computer computer science formal language formal languages game theory logic

Editors and affiliations

  • Volker Diekert
    • 1
  • Michel Habib
    • 2
  1. 1.Universität Stuttgart, FMIGermany
  2. 2.LIAFA and the University of Paris 7Denis Diderot 

Bibliographic information

  • DOI https://doi.org/10.1007/b96012
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21236-2
  • Online ISBN 978-3-540-24749-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications