| 2013 | Improving the Efficiency of Synchronized Product with Infinite Transition Systems. | Yuliia Romenska, Frdric Mallet |
| 2013 | Lazy Parallel Synchronous Composition of Infinite Transition Systems. | Yuliia Romenska, Frdric Mallet |
| 2013 | Modeling, Algorithms and Implementation of the Microcontroller Control System for the Ion Beam Forming Process for Nanostructures Etching. | Aleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz |
| 2013 | From Collegial to Collaborative - A Model for Building Trust and Partnership in Information Technology. | Gary L. Pratt |
| 2013 | A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength. | Gary L. Pratt |
| 2013 | UniTESK: Component Model Based Testing. | Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov |
| 2013 | Specializations in Symbolic Verification. | Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov |
| 2013 | Specializations and Symbolic Modeling. | Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov |
| 2013 | Public Information Environment of a Modern University. | Natalia V. Morze, Olena Kuzminska, Galyna Protsenko |
| 2013 | What Should be E-Learning Course for Smart Education. | Natalia V. Morze, Olena G. Glazunova |
| 2013 | How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment Policy. | Oksana Moiseeva, Sergey Mazol |
| 2013 | Protoautomata as Models of Systems with Data Accumulation. | Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych |
| 2013 | Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency Estimation. | Karine Mesropyan |
| 2013 | Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy. | Wolf-Ekkehard Matzke |
| 2013 | The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology and ICT. | Wolf-Ekkehard Matzke |
| 2013 | An Adaptive Forecasting of Nonlinear Nonstationary Time Series under Short Learning Samples. | Elena Mantula, Vladimir Mashtalir |
| 2013 | UML Profile for MARTE: Time Model and CCSL. | Frdric Mallet |
| 2013 | Theory of Interaction, Insertion Modeling, and Cognitive Architectures. | Alexander A. Letichevsky |
| 2013 | General Theory of Interaction and Cognitive Architectures. | Alexander A. Letichevsky |
| 2013 | Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' Context. | Elena Lazareva |
| 2013 | Conception of Programs Factory for Representing and E-Learning Disciplines of Software Engineering. | Ekaterina Lavrischeva, Artem Dzyubenko, Andrey Aronov |
| 2013 | Bridging the Generation Gap in ICT Education. | Nataliya O. Kushnir, Anna Manzhula, Nataliya Valko |
| 2013 | New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation. | Nataliya O. Kushnir, Anna Manzhula, Nataliya Valko |
| 2013 | Designing Massive Open Online Courses. | Vladimir Kukharenko |
| 2013 | Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. | Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner |