TTCS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2020

Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, ProceedingsLuís Soares Barbosa, Mohammad Ali Abam, editors, Volume 12281 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility GraphHossein Boomari, Soheila Farokhi. ttcs 2020: 61-71 [doi]

Path Planning with Objectives Minimum Length and Maximum ClearanceMansoor Davoodi, Arman Rouhani, Maryam Sanisales. ttcs 2020: 101-115 [doi]

Margin-Based Semi-supervised Learning Using Apollonius CircleMona Emadi, Jafar Tanha. ttcs 2020: 48-60 [doi]

On the Complexity of the Upper r-Tolerant Edge Cover ProblemArarat Harutyunyan, Mehdi Khosravian Ghadikolaei, Nikolaos Melissinos, Jérôme Monnot, Aris Pagourtzis. ttcs 2020: 32-47 [doi]

Improved Algorithms for Distributed Balanced ClusteringKian Mirjalali, Hamid Zarrabi-Zadeh. ttcs 2020: 72-84 [doi]

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov ModelsMohammadSadegh Mohagheghi, Behrang Chaboki. ttcs 2020: 1-16 [doi]

Combining Machine and Automata Learning for Network Traffic ClassificationZeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi. ttcs 2020: 17-31 [doi]

Finite Interval-Time Transition System for Real-Time ActorsShaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah. ttcs 2020: 85-100 [doi]

2017

Exposing Latent Mutual Exclusion by Work AutomataKasper Dokter, Farhad Arbab. ttcs 2017: 59-73 [doi]

A Characterization of Horoidal DigraphsArdeshir Dolati. ttcs 2017: 11-25 [doi]

Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular SystemSaeid Hanifehnezhad, Ardeshir Dolati. ttcs 2017: 26-33 [doi]

Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming DistanceMobarakeh Karimi, Massoud Aman, Ardeshir Dolati. ttcs 2017: 34-40 [doi]

A Decidable Subtyping Logic for Intersection and Union TypesLuigi Liquori, Claude Stolze. ttcs 2017: 74-90 [doi]

Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, ProceedingsMohammad Reza Mousavi, Jirí Sgall, editors, Volume 10608 of Lecture Notes in Computer Science, Springer, 2017. [doi]

Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest PathsMohsen Safari, Ali Ebnenasir. ttcs 2017: 43-58 [doi]

Container Combinatorics: Monads and Lax Monoidal FunctorsTarmo Uustalu. ttcs 2017: 91-105 [doi]

Unification of Hypergraph \lambda -TermsAlimujiang Yasen, Kazunori Ueda. ttcs 2017: 106-124 [doi]

Design and Validation of Cloud Storage Systems Using Formal MethodsPeter Csaba Ölveczky. ttcs 2017: 3-8 [doi]

2016

Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected PapersMohammad Taghi Hajiaghayi, Mohammad Reza Mousavi, editors, Volume 9541 of Lecture Notes in Computer Science, Springer, 2016. [doi]

2015

Some Properties of Continuous Yao GraphDavood Bakhshesh, Mohammad Farshi. ttcs 2016: 44-55 [doi]

Distributional Sentence Entailment Using Density MatricesEsma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke. ttcs 2016: 1-22 [doi]

Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings in a Simple PolygonAhmad Biniaz, Prosenjit Bose, Anil Maheshwari, Michiel H. M. Smid. ttcs 2016: 56-71 [doi]

Visibility Graphs of Anchor PolygonsHossein Boomari, Alireza Zarei. ttcs 2016: 72-89 [doi]

Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculusSilvano Dal-Zilio, Bernard Berthomieu. ttcs 2016: 90-104 [doi]

On Symmetric and Choiceless ComputationAnuj Dawar. ttcs 2016: 23-29 [doi]

Minimizing Walking Length in Map MatchingAmin Gheibi, Anil Maheshwari, Jörg-Rüdiger Sack. ttcs 2016: 105-120 [doi]

Rainbow Domination and Related Problems on Some Classes of Perfect GraphsWing-Kai Hon, Ton Kloks, Hsiang Hsuan Liu, Hung-Lung Wang. ttcs 2016: 121-134 [doi]

Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-WidthTomer Kotek, Johann A. Makowsky. ttcs 2016: 135-146 [doi]

Robots' Cooperation for Finding a Target in StreetsMohammad Abouei Mehrizi, Mohammad Ghodsi, Azadeh Tabatabaei. ttcs 2016: 30-43 [doi]

Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization ProblemVahid Roostapour, Iman Kiarazm, Mansoor Davoodi. ttcs 2016: 164-178 [doi]

Infinite Subgame Perfect Equilibrium in the Hausdorff Difference HierarchyStéphane Le Roux. ttcs 2016: 147-163 [doi]

Sign in or sign up to see more results.

runs on WebDSL