Choosing the First Educational Programming Language. - Vladyslav Kruglyk; Michael Lvov (ICTERI, 2012)

The Static Analysis of Linear Loops. - Michael Lvov; Yulia Tarasich (ICTERI, 2015)

Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge. - Michael Lvov; Ludmila Shishko; Irina Chernenko; Evgen Kozlovskiy (ICTERI, 2016)

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. - Michael Lvov; Vladimir S. Peschanenko; Oleksandr A. Letychevskyi; Yulia Tarasich (ICTERI, 2017)

Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes. - Michael Lvov; Hanna Shmarova (ICTERI, 2017)

The Concepts of Software Development for OOP and BAP Self-Learning Courses. - Alena Zhmurko; Vladyslav Kruglyk; Michail Lvov (ICTERI, 2017)

Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes. - Michael Lvov; Irina Chernenko; Ludmila Shishko; Evgen Kozlovsky (ICTERI Workshops, 2018)

Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment. - Michael Lvov; Denys Melnyk (PhD@ICTERI, 2018)

Simulation technologies of virtual reality usage in the training of future ship navigators. - Michael S. Lvov; Halyna V. Popova (AREdu, 2019)

Computations in Extensions of Multisorted Algebras. - Michael Lvov (ICTERI Workshops, 2019)

About One Approach to Building Systems for Testing Physical Knowledge. - Michail Lvov; Sergiy Kuzmenkov; Hennadiy Kravtsov (ICTERI Workshops, 2019)

System for Testing Physics Knowledge. - Michail Lvov; Sergiy Kuzmenkov; Hennadiy Kravtsov (ICTERI (Revised Selected Papers), 2019)

Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes. - Michael Lvov; Ludmila Shishko; Irina Chernenko; Evgen Kozlovsky (ICTERI Workshops, 2019)

Three-subject didactic model for teaching algorithmization and programming online. - Michael Lvov; Hennadiy Kravtsov; Ludmila Shishko; Olha Hniedkova (CTE, 2023)