| 2013 | Program Algebras with Monotone Floyd-Hoare Composition. | Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner |
| 2013 | Mechanism Design for Foreign Producers of Unique Homogeneity Product. | Vitaliy Kobets |
| 2013 | Multilevel Environments in Insertion Modeling System. | Dmitriy M. Klionov |
| 2013 | Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study. | Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov |
| 2013 | Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains. | Vyacheslav S. Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov |
| 2013 | Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBox. | Natalya Keberle |
| 2013 | On Existence of Total Input-Output Pairs of Abstract Time Systems. | Ievgen Ivanov |
| 2013 | An Abstract Block Formalism for Engineering Systems. | Ievgen Ivanov |
| 2013 | Ontology Alignment and Applications in 90 Minutes. | Vadim Ermolayev, Maxim Davidovsky |
| 2013 | Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools. | Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko |
| 2013 | Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs. | Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko |
| 2013 | Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings. | Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok |
| 2013 | Application of an Instance Migration Solution to Industrial Ontologies. | Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok |
| 2013 | How Do Computer Science Students Use Distributed Version Control Systems? | Michael Cochez, Ville Isomttnen, Ville Tirronen, Jonne Itkonen |
| 2013 | The Use of Distributed Version Control Systems in Advanced Programming Courses. | Michael Cochez, Ville Isomttnen, Ville Tirronen, Jonne Itkonen |
| 2013 | Logical Foundations for Reasoning about Transformations of Knowledge Bases. | Mohamed Chaabani, Rachid Echahed, Martin Strecker |
| 2013 | Models of Class Specification Intersection of Object-Oriented Programming. | Dmitriy Buy, Serhiy Kompan |
| 2013 | Are Securities Secure: Study of the Influence of the International Debt Securities on the Economic Growth. | Darya Bonda, Sergey Mazol |
| 2013 | The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher Competences. | Dmitry Bodnenko |
| 2013 | Implementation of Propagation-Based Constraint Solver in IMS. | Igor Ol. Blinov |
| 2013 | Pedagogical Diagnostics with Use of Computer Technologies. | Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina |
| 2013 | Matrix Analogues of the Diffie-Hellman Protocol. | Alexsander Beletsky, Anatoly Beletsky, Roman Kandyba |
| 2013 | Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems. | Evgeny Beletsky, Anatoly Beletsky |
| 2013 | A Formal Model of Resource Sharing Conicts in Multithreaded Java. | Nadezhda Baklanova, Martin Strecker |
| 2013 | Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron Accelerators. | Oleksandr Baiev, Valentine Lazurik, Ievgen Didenko |