Advertisement

Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

  • Luca Aceto
  • Monika Henzinger
  • Jiří Sgall

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Rajeev Alur, Jyotirmoy V. Deshmukh
      Pages 1-20
    2. Ronen Shaltiel
      Pages 21-41
    3. Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 60-76
  3. Best Student Papers

  4. Best Papers

    1. Martin Hoefer
      Pages 113-124
    2. Olivier Carton, Thomas Colcombet, Gabriele Puppis
      Pages 125-136
    3. Malte Beecken, Johannes Mittmann, Nitin Saxena
      Pages 137-148
  5. Session B1: Foundations of Program Semantics

    1. David Hopkins, Andrzej S. Murawski, C. -H. Luke Ong
      Pages 149-161
    2. S. Salvati, I. Walukiewicz
      Pages 162-173
    3. Shin-ya Katsumata
      Pages 174-185
    4. Jim Laird, Giulio Manzonetto, Guy McCusker
      Pages 186-197
  6. Session B2: Automata and Formal Languages

    1. Markus Lohrey, Christian Mathissen
      Pages 210-221
    2. Michael Benedikt, Gabriele Puppis, Cristian Riveros
      Pages 234-245
  7. Session B3: Model Checking

    1. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
      Pages 246-257
    2. Lorenzo Clemente
      Pages 258-270
    3. Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns
      Pages 271-282
    4. Xin Zhang, Franck van Breugel
      Pages 283-294
  8. Session B4: Probabilistic Systems

    1. Yuxin Deng, Matthew Hennessy
      Pages 307-318
    2. Tomáš Brázdil, Stefan Kiefer, Antonín Kučera, Ivana Hutařová Vařeková
      Pages 319-331
    3. Tomáš Brázdil, Václav Brožek, Kousha Etessami, Antonín Kučera
      Pages 332-343
  9. Session B5: Logic in Computer Science

    1. Simone Bova, Hubie Chen, Matthew Valeriote
      Pages 344-355
    2. Vince Bárány, Balder ten Cate, Luc Segoufin
      Pages 356-367
    3. Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin
      Pages 368-379
    4. Luca Cardelli, Kim G. Larsen, Radu Mardare
      Pages 380-391
  10. Session B6: Hybrid Systems

    1. Diana Fischer, Łukasz Kaiser
      Pages 404-415
    2. Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
      Pages 416-427
  11. Session B7: Specification and Verification

    1. Ahmed Bouajjani, Roland Meyer, Eike Möhlmann
      Pages 428-440
    2. S. Schmitz, Ph. Schnoebelen
      Pages 441-452
    3. Alexey Gotsman, Hongseok Yang
      Pages 453-465
    4. Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang
      Pages 466-477
  12. Session C1: Graphs

    1. Nicole Megow, Kurt Mehlhorn, Pascal Schweitzer
      Pages 478-489
    2. Danny Hermelin, Avivit Levy, Oren Weimann, Raphael Yuster
      Pages 490-501
    3. Benjamin Doerr, Mahmoud Fouz
      Pages 502-513
    4. T-H. Hubert Chan, Li Ning
      Pages 514-525
  13. Session C2: Matchings and Equilibria

    1. Konstantinos Kollias, Tim Roughgarden
      Pages 539-551
    2. Roberto Cominetti, José R. Correa, Omar Larré
      Pages 552-563
    3. Chien-Chung Huang
      Pages 564-575
  14. Session C3: Privacy and Content Search

    1. Michael T. Goodrich, Michael Mitzenmacher
      Pages 576-587
    2. Benoît Libert, Moti Yung
      Pages 588-600
    3. Amin Karbasi, Stratis Ioannidis, Laurent Massoulié
      Pages 601-612
  15. Session C4: Distributed Computation

    1. Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Pelc, Mariusz A. Rokicki
      Pages 613-624

Other volumes

  1. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
  2. Automata, Languages and Programming
    38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.

Keywords

computer science logic equilibria computation formal methods formal verification hybrid systems program semantics systems security

Editors and affiliations

  • Luca Aceto
    • 1
  • Monika Henzinger
    • 2
  • Jiří Sgall
    • 3
  1. 1.ICE-TCS, School of Computer ScienceReykjavik UniversityReykjavikIceland
  2. 2.Fakultät für InformatikUniversität WienWienAustria
  3. 3.Department of Applied MathematicsCharles UniversityPraha 1Czech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-22012-8
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22011-1
  • Online ISBN 978-3-642-22012-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site