Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Automata, Languages, and Programming

39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Editors:

  1. Artur Czumaj

    1. Department of Computer Science and Centre for Discrete Mathematics and its Applications, University of Warwick, Warwick, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kurt Mehlhorn

    1. Max-Planck-Institut für Informatik, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrew Pitts

    1. Computer Laboratory,, University of Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Roger Wattenhofer

    1. ETH Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ICALP: International Colloquium on Automata, Languages, and Programming

Conference proceedings info: ICALP 2012.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (58 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. On Multiple Keyword Sponsored Search Auctions with Budgets

      • Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger
      Pages 1-12

    3. Standing on the Shoulders of a Giant

      • David Harel
      Pages 16-22

    4. Session Types and Distributed Computing

      • Kohei Honda
      Pages 23-23

    6. Randomized Mechanisms for Multi-unit Auctions

      • Berthold Vöcking
      Pages 27-29

  3. Track B – Logic Semantics, Automata and Theory of Programming

    1. Algebraic Synchronization Trees and Processes

      • Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
      Pages 30-41

    2. Streaming Tree Transducers

      • Rajeev Alur, Loris D’Antoni
      Pages 42-53

    3. Causal Graph Dynamics

      • Pablo Arrighi, Gilles Dowek
      Pages 54-66

    5. Monadic Datalog Containment

      • Michael Benedikt, Pierre Bourhis, Pierre Senellart
      Pages 79-91

    6. A Machine-Independent Characterization of Timed Languages

      • Mikołaj Bojańczyk, Sławomir Lasota
      Pages 92-103

    8. Toward Model Theory with Data Values

      • Mikołaj Bojańczyk, Thomas Place
      Pages 116-127

    9. Robust Reachability in Timed Automata: A Game-Based Approach

      • Patricia Bouyer, Nicolas Markey, Ocan Sankur
      Pages 128-140

    10. Minimizing Expected Termination Time in One-Counter Markov Decision Processes

      • Tomáš Brázdil, Antonín Kučera, Petr Novotný, Dominik Wojtczak
      Pages 141-152

    12. A Saturation Method for Collapsible Pushdown Systems

      • Chris Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
      Pages 165-176

    13. Regular Languages Are Church-Rosser Congruential

      • Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter
      Pages 177-188
Back to top

Other Volumes

  1. Automata, Languages, and Programming

  2. Automata, Languages, and Programming

Back to top

About this book

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science and Centre for Discrete Mathematics and its Applications, University of Warwick, Warwick, UK

    Artur Czumaj

  • Max-Planck-Institut für Informatik, Saarbrücken, Germany

    Kurt Mehlhorn

  • Computer Laboratory,, University of Cambridge, UK

    Andrew Pitts

  • ETH Zurich, Switzerland

    Roger Wattenhofer

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation