| 2013 | A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine. | Denis B. Arkatov |
| 2013 | Wireframe Model for Simulating Quantum Information Processing Systems. | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
| 2013 | Extracting Knowledge Tokens from Text Streams. | Eugene Alferov, Vadim Ermolayev |
| 2012 | The Usage of Educational Portal for Distance Learning. | Tatyana Zaytseva |
| 2012 | Checking Inconsistencies in UML Design. | Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko |
| 2012 | Cross-Diagram UML Design Verification. | Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko |
| 2012 | Maintainability Metrics of UML Design. | Iryna Zaretska, Maryna Besedina |
| 2012 | The Information System as a Tool to Manage R&D at the National Academy of Pedagogical Sciences of Ukraine. | Natalya Zadorozhna, Basyl Petrushko, Sergey Tukalo |
| 2012 | OntoElect Approach for Iterative Ontology Refinement: a Case Study with ICTERI Scope Ontology. | Olga Tatarintseva, Yuriy Borue, Vadim Ermolayev |
| 2012 | Abstraction and Verification of Properties of a Real-Time Java. | Martin Strecker |
| 2012 | University as a Corporation Which Serves Educational Interests. | Alexander Spivakovsky, Lyudmila Alferova, Eugene Alferov |
| 2012 | Conceptualization of University Structure as a Complex Mechanism Serving Educational Interests. | Aleksander Spivakovsky, Lyudmila Alferova, Eugene Alferov |
| 2012 | Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |
| 2012 | Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |
| 2012 | Semantics-based Logics over Hierarchical Nominative Data. | Mykola S. Nikitchenko, Stepan S. Shkilniak |
| 2012 | A Multi-channel Communication Framework. | Michal Nagy |
| 2012 | On the Problem of Multi-Channel Communication. | Michal Nagy |
| 2012 | Scientific and Educational Project "IT-OSVITA" as a Part of the Training System of Specialists for the Needs of IT Industry of Ukraine. | Ganna Lomakovska, Nadiya Omelchenko, Galyna Protsenko |
| 2012 | About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
| 2012 | Efficient Algorithm for Reachability Checking in Modeling. | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
| 2012 | Approach to E-Learning Fundamental Aspects of Software Engineering. | Ekaterina Lavrischeva, Alexei Ostrovski, Igor Radetskiy |
| 2012 | General Disciplines and Tools for E-Learning Software Engineering. | Ekaterina Lavrischeva, Alexei Ostrovski |
| 2012 | KSU Feedback Service as a Tool for Getting Feedback in Educational Institutions. Perspectives of Use in Government Organizations and Commercial Companies. | Dmitry Kutetsky, Valentina Gritsyuk |
| 2012 | Formation of Digital Competence of Future Teachers of Elementary School. | Nataliya O. Kushnir, Anna Manzhula |
| 2012 | An Experience of the Creation and Approbation of the Learning Course "NIT and TFE" for Future Teachers. | Nataliya O. Kushnir, Anna Manzhula |