|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hossein Boomari, Soheila Farokhi |
Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph.  |
TTCS  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah |
Finite Interval-Time Transition System for Real-Time Actors. |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi |
Combining Machine and Automata Learning for Network Traffic Classification. |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, Mohammad Ali Abam (eds.) |
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mona Emadi, Jafar Tanha |
Margin-Based Semi-supervised Learning Using Apollonius Circle. |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | MohammadSadegh Mohagheghi, Behrang Chaboki |
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models. |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mansoor Davoodi, Arman Rouhani, Maryam Sanisales |
Path Planning with Objectives Minimum Length and Maximum Clearance. |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kian Mirjalali, Hamid Zarrabi-Zadeh |
Improved Algorithms for Distributed Balanced Clustering. |
TTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Dokter, Farhad Arbab |
Exposing Latent Mutual Exclusion by Work Automata. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alimujiang Yasen, Kazunori Ueda |
Unification of Hypergraph \lambda -Terms. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mobarakeh Karimi, Massoud Aman, Ardeshir Dolati |
Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi 0001, Jirí Sgall (eds.) |
Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeid Hanifehnezhad, Ardeshir Dolati |
Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Safari, Ali Ebnenasir |
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu |
Container Combinatorics: Monads and Lax Monoidal Functors. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Design and Validation of Cloud Storage Systems Using Formal Methods. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Liquori, Claude Stolze |
A Decidable Subtyping Logic for Intersection and Union Types. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ardeshir Dolati |
A Characterization of Horoidal Digraphs. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi 0001 (eds.) |
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 |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Gheibi, Anil Maheshwari, Jörg-Rüdiger Sack |
Minimizing Walking Length in Map Matching. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Roostapour, Iman Kiarazm, Mansoor Davoodi |
Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization Problem. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Hung-Lung Wang |
Rainbow Domination and Related Problems on Some Classes of Perfect Graphs. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvano Dal-Zilio, Bernard Berthomieu |
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke |
Distributional Sentence Entailment Using Density Matrices. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Boomari, Alireza Zarei |
Visibility Graphs of Anchor Polygons. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Abouei Mehrizi, Mohammad Ghodsi, Azadeh Tabatabaei |
Robots' Cooperation for Finding a Target in Streets. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Davood Bakhshesh, Mohammad Farshi |
Some Properties of Continuous Yao Graph. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Le Roux 0001 |
Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Kotek, Johann A. Makowsky |
Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar |
On Symmetric and Choiceless Computation. |
TTCS |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license