default search action

combined dblp search
author search
venue search
publication search

ask others

TTCS 2017: Tehran, Iran

> Home > Conferences and Workshops > TTCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/2017
Mohammad Reza Mousavi, Jirí Sgall:
Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Lecture Notes in Computer Science 10608, Springer 2017, ISBN 978-3-319-68952-4

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/Olveczky17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/Olveczky17
Peter Csaba Ölveczky:
Design and Validation of Cloud Storage Systems Using Formal Methods. 3-8

Algorithms and Complexity

- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/Dolati17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/Dolati17
Ardeshir Dolati:
A Characterization of Horoidal Digraphs. 11-25
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/HanifehnezhadD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/HanifehnezhadD17
Saeid Hanifehnezhad, Ardeshir Dolati:
Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System. 26-33
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/KarimiAD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/KarimiAD17
Mobarakeh Karimi, Massoud Aman, Ardeshir Dolati:
Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance. 34-40

Logic, Semantics, and Programming Theory

- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/SafariE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/SafariE17
Mohsen Safari, Ali Ebnenasir:
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. 43-58
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/DokterA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/DokterA17
Kasper Dokter, Farhad Arbab:
Exposing Latent Mutual Exclusion by Work Automata. 59-73
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/LiquoriS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/LiquoriS17
Luigi Liquori, Claude Stolze:
A Decidable Subtyping Logic for Intersection and Union Types. 74-90
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/Uustalu17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/Uustalu17
Tarmo Uustalu:
Container Combinatorics: Monads and Lax Monoidal Functors. 91-105
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/YasenU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/YasenU17
Alimujiang Yasen, Kazunori Ueda:
Unification of Hypergraph \lambda -Terms. 106-124

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.