Igor Konnov

Decidability of Parameterized Verification

Combined Relaxation Methods for Variational Inequalities

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