Filter your results
- 9
- 1
- 9
- 1
- 10
- 10
- 10
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Unification of Hypergraph $\lambda $-Terms2nd 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
|
||
|
Topics in Theoretical Computer ScienceSpringer International Publishing, LNCS-10608, 2017, Lecture Notes in Computer Science, 978-3-319-68952-4. ⟨10.1007/978-3-319-68953-1⟩
Books
hal-01760635v1
|
||
|
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths2nd 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
|
||
|
Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance2nd 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
|
||
|
Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System2nd 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
|
||
|
Exposing Latent Mutual Exclusion by Work Automata2nd 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
|
||
|
Design and Validation of Cloud Storage Systems Using Formal Methods2nd 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
|
||
|
Container Combinatorics: Monads and Lax Monoidal Functors2nd 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
|
||
|
A Decidable Subtyping Logic for Intersection and Union TypesTTCS 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
|
||
|
A Characterization of Horoidal Digraphs2nd 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
|