Skip to content
cs-conference-ranking.org

Michael Lvov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

1

Active years

2012–2019

Best venue rank

National

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2019ICTERIComputations in Extensions of Multisorted Algebras.Michael Lvov
2019ICTERIMathematical 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
2018ICTERIMathematical 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
2018ICTERISoftware Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment.Michael Lvov, Denys Melnyk
2017ICTERIThe 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
2017ICTERIGeneration of Test Tasks in Systems of Computer Mathematics for Educational Purposes.Michael Lvov, Hanna Shmarova
2016ICTERISystems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge.Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovskiy
2015ICTERIThe Static Analysis of Linear Loops.Michael Lvov, Yulia Tarasich
2012ICTERIChoosing the First Educational Programming Language.Vladyslav Kruglyk, Michael Lvov