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
Conference proceedings ICALP 2007

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 Computer Science (R0)
  • 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