Skip to main content
SpringerLink
Log in

Automata, Languages and Programming

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Luca Aceto

    1. ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Monika Henzinger

    1. Fakultät für Informatik, Universität Wien, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jiří Sgall

    1. Department of Applied Mathematics, Charles University, Praha 1, Czech Republic

    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 6756)

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

Included in the following conference series:

Conference proceedings info: ICALP 2011.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (52 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Lectures

    1. Nondeterministic Streaming String Transducers

      • Rajeev Alur, Jyotirmoy V. Deshmukh
      Pages 1-20

    2. An Introduction to Randomness Extractors

      • Ronen Shaltiel
      Pages 21-41

    3. Invitation to Algorithmic Uses of Inclusion–Exclusion

      • Thore Husfeldt
      Pages 42-59

    4. On the Relation between Differential Privacy and Quantitative Information Flow

      • Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 60-76

  4. Best Papers

    1. Local Matching Dynamics in Social Networks

      • Martin Hoefer
      Pages 113-124

    2. Regular Languages of Words over Countable Linear Orderings

      • Olivier Carton, Thomas Colcombet, Gabriele Puppis
      Pages 125-136

    3. Algebraic Independence and Blackbox Identity Testing

      • Malte Beecken, Johannes Mittmann, Nitin Saxena
      Pages 137-148

  5. Session B1: Foundations of Program Semantics

    1. A Fragment of ML Decidable by Visibly Pushdown Automata

      • David Hopkins, Andrzej S. Murawski, C. -H. Luke Ong
      Pages 149-161

    2. Krivine Machines and Higher-Order Schemes

      • S. Salvati, I. Walukiewicz
      Pages 162-173

    3. Relating Computational Effects by ⊤ ⊤-Lifting

      • Shin-ya Katsumata
      Pages 174-185

    4. Constructing Differential Categories and Deconstructing Categories of Games

      • Jim Laird, Giulio Manzonetto, Guy McCusker
      Pages 186-197

  6. Session B2: Automata and Formal Languages

    1. Nondeterminism Is Essential in Small 2FAs with Few Reversals

      • Christos A. Kapoutsis
      Pages 198-209

    2. Isomorphism of Regular Trees and Words

      • Markus Lohrey, Christian Mathissen
      Pages 210-221

    3. On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids

      • Georg Zetzsche
      Pages 222-233

    4. The Cost of Traveling between Languages

      • Michael Benedikt, Gabriele Puppis, Cristian Riveros
      Pages 234-245

  7. Session B3: Model Checking

    1. Emptiness and Universality Problems in Timed Automata with Positive Frequency

      • Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
      Pages 246-257
Back to top

Other volumes

  1. Automata, Languages and Programming

  2. Automata, Languages and Programming

Keywords

About this book

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.

Editors and Affiliations

  • ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland

    Luca Aceto

  • Fakultät für Informatik, Universität Wien, Wien, Austria

    Monika Henzinger

  • Department of Applied Mathematics, Charles University, Praha 1, Czech Republic

    Jiří Sgall

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation