Abstract is missing.
- Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov ModelsMohammadSadegh Mohagheghi, Behrang Chaboki. 1-16 [doi]
- Combining Machine and Automata Learning for Network Traffic ClassificationZeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi. 17-31 [doi]
- On the Complexity of the Upper r-Tolerant Edge Cover ProblemArarat Harutyunyan, Mehdi Khosravian Ghadikolaei, Nikolaos Melissinos, Jérôme Monnot, Aris Pagourtzis. 32-47 [doi]
- Margin-Based Semi-supervised Learning Using Apollonius CircleMona Emadi, Jafar Tanha. 48-60 [doi]
- Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility GraphHossein Boomari, Soheila Farokhi. 61-71 [doi]
- Improved Algorithms for Distributed Balanced ClusteringKian Mirjalali, Hamid Zarrabi-Zadeh. 72-84 [doi]
- Finite Interval-Time Transition System for Real-Time ActorsShaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah. 85-100 [doi]
- Path Planning with Objectives Minimum Length and Maximum ClearanceMansoor Davoodi, Arman Rouhani, Maryam Sanisales. 101-115 [doi]