Skip to main content
SpringerLink
Log in

Theoretical Computer Science

8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Josep Diaz

    1. Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ivan Lanese

    1. Dipartimento di Informatica - Scienza e Ingegneria (DISI), Università di Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Davide Sangiorgi

    1. Dipartimento di Informatica - Scienza e Ingegneria (DISI), Università di Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: TCS 2014.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Track A: Algorithms, Complexity and Models of Computation

    1. Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

      • Anna Bernasconi, Valentina Ciriani
      Pages 1-12

    2. On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs

      • Bugra Caskurlu, Vahan Mkrtchyan, Ojas Parekh, K. Subramani
      Pages 13-26

    3. Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks

      • Fei Chen, Xiaowei Wu
      Pages 27-38

    4. The Shortest Path Game: Complexity and Algorithms

      • Andreas Darmann, Ulrich Pferschy, Joachim Schauer
      Pages 39-53

    5. Online Scheduling of Unit Length Jobs with Commitment and Penalties

      • Stanley P. Y. Fung
      Pages 54-65

    6. The Lazy Matroid Problem

      • Laurent Gourvès, Jérôme Monnot, Aris T. Pagourtzis
      Pages 66-77

    7. Treewidth Computation and Kernelization in the Parallel External Memory Model

      • Riko Jacob, Tobias Lieber, Matthias Mnich
      Pages 78-89

    8. Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic

      • Martin Lange, Etienne Lozes
      Pages 90-103

    9. Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions

      • Hiroki Morizumi
      Pages 104-110

    10. Subshifts, MSO Logic, and Collapsing Hierarchies

      • Ilkka Törmä
      Pages 111-122

    11. Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds’ Algorithm

      • Jiří Wiedermann
      Pages 123-135

    12. Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)

      • Tomoyuki Yamakami
      Pages 136-150

  3. Track B: Logic, Semantics, Specification and Verification

    1. Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

      • Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
      Pages 151-163

    2. A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs

      • Jon Haël Brenas, Rachid Echahed, Martin Strecker
      Pages 164-178

    3. Termination Analysis for Graph Transformation Systems

      • H. J. Sander Bruggink, Barbara König, Hans Zantema
      Pages 179-194

    4. Tropical Two-Way Automata

      • Vincent Carnino, Sylvain Lombardy
      Pages 195-206

    5. Parametric LTL on Markov Chains

      • Souymodip Chakraborty, Joost-Pieter Katoen
      Pages 207-221

    6. Specifying and Verifying Properties of Space

      • Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
      Pages 222-235

    7. Primal Infon Logic with Conjunctions as Sets

      • Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev
      Pages 236-249
Back to top

Other volumes

  1. Theoretical Computer Science

Keywords

About this book

This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification

Editors and Affiliations

  • Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Barcelona, Spain

    Josep Diaz

  • Dipartimento di Informatica - Scienza e Ingegneria (DISI), Università di Bologna, Bologna, Italy

    Ivan Lanese, Davide Sangiorgi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation