Model-100: Specification language for interacting processes. - A. V. Babichev; Valentin G. Lebedev (Program. Comput. Softw., 2007)

Assessment of implementability and safety of aircraft flight paths by an on-board mathematical model. - B. S. Aleshin; Sergey G. Bazhenov; Valentin G. Lebedev; Elena L. Kulida (Autom. Remote. Control., 2014)

Control of aircraft trajectory and speed to avoid terrain and traffic conflicts during approach maneuvering. - Sergey G. Bazhenov; Nikolay A. Egorov; Elena L. Kulida; Valentin G. Lebedev (Autom. Remote. Control., 2016)

Genetic Algorithm for Generating Trajectories of Specified Length for the Onboard Flight Path Safety System. - Elena L. Kulida; Valentin G. Lebedev (KES, 2017)

Methods for Solving of the Aircraft Landing Problem. I. Exact Solution Methods. - G. S. Veresnikov; Nikolay A. Egorov; Elena L. Kulida; Valentin G. Lebedev (Autom. Remote. Control., 2019)

Methods for Solving of the Aircraft Landing Problem. II. Approximate Solution Methods. - G. S. Veresnikov; Nikolay A. Egorov; Elena L. Kulida; Valentin G. Lebedev (Autom. Remote. Control., 2019)