Login / Signup
TTCS
2015
2020
2015
2020
Keyphrases
Publications
2020
Hossein Boomari
,
Soheila Farokhi
Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph.
TTCS
(2020)
Ararat Harutyunyan
,
Mehdi Khosravian Ghadikolaei
,
Nikolaos Melissinos
,
Jérôme Monnot
,
Aris Pagourtzis
On the Complexity of the Upper r-Tolerant Edge Cover Problem.
TTCS
(2020)
Shaghayegh Tavassoli
,
Ramtin Khosravi
,
Ehsan Khamespanah
Finite Interval-Time Transition System for Real-Time Actors.
TTCS
(2020)
Zeynab Sabahi-Kaviani
,
Fatemeh Ghassemi
,
Zahra Alimadadi
Combining Machine and Automata Learning for Network Traffic Classification.
TTCS
(2020)
Mona Emadi
,
Jafar Tanha
Margin-Based Semi-supervised Learning Using Apollonius Circle.
TTCS
(2020)
MohammadSadegh Mohagheghi
,
Behrang Chaboki
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models.
TTCS
(2020)
Mansoor Davoodi
,
Arman Rouhani
,
Maryam Sanisales
Path Planning with Objectives Minimum Length and Maximum Clearance.
TTCS
(2020)
Kian Mirjalali
,
Hamid Zarrabi-Zadeh
Improved Algorithms for Distributed Balanced Clustering.
TTCS
(2020)
volume 12281, 2020
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
TTCS
12281 (2020)
2017
Kasper Dokter
,
Farhad Arbab
Exposing Latent Mutual Exclusion by Work Automata.
TTCS
(2017)
Alimujiang Yasen
,
Kazunori Ueda
Unification of Hypergraph \lambda -Terms.
TTCS
(2017)
Mobarakeh Karimi
,
Massoud Aman
,
Ardeshir Dolati
Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance.
TTCS
(2017)
Saeid Hanifehnezhad
,
Ardeshir Dolati
Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System.
TTCS
(2017)
Mohsen Safari
,
Ali Ebnenasir
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths.
TTCS
(2017)
Tarmo Uustalu
Container Combinatorics: Monads and Lax Monoidal Functors.
TTCS
(2017)
Peter Csaba Ölveczky
Design and Validation of Cloud Storage Systems Using Formal Methods.
TTCS
(2017)
Luigi Liquori
,
Claude Stolze
A Decidable Subtyping Logic for Intersection and Union Types.
TTCS
(2017)
Ardeshir Dolati
A Characterization of Horoidal Digraphs.
TTCS
(2017)
volume 10608, 2017
Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
TTCS
10608 (2017)
volume 9541, 2016
Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
TTCS
9541 (2016)
2015
Amin Gheibi
,
Anil Maheshwari
,
Jörg-Rüdiger Sack
Minimizing Walking Length in Map Matching.
TTCS
(2015)
Vahid Roostapour
,
Iman Kiarazm
,
Mansoor Davoodi
Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization Problem.
TTCS
(2015)
Wing-Kai Hon
,
Ton Kloks
,
Hsiang-Hsuan Liu
,
Hung-Lung Wang
Rainbow Domination and Related Problems on Some Classes of Perfect Graphs.
TTCS
(2015)
Ahmad Biniaz
,
Prosenjit Bose
,
Anil Maheshwari
,
Michiel H. M. Smid
Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings in a Simple Polygon.
TTCS
(2015)
Silvano Dal-Zilio
,
Bernard Berthomieu
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus.
TTCS
(2015)
Esma Balkir
,
Mehrnoosh Sadrzadeh
,
Bob Coecke
Distributional Sentence Entailment Using Density Matrices.
TTCS
(2015)
Hossein Boomari
,
Alireza Zarei
Visibility Graphs of Anchor Polygons.
TTCS
(2015)
Mohammad Abouei Mehrizi
,
Mohammad Ghodsi
,
Azadeh Tabatabaei
Robots' Cooperation for Finding a Target in Streets.
TTCS
(2015)
Davood Bakhshesh
,
Mohammad Farshi
Some Properties of Continuous Yao Graph.
TTCS
(2015)
Stéphane Le Roux
Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy.
TTCS
(2015)
Tomer Kotek
,
Johann A. Makowsky
Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width.
TTCS
(2015)
Anuj Dawar
On Symmetric and Choiceless Computation.
TTCS
(2015)