| 2012 | Decomposition and Isomorphism of Logical Systems. | Jan Baca |
| 2012 | Formal Foundations for RDF Evolution and Repair. | Grigoris Antoniou |
| 2012 | Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems. | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
| 2012 | Towards the Notion of an Abstract Quantum Automaton. | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
| 2011 | Simulation of the Expanded Iterated Version of the Prisoner's Dilemma Game. | Tatyana Vlasova, Marina Vladymyrova, Dmitro Shabanov |
| 2011 | A Lightweight Approach to Contact Data Synchronization in Mobile Social Networks. | Nikolay Tkachuk, Alexey Vekshin, Konstantyn Nagornyi, Rustam Gamzayev |
| 2011 | Is Your Ontology a Burden or a Gem? - Towards Xtreme Ontology Engineering. | Olga Tatarintseva, Vadim Ermolayev, Anna Fensel |
| 2011 | Practice in Software Engineering Course: "What and How to Study". | Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych |
| 2011 | Influence of the Labor Market upon the Forming of Competence of Future IT Specialists. | Dmitriy E. Shchedrolosev |
| 2011 | Intelligent Technologies and Methodologies for Medical Knowledge Engineering. | Abdel-Badeeh M. Salem |
| 2011 | Gnoseology-based Approach to Foundations of Informatics. | Mykola Nikitchenko |
| 2011 | Integrated University Information Systems and Information System Strategy. | Heinrich C. Mayr |
| 2011 | On Optimization Criteria for Task Assignment in Cluster and Wide-Area Computing. | Dmitriy Litvinov |
| 2011 | Insertion Modeling System and Constraint Programming. | Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov |
| 2011 | Insertion Modeling and its Applications. | Alexander A. Letichevsky |
| 2011 | Design and Implementation of a Quality Management System for Electronic Training Information Resources. | Hennadiy Kravtsov |
| 2011 | Virtual Laboratory for Distance Learning: Conceptual Design and Technology Choices. | Evgen Kozlovsky, Hennadiy Kravtsov |
| 2011 | Dynamic Negotiations in Multi-Agent Systems. | Costin Badica, Mihnea Scafes, Sorin Ilie, Amelia Badica, Alex Muscar |
| 2011 | Pre-automata as Mathematical Models of Event Flow Recognizers. | Boris Novikov, Ivan Perepelytsya, Grygoriy Zholtkevych |