Search - Topics in Theoretical Computer Science Access content directly

Filter your results

9 results
Deposit type : Fulltext
Page :
sorted by
Image document

Container Combinatorics: Monads and Lax Monoidal Functors

 Tarmo Uustalu
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.91-105, ⟨10.1007/978-3-319-68953-1_8⟩
Conference papers hal-01760638v1
Image document

Design and Validation of Cloud Storage Systems Using Formal Methods

 Peter Csaba Ölveczky
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.3-8, ⟨10.1007/978-3-319-68953-1_1⟩
Conference papers hal-01760637v1
Image document

Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System

 Saeid Hanifehnezhad , Ardeshir Dolati
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.26-33, ⟨10.1007/978-3-319-68953-1_3⟩
Conference papers hal-01760643v1
Image document

Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths

 Mohsen Safari , Ali Ebnenasir
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.41-56, ⟨10.1007/978-3-319-68953-1_5⟩
Conference papers hal-01760642v1
Image document

Unification of Hypergraph $\lambda $-Terms

 Alimujiang Yasen , Kazunori Ueda
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.106-124, ⟨10.1007/978-3-319-68953-1_9⟩
Conference papers hal-01760636v1
Image document

A Decidable Subtyping Logic for Intersection and Union Types

 Luigi Liquori , Claude Stolze
TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers hal-01760641v1
Image document

Exposing Latent Mutual Exclusion by Work Automata

 Kasper Dokter , Farhad Arbab
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.59-73, ⟨10.1007/978-3-319-68953-1_6⟩
Conference papers hal-01760644v1
Image document

A Characterization of Horoidal Digraphs

 Ardeshir Dolati
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.11-25, ⟨10.1007/978-3-319-68953-1_2⟩
Conference papers hal-01760640v1
Image document

Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance

 Mobarakeh Karimi , Massoud Aman , Ardeshir Dolati
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.34-40, ⟨10.1007/978-3-319-68953-1_4⟩
Conference papers hal-01760645v1
Page :