default search action
TTCS 2017: Tehran, Iran
- 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
- Peter Csaba Ölveczky:
Design and Validation of Cloud Storage Systems Using Formal Methods. 3-8
Algorithms and Complexity
- Ardeshir Dolati:
A Characterization of Horoidal Digraphs. 11-25 - Saeid Hanifehnezhad, Ardeshir Dolati:
Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System. 26-33 - 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
- Mohsen Safari, Ali Ebnenasir:
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. 43-58 - Kasper Dokter, Farhad Arbab:
Exposing Latent Mutual Exclusion by Work Automata. 59-73 - Luigi Liquori, Claude Stolze:
A Decidable Subtyping Logic for Intersection and Union Types. 74-90 - Tarmo Uustalu:
Container Combinatorics: Monads and Lax Monoidal Functors. 91-105 - 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.