Advertisement

STACS 2007

24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

  • Editors
  • Wolfgang Thomas
  • Pascal Weil
Conference proceedings STACS 2007

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Moshe Y. Vardi
      Pages 12-22
    2. Dorothea Wagner, Thomas Willhalm
      Pages 23-36
  3. Session 1A

    1. Bruno Courcelle, Andrew Twigg
      Pages 37-48
  4. Session 1B

    1. Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot
      Pages 73-84
    2. Francine Blanchet-Sadri, Joshua D. Gafni, Kevin H. Wilson
      Pages 97-108
  5. Session 2A

    1. Eldar Fischer, Orly Yahalom
      Pages 109-120
    2. Amin Coja-Oghlan, Michael Krivelevich, Dan Vilenchik
      Pages 121-132
  6. Session 2B

  7. Session 3A

    1. Ilan Newman, Yuri Rabinovich
      Pages 157-162
    2. Robert Elsässer, Thomas Sauerwald
      Pages 163-174
    3. Adrian Dumitrescu, Csaba D. Tóth
      Pages 175-187
  8. Session 3B

    1. Dietmar Berwanger
      Pages 188-199
    2. Felix Brandt, Felix Fischer, Markus Holzer
      Pages 212-223
  9. Session 4A

    1. Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger
      Pages 236-247
  10. Session 4B

    1. Christian Glaßer, Alan L. Selman, Stephen Travers, Klaus W. Wagner
      Pages 248-259
  11. Session 5A

    1. Christian Hundt, Maciej Liśkiewicz
      Pages 284-295
  12. Session 5B

    1. Javier Esparza, Stefan Kiefer, Michael Luttenberger
      Pages 296-307
  13. Session 6A

  14. Session 6B

    1. Grégory Lafitte, Michael Weiss
      Pages 367-380
    2. Alberto Bertoni, Massimiliano Goldwurm, Violetta Lonati
      Pages 381-392
  15. Session 7A

  16. Session 7B

    1. Pascal Koiran, Sylvain Perifel
      Pages 417-428
    2. Jin-Yi Cai, Pinyan Lu
      Pages 429-440
  17. Session 8A

  18. Session 8B

    1. Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao
      Pages 477-488
    2. Manindra Agrawal, Thanh Minh Hoang, Thomas Thierauf
      Pages 489-499
    3. Arkadev Chattopadhyay, Andreas Krebs, Michal Koucký, Mario Szegedy, Pascal Tesson, Denis Thérien
      Pages 500-511
  19. Session 9A

    1. Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail
      Pages 512-523
    2. Iman Hajirasouliha, Hossein Jowhari, Ravi Kumar, Ravi Sundaram
      Pages 524-535
  20. Session 9B

    1. Davide Bresolin, Angelo Montanari, Pietro Sala
      Pages 549-560
    2. Thomas Schwentick, Volker Weber
      Pages 561-572
    3. Lutz Schröder, Dirk Pattinson
      Pages 573-585

About these proceedings

Keywords

Automat algorithm algorithms automata complexity complexity theory computer computer science data structure data structures formal language formal languages logic semantics verification

Bibliographic information

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