| 2012 | Choosing the First Educational Programming Language. | Vladyslav Kruglyk, Michael Lvov |
| 2012 | Automatic Tests and Practical Tasks Generation in Distance Learning Systems. | Dmytro Kravtsov |
| 2012 | Tested Approach for Variability Management Enhancing in Software Product Line. | Andrii Kolesnyk, Olga Slabospitskaya |
| 2012 | Direct and Indirect Impact Analysis of Ukrainian Industries on Gross Output and Labor Market in Leontief Model. | Vitaliy Kobets |
| 2012 | Combinatorial Strand Algebra in Insertion Modeling System. | Dmitriy M. Klionov |
| 2012 | Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation. | Vitaly Klimenko, Alexander V. Lyaletski |
| 2012 | Econometric Analysis of Factors which Determine a Choice of Entrants. | A. Khristenko, Alexander J. Weissblut |
| 2012 | Training of Future Primary School Teachers for Application of ICT at Language Lessons. | Inna Khizhnyak |
| 2012 | Teaching Conceptual Modeling in ER: Chen Worlds. | Natalya Keberle, Ivan V. Utkin |
| 2012 | A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. | Ievgen Ivanov |
| 2012 | On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. | Ievgen Ivanov |
| 2012 | Verification of Systems: Deadlock Analysis Based on Petri Nets. | Stefan Hudk |
| 2012 | Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers. | Lyudmila Gavrilova |
| 2012 | Creation of Multimedia Guides to the History of Music as a Means to form Professional Competence of Future Music Teachers. | Lyudmila Gavrilova |
| 2012 | Coursework Peer Reviews Increase Students' Motivation and Quality of Learning. | Vadim Ermolayev, Natalya Keberle, Sergey Borue |
| 2012 | Motivating Students and Improving Quality of Learning Using Peer-Reviews. | Vadim Ermolayev, Natalya Keberle, Sergey Borue |
| 2012 | Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models. | Anatoliy Doroshenko, Kostiantyn Zhereb |
| 2012 | An Approach to Parallelizing Fortran Programs using Rewriting Rules Technique. | Anatoly E. Doroshenko, Kostiantyn Zhereb |
| 2012 | Combining Verification and MDE Illustrated by a Formal Java Development. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | A Case Study in Combining Formal Verification and Model-Driven Engineering. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | An Implementation of Agent-Based Ontology Alignment. | Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok |
| 2012 | An Advanced Active Data Dictionary Based Framework for Flexible Corporate Systems. | Maxim Davidovsky, Gennadiy Dobrovolsky, Olga Todoriko, Vladimir Davidovsky |
| 2012 | Quality of an Ontology as a Dynamic Optimisation Problem. | Michael Cochez, Vagan Y. Terziyan |
| 2012 | Issues of Model-Based Distributed Data Processing: Higher Education Resources Evaluation Case Study. | Olga Cherednichenko, Olga Yangolenko, Iryna Liutenko |
| 2012 | Abstraction and Verification of Properties of a Real-Time Java. | Nadezhda Baklanova, Martin Strecker |