Decidability of Parameterized VerificationRoderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov · First published 2015Open the Tome
Combined Relaxation Methods for Variational InequalitiesIgor Konnov · First published 2000Open the Tome