Volume 1. Cover Page and Contents Proceeding
| Volume 1. Cover Page and Contents Proceeding | |
| Nafisa Islamovna Yusupova, G. T. Popov, Heinz Woern, George Kovacs, Jivka Ovtcharova |
Volume 1. Session 2 Information Technology
| Stream Handling Large Volume Documents in Situationally-Oriented Databases | |
| Artem Sergeevich Gusarenko, V. V. Mironov, N. I. Yusupova |
| Model Reduction Algorithm for Fast Neutrality Tests and Fault Localization of Simulink Models | |
| Nafisa Islamovna Yusupova, X. Hu, A. Morozov, K. Ding, K. Janschek |
| Improved Stochastic Control Flow Model for LLVM-based Software Reliability Analysis | |
| Nafisa Islamovna Yusupova, V. Vidineev, K. Ding, A. Morozov, K. Janschek |
| Methods and Tools for Processing Semi-Structured Data on the Example of Accounting for Education in the Selection of Personnel in the IT Industry | |
| Olga Nikolaevna Smetanina, N. I. Yusupova, М. М. Gayanova |
Volume 1. Session 3 Artificial Intelligence Tools
| Analysis of Data to Determine Customer Loyalty in the Educational Sphere Using Kohonen Maps | |
| Olga Nikolaevna Smetanina, N. I. Yusupova, I. R. Gallyamova, L. Y. Uzbekova |
| The Efficiency Comparison of the PRISM and Storm Probabilistic Model Checkers for Error Propagation Analysis Tasks | |
| Nafisa Islamovna Yusupova, T. Fabarisov, K. Ding, A. Morozov, K. Janschek |
This work is licensed under a Creative Commons Attribution 3.0 License.
Computer Science and Information Technologies











