I
Igor Konnov
4 works on record
Works

Equilibrium Models and Variational Inequalities, Volume 210 (Mathematics in Science and Engineering) (Mathematics in Science and Engineering)

Combined Relaxation Methods for Variational Inequalities
Equilibrium Models and Variational Inequalities
Equilibrium Models and Variational Inequalities
Decidability of Parameterized Verification
Decidability of Parameterized Verification