Skip to main content
SpringerLink
Log in

Topics in Theoretical Computer Science

The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Mohammad Taghi Hajiaghayi

    1. Computer Science Department, University of Maryland, College Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mohammad Reza Mousavi

    1. Halmstad University, Halmstad, Sweden

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

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

Included in the following conference series:

Conference proceedings info: TTCS 2015.

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 EPUB and 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 (12 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Distributional Sentence Entailment Using Density Matrices

    • Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke
    Pages 1-22

  3. On Symmetric and Choiceless Computation

    • Anuj Dawar
    Pages 23-29

  4. Robots’ Cooperation for Finding a Target in Streets

    • Mohammad Abouei Mehrizi, Mohammad Ghodsi, Azadeh Tabatabaei
    Pages 30-43

  5. Some Properties of Continuous Yao Graph

    • Davood Bakhshesh, Mohammad Farshi
    Pages 44-55

  6. Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings in a Simple Polygon

    • Ahmad Biniaz, Prosenjit Bose, Anil Maheshwari, Michiel Smid
    Pages 56-71

  7. Visibility Graphs of Anchor Polygons

    • Hossein Boomari, Alireza Zarei
    Pages 72-89

  8. Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus

    • Silvano Dal Zilio, Bernard Berthomieu
    Pages 90-104

  9. Minimizing Walking Length in Map Matching

    • Amin Gheibi, Anil Maheshwari, Jörg-Rüdiger Sack
    Pages 105-120

  10. Rainbow Domination and Related Problems on Some Classes of Perfect Graphs

    • Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Hung-Lung Wang
    Pages 121-134

  11. Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width

    • Tomer Kotek, Johann A. Makowsky
    Pages 135-146

  12. Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy

    • Stéphane Le Roux
    Pages 147-163

  13. Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization Problem

    • Vahid Roostapour, Iman Kiarazm, Mansoor Davoodi
    Pages 164-178

  14. Back Matter

    Pages 179-179
    Download chapter PDF
Back to top

Other volumes

  1. Topics in Theoretical Computer Science

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015.

The 10 full papers presented together with 3 invited talks were carefully reviewed and selected from 48 submissions. The papers feature novel and high-quality research in all areas of theoretical computer science.

Editors and Affiliations

  • Computer Science Department, University of Maryland, College Park, USA

    Mohammad Taghi Hajiaghayi

  • Halmstad University, Halmstad, Sweden

    Mohammad Reza Mousavi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation