| 2017 | The SAD System: a Current State and Future Work. | Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine |
| 2017 | Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes. | Michael Lvov, Hanna Shmarova |
| 2017 | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. | Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich |
| 2017 | Software Packages for Econometrics: Financial Time Series Modeling. | Olena Liashenko, Tetyana Kravets, Kateryna Krytsun |
| 2017 | Econometric Modeling of Financial Time Series Volatility Using Software Packages. | Olena Liashenko, Tetyana Kravets, Kateryna Krytsun |
| 2017 | Digital Storytelling in a Foreign Language Classroom of Higher Educational Establishments. | Maria Leshchenko, Larysa Ruban, Larysa Tymchuk |
| 2017 | Minimal Cut and Minimal Path Vectors in Reliability Analysis of Binary- and Multi-State Systems. | Miroslav Kvassay, Elena Zaitseva, Vitaly G. Levashenko |
| 2017 | The Organization of Students' Joint Activity by Means of Popular Network Services. | Halyna Kuchakovska |
| 2017 | Implementation of Stakeholders' Requirements and Innovations for ICT Curriculum Through Relevant Competences. | Hennadiy Kravtsov, Vitaliy Kobets |
| 2017 | Learning System FRIMAN. | Jozef Kostolny, Monika Vaclavkova |
| 2017 | Cross-Evaluation of Automated Term Extraction Tools by Measuring Terminological Saturation. | Victoria Kosa, David Chaves-Fraga, Dmitriy Naumenko, Eugene Yuschenko, Carlos Badenes-Olmedo, Vadim Ermolayev, Aliaksandr Birukou |
| 2017 | An Approach To Formalization of an Extension of Floyd-Hoare Logic. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | Computerized System for Remote Level Control with Discrete Self-Testing. | Yuriy P. Kondratenko, Oleksiy V. Kozlov, Andriy M. Topalov, Oleksandr S. Gerasin |
| 2017 | Complex Industrial Systems Automation Based on the Internet of Things Implementation. | Yuriy P. Kondratenko, Oleksiy V. Kozlov, Oleksiy V. Korobko, Andriy M. Topalov |
| 2017 | Internet of Things Approach for Automation of the Complex Industrial Systems. | Yuriy P. Kondratenko, Oleksiy V. Kozlov, Oleksiy V. Korobko, Andriy M. Topalov |
| 2017 | A Markov Model of IoT System Availability Considering DDoS Attacks and Energy Modes of Server and Router. | Maryna Kolisnyk, Vyacheslav S. Kharchenko, Iryna Piskachova, Nikolaos G. Bardis |
| 2017 | Statistical Software in the Higher School Educational Process. | Taras Kobylnyk |
| 2017 | Simulation Agent-Based Model of Heterogeneous Firms Through Software Module. | Vitaliy Kobets, Alexander J. Weissblut |
| 2017 | Mathematical Model of Microeconomic System with Different Social Responsibilities in Software Module. | Vitaliy Kobets, Alexander J. Weissblut |
| 2017 | Technology Oriented Assessment of Software Reliability: Big Data Based Search of Similar Programs. | Vyacheslav S. Kharchenko, Svitlana Yaremchuk |
| 2017 | Information and Communication Platform as a Complex Approach for Solving Information Asymmetry Problems. | Alla Ivashchenko, Yuliia Sybirianska, Yevheniia Polischuk |
| 2017 | A Formal Proof of Correctness of a Distributed Presentation Software System. | Ievgen Ivanov, Taras Panchenko |
| 2017 | Semi-Markov Availability Model for Infrastructure as a Service Cloud Considering Hidden Failures of Physical Machines. | Oleg Ivanchenko, Vyacheslav S. Kharchenko, Yurij Ponochovny, Ivan Blindyuk, Oksana Smoktii |
| 2017 | Game Theoretic Analysis of Multi-Processor Schedulers: Matrix Multiplication Example. | Oleksii Ignatenko |
| 2017 | Effectiveness and Transparency of Sentiment Analysis Tools for Academic Purposes. | Iuliia Iarmolenko |