


default search action
TTCS 2015: Tehran, Iran
- Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi:

Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9541, Springer 2016, ISBN 978-3-319-28677-8 - Esma Balkir, Mehrnoosh Sadrzadeh

, Bob Coecke:
Distributional Sentence Entailment Using Density Matrices. 1-22 - Anuj Dawar

:
On Symmetric and Choiceless Computation. 23-29 - Mohammad Abouei Mehrizi, Mohammad Ghodsi, Azadeh Tabatabaei:

Robots' Cooperation for Finding a Target in Streets. 30-43 - Davood Bakhshesh, Mohammad Farshi:

Some Properties of Continuous Yao Graph. 44-55 - Ahmad Biniaz, Prosenjit Bose

, Anil Maheshwari, Michiel H. M. Smid:
Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings in a Simple Polygon. 56-71 - Hossein Boomari, Alireza Zarei:

Visibility Graphs of Anchor Polygons. 72-89 - Silvano Dal-Zilio

, Bernard Berthomieu:
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus. 90-104 - Amin Gheibi

, Anil Maheshwari, Jörg-Rüdiger Sack
:
Minimizing Walking Length in Map Matching. 105-120 - Wing-Kai Hon

, Ton Kloks, Hsiang-Hsuan Liu
, Hung-Lung Wang:
Rainbow Domination and Related Problems on Some Classes of Perfect Graphs. 121-134 - Tomer Kotek, Johann A. Makowsky:

Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width. 135-146 - Stéphane Le Roux:

Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy. 147-163 - Vahid Roostapour, Iman Kiarazm, Mansoor Davoodi:

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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














