A. V. Lyamin

Method of Formal Program Verification for Post Machine Virtual Laboratory

A. V. Lyamin, 2018 .

Comparisons of seismic rock slope stability assessments between the Hoek-Brown and Mohr-Coulomb failure criteria

A. V. Lyamin, Z. G. Qian, A. J. Li, 2013 .

Experimental Studies of Biometric User Identification Based on the Data of Eye Tracker Tobii X2-30

A. V. Lyamin, 2015 .

The problem of the adaptive compensation of a periodical input disturbance

A. V. Lyamin, A. A. Bobtsov, 1997, 1997 1st International Conference, Control of Oscillations and Chaos Proceedings (Cat. No.97TH8329).

The parametric convergence performance improvement in the direct adaptive multi-sinusoidal disturbance compensation problem

Alexey A. Bobtsov, Stanislav Aranovskiy, A. V. Lyamin, 2021, Scientific and Technical Journal of Information Technologies, Mechanics and Optics.

A problem of on-line continuous-time estimation of parameters of polyharmonic function

A. A. Bobtsov, A. V. Lyamin, 2000, 2000 2nd International Conference. Control of Oscillations and Chaos. Proceedings (Cat. No.00TH8521).

Stabilization of Nonlinear Systems with Input Uncertainties

A. A. Bobtsov, A. V. Lyamin, 2000 .

Bounds to Shakedown Loads for a Class of Deviatoric Plasticity Models

A. V. Lyamin, A. Lyamin, S. Sloan, 2007 .