Advertisement

Automata, Languages and Programming

34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

  • Editors
  • Lars Arge
  • Christian Cachin
  • Tomasz Jurdziński
  • Andrzej Tarlecki

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Bernard Chazelle
      Pages 1-1
    2. Frederic Dorn, Fedor V. Fomin, Dimitrios M. Thilikos
      Pages 15-27
  3. Session A1

    1. Nikhil Bansal, Ho-Leung Chan, Kirk Pruhs
      Pages 28-39
    2. George Christodoulou, Elias Koutsoupias, Annamária Kovács
      Pages 40-52
  4. Session A2

    1. Rajeev Motwani, Rina Panigrahy, Ying Xu
      Pages 53-64
  5. Session A3

    1. Seth Pettie
      Pages 78-89
    2. André Berger, Michelangelo Grigni
      Pages 90-101
    3. Amos Korman
      Pages 102-109
  6. Session A4

    1. Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
      Pages 110-121
    2. Ashley Montanaro, Andreas Winter
      Pages 122-133
    3. Paul Beame, Matei David, Toniann Pitassi, Philipp Woelfel
      Pages 134-145
  7. Session A5

    1. Erik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann
      Pages 146-157
    2. Dragan Bošnački, Edith Elkind, Blaise Genest, Doron Peled
      Pages 158-170
    3. Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal
      Pages 171-182
  8. Session A6

    1. Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu
      Pages 183-194
    2. Ryan O’Donnell, Karl Wimmer
      Pages 195-206
    3. Peter Bürgisser, Felipe Cucker
      Pages 207-218
  9. Session A7

    1. Amotz Bar-Noy, Panagiotis Cheilaris, Svetlana Olonetsky, Shakhar Smorodinsky
      Pages 219-230
    2. Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas, Andrzej Pelc
      Pages 231-242
  10. Session C1

    1. Yuval Ishai, Tal Malkin, Martin J. Strauss, Rebecca N. Wright
      Pages 243-254
    2. Nenad Dedic, Payman Mohassel
      Pages 255-266
  11. Session A8

    1. Albert Atserias, Andrei Bulatov, Victor Dalmau
      Pages 279-290
    2. Nachum Dershowitz, Iddo Tzameret
      Pages 291-302
  12. Session C2

  13. Session A9

    1. Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stéphane Vialette
      Pages 340-351
    2. Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael Krivelevich, Saket Saurabh
      Pages 352-362
    3. Martin Grohe, Magdalena Grüber
      Pages 363-374
    4. Jiong Guo, Rolf Niedermeier
      Pages 375-386
  14. Session C3

    1. Rafail Ostrovsky, Omkant Pandey, Amit Sahai
      Pages 387-398
    2. Mihir Bellare, Chanathip Namprempre, Gregory Neven
      Pages 411-422
    3. Nishanth Chandran, Jens Groth, Amit Sahai
      Pages 423-434
  15. Session A10

  16. Session B1

    1. Lutz Schröder, Dirk Pattinson
      Pages 459-471
    2. Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
      Pages 472-483
  17. Session C4

    1. Ben Adida, Douglas Wikström
      Pages 484-495
  18. Session A11

    1. Meng He, J. Ian Munro, S. Srinivasa Rao
      Pages 509-520
    2. Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Scott Vitter
      Pages 521-532
    3. Gianni Franceschini, S. Muthukrishnan
      Pages 533-545
  19. Session B2

    1. Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen
      Pages 546-557
    2. Albert Atserias, Andrei Bulatov, Anuj Dawar
      Pages 558-570

About these proceedings

Keywords

Automat algorithms automata complexity logic programming security

Bibliographic information

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