![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd TTCS 2020: Tehran, Iran
- Luís Soares Barbosa
, Mohammad Ali Abam
:
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings. Lecture Notes in Computer Science 12281, Springer 2020, ISBN 978-3-030-57851-0 - MohammadSadegh Mohagheghi
, Behrang Chaboki:
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models. 1-16 - Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi:
Combining Machine and Automata Learning for Network Traffic Classification. 17-31 - Ararat Harutyunyan, Mehdi Khosravian Ghadikolaei, Nikolaos Melissinos
, Jérôme Monnot, Aris Pagourtzis:
On the Complexity of the Upper r-Tolerant Edge Cover Problem. 32-47 - Mona Emadi, Jafar Tanha
:
Margin-Based Semi-supervised Learning Using Apollonius Circle. 48-60 - Hossein Boomari, Soheila Farokhi:
Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph. 61-71 - Kian Mirjalali, Hamid Zarrabi-Zadeh:
Improved Algorithms for Distributed Balanced Clustering. 72-84 - Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah:
Finite Interval-Time Transition System for Real-Time Actors. 85-100 - Mansoor Davoodi
, Arman Rouhani
, Maryam Sanisales
:
Path Planning with Objectives Minimum Length and Maximum Clearance. 101-115
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.