Works by Konnov, Igor

Results: 21

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 33, doi. 10.1007/s10009-021-00637-9

By:

Stoilkovska, Ilina;
Konnov, Igor;
Widder, Josef;
Zuleger, Florian

Publication type:

Article

Correction to: Verification of randomized consensus algorithms under round-rigid adversaries.

Published in:

2021

By:

Bertrand, Nathalie;
Konnov, Igor;
Lazić, Marijana;
Widder, Josef

Publication type:

Correction Notice

Verification of randomized consensus algorithms under round-rigid adversaries.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 797, doi. 10.1007/s10009-020-00603-x

By:

Bertrand, Nathalie;
Konnov, Igor;
Lazić, Marijana;
Widder, Josef

Publication type:

Article

On Convergence Properties of a Subgradient Method.

Published in:

Optimization Methods & Software, 2003, v. 18, n. 1, p. 53, doi. 10.1080/1055678031000111236

By:

Konnov, Igor V.

Publication type:

Article

A Combined Relaxation Method for Nonlinear Variational Inequalities.

Published in:

Optimization Methods & Software, 2002, v. 17, n. 2, p. 271, doi. 10.1080/1055678021000012462

By:

Konnov, Igor V.

Publication type:

Article

A combined relaxation method for decomposable variational inequalities.

Published in:

Optimization Methods & Software, 1999, v. 10, n. 5, p. 711, doi. 10.1080/10556789908805735

By:

Konnov, Igor V.

Publication type:

Article

On the convergence of combined relaxation methods for variational inequalties.

Published in:

Optimization Methods & Software, 1998, v. 9, n. 1-3, p. 77, doi. 10.1080/10556789808805687

By:

Konnov, Igor V.

Publication type:

Article

Dual approach for a class of implicit convex optimization problems.

Published in:

Mathematical Methods of Operations Research, 2004, v. 60, n. 1, p. 87, doi. 10.1007/s001860300337

By:

Konnov, Igor V.

Publication type:

Article

Regularization of Nonmonotone Variational Inequalities.

Published in:

Applied Mathematics & Optimization, 2006, v. 53, n. 3, p. 311, doi. 10.1007/s00245-005-0849-7

By:

Konnov, Igor V.;
Ali, M. S. S.;
Mazurkevich, E. O.

Publication type:

Article

A Spatial Equilibrium Problem for the European Pulp and Paper Industry Under the Emission Trading System.

Published in:

Journal of Optimization Theory & Applications, 2024, v. 203, n. 2, p. 1767, doi. 10.1007/s10957-023-02291-4

By:

Allevi, Elisabetta;
Gnudi, Adriana;
Konnov, Igor V.;
Oggioni, Giorgia;
Riccardi, Rossana

Publication type:

Article

Variational Inequality Type Formulations of General Market Equilibrium Problems with Local Information.

Published in:

Journal of Optimization Theory & Applications, 2021, v. 188, n. 2, p. 332, doi. 10.1007/s10957-020-01777-9

By:

Konnov, Igor

Publication type:

Article

A Non-monotone Conjugate Subgradient Type Method for Minimization of Convex Functions.

Published in:

Journal of Optimization Theory & Applications, 2020, v. 184, n. 2, p. 534, doi. 10.1007/s10957-019-01589-6

By:

Konnov, Igor

Publication type:

Article

An Adaptive Partial Linearization Method for Optimization Problems on Product Sets.

Published in:

Journal of Optimization Theory & Applications, 2017, v. 175, n. 2, p. 478, doi. 10.1007/s10957-017-1175-3

By:

Konnov, Igor

Publication type:

Article

The Method of Multipliers for Nonlinearly Constrained Variational Inequalities.

Published in:

Optimization, 2002, v. 51, n. 6, p. 907, doi. 10.1080/0233193021000066473

By:

Konnov, Igor V.

Publication type:

Article

A Combined Relaxation Method for a Class of Nonlinear Variational Inequalities.

Published in:

Optimization, 2002, v. 51, n. 1, p. 127, doi. 10.1080/02331930211990

By:

Konnov, Igor V.

Publication type:

Article

A Class of Combined Relaxation Methods for Decomposable Variational Inequalities.

Published in:

Optimization, 2002, v. 51, n. 1, p. 109, doi. 10.1080/02331930211985

By:

Konnov, Igor v.

Publication type:

Article

A Strongly Convergent Combined Relaxation Method in Hilbert Spaces.

Published in:

Numerical Functional Analysis & Optimization, 2014, v. 35, n. 7-9, p. 1066, doi. 10.1080/01630563.2014.897134

By:

Konnov, Igor;
Gwinner, Joachim

Publication type:

Article

Dynamic Spatial Auction Market Models with General Cost Mappings.

Published in:

Networks & Spatial Economics, 2017, v. 17, n. 2, p. 367, doi. 10.1007/s11067-016-9330-1

By:

Allevi, Elisabetta;
Gnudi, Adriana;
Konnov, Igor;
Oggioni, Giorgia

Publication type:

Article

Decomposition Approaches for Constrained Spatial Auction Market Problems.

Published in:

Networks & Spatial Economics, 2009, v. 9, n. 4, p. 505, doi. 10.1007/s11067-008-9083-6

By:

Konnov, Igor

Publication type:

Article

A CASE STUDY ON PARAMETRIC VERIFICATION OF FAILURE DETECTORS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(117)2023

By:

THANH-HAI TRAN;
KONNOV, IGOR;
WIDDER, JOSEF

Publication type:

Article

SURVEY ON PARAMETERIZED VERIFICATION WITH THRESHOLD AUTOMATA AND THE BYZANTINE MODEL CHECKER.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(15)2023

By:

KONNOV, IGOR;
LAZIĆ, MARIJANA;
STOILKOVSKA, ILINA;
WIDDER, JOSEF

Publication type:

Article