Variational Inequality Type Formulations of General Market Equilibrium Problems with Local Information von Konnov, Igor

Volltext

A Non-monotone Conjugate Subgradient Type Method for Minimization of Convex Functions von Konnov, Igor

Volltext

Municipal solid waste management in circular economy: A sequential optimization model von Allevi, Elisabetta, Gnudi, Adriana, Konnov, Igor V., Oggioni, Giorgia

Volltext

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking von Stoilkovska, Ilina, Konnov, Igor, Widder, Josef, Zuleger, Florian

Volltext

Application of penalty methods to non-stationary variational inequalities von Konnov, Igor V.

Volltext

Verification of randomized consensus algorithms under round-rigid adversaries von Bertrand, Nathalie, Konnov, Igor, Lazić, Marijana, Widder, Josef

Volltext

Correction to: Verification of randomized consensus algorithms under round-rigid adversaries von Bertrand, Nathalie, Konnov, Igor, Lazić, Marijana, Widder, Josef

Volltext

A case study on parametric verification of failure detectors von Tran, Thanh-Hai, Konnov, Igor, Widder, Josef

Volltext

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker von Konnov, Igor, Lazić, Marijana, Stoilkovska, Ilina, Widder, Josef

Volltext

Application of the penalty method to limit quasi-equilibrium problems von Konnov, Igor

Volltext

Dynamic Spatial Auction Market Models with General Cost Mappings von Allevi, Elisabetta, Gnudi, Adriana, Konnov, Igor V., Oggioni, Giorgia

Volltext

Dual Methods for Optimal Allocation of Telecommunication Network Resources with Several Classes of Users von Konnov, Igor, Kashuba, Aleksey, Laitinen, Erkki

Volltext

An Adaptive Partial Linearization Method for Optimization Problems on Product Sets von Konnov, Igor

Volltext

Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2... von Konnov, Igor

Volltext

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking von Konnov, Igor

Volltext

Decomposition Approaches for Constrained Spatial Auction Market Problems von Konnov, Igor V.

Volltext

Combined methods for dynamic spatial auction market models von Allevi, Elisabetta, Gnudi, Adriana, Konnov, Igor V.

Volltext

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability von Konnov, Igor, Veith, Helmut, Widder, Josef

Volltext

A Simple Dual Decomposition Method for Resource Allocation in Telecommunication Networks von Konnov, Igor, Kashuba, Aleksey, Laitinen, Erkki

Volltext

Primal-Dual Method for Optimization Problems with Changing Constraints von Konnov, Igor

Volltext