I. Konnov

发表

A Class of Combined Iterative Methods for Solving Variational Inequalities

I. Konnov, 1997 .

Combined Relaxation Methods for Generalized Monotone Variational Inequalities

I. Konnov, 2007 .

Equilibrium Models and Variational Inequalities

I. Konnov, 2013 .

Combined Relaxation Methods for Variational Inequalities

I. Konnov, 2000 .

Application of the Proximal Point Method to Nonmonotone Equilibrium Problems

I. Konnov, 2003 .

D-gap Functions for a Class of Equilibrium Problems in Banach Spaces

I. Konnov, O. Pinyagina, 2003 .

Variational Inequalities for Modeling Auction Markets with Price Mappings

I. Konnov, 2008 .

Spatial equilibrium problems for auction type systems

I. Konnov, 2008 .

Descent methods for equilibriumproblems in a Banach space

Jen-Chih Yao, I. Konnov, O. Chadli, 2004 .

Descent methods for monotone equilibrium problems in Banach spaces

I. Konnov, M. Ali, 2006 .

A descent method with inexact linear search for nonsmooth equilibrium problems

I. Konnov, O. Pinyagina, 2008 .

0 : 2 Synthesis of Distributed Algorithms with Parameterized Threshold Guards 1 Introduction

I. Konnov, R. Bloem, M. Lazic, 2017 .

Selective Bi-coordinate Method for Limit Non-Smooth Resource Allocation Type Problems

I. Konnov, 2019 .

Selective Bi-coordinate Method for Non-Stationary and Non-Smooth Resource Allocation Type Problems

I. Konnov, 2016, 1602.05690.

A method of bi-coordinate variations with tolerances and its convergence

I. Konnov, 2016 .

A Method of Bi-coordinate Variations with Tolerances for Optimization Problems with Simplex Type Constraints

I. Konnov, 2016 .

A Simple Adaptive Step-size Choice for Iterative Optimization Methods

I. Konnov, 2018, 1802.00339.

A nonlinear descent method for a variational inequality on a nonconvex set

I. Konnov, 2009 .

Generalized Monotone Equilibrium Problems and Variational Inequalities

I. Konnov, 2005 .

Application of the conditional gradient method to resource allocation in wireless networks

I. Konnov, E. Laitinen, A. Kashuba, 2016 .

Characterizations of Solutions for Vector Equilibrium Problems

Jen-Chih Yao, I. Konnov, Q. Ansari, 2002 .

Existence of a Solution and Variational Principles for Vector Equilibrium Problems

Jen-Chih Yao, I. Konnov, Q. Ansari, 2001 .

Regularization of Nonmonotone Variational Inequalities

I. V. Konnov, I. Konnov, M. Ali, 2006 .

Generalized vector variational inequalities over product sets

Elisabetta Allevi, Adriana Gnudi, I. V. Konnov, 2001 .

On Auction Models of Conflict with Network Applications

I. Konnov, 2014 .

Decomposition Approaches for Constrained Spatial Auction Market Problems

Igor V. Konnov, I. Konnov, 2009 .

Solution method for monotone mixed variational inequalities

I. Konnov, O. Pinyagina, 2011 .

An Alternative Economic Equilibrium Model with Different Implementation Mechanisms

I. Konnov, 2015 .

On the convergence of combined relaxation methods for variational inequalties

I. Konnov, 1998 .

Penalty Method for Reliable Allocations of Wireless Network Resources

Kazan, I. Konnov, 2020 .

The Method of Pairwise Variations with Tolerances for Linearly Constrained Optimization Problems

I. Konnov, 2017, 1701.02874.

Selective Bi-Coordinate Variations for Resource Allocation Type Problems

I. Konnov, 2014 .

Coordinate relaxation methods for multivalued complementarity problems

I. Konnov, 2009 .

On Quasimonotone Variational Inequalities

I. V. Konnov, I. Konnov, 1998 .

Two-level iterative method for non-stationary mixed variational inequalities

Salahuddin, I. V. Konnov, I. Konnov, 2017 .

Application of penalty methods to non-stationary variational inequalities☆

I. Konnov, 2013 .

Application of the penalty method to nonstationary approximation of an optimization problem

I. Konnov, 2014 .

An Inexact Penalty Method for Non Stationary Generalized Variational Inequalities

I. Konnov, 2015 .

The Method of Multipliers for Nonlinearly Constrained Variational Inequalities

I. Konnov, 2002 .

Shares Allocation Methods for Generalized Game Problems with Joint Constraints

I. Konnov, 2016 .

On auction equilibrium models with network applications

I. Konnov, 2015 .

Decomposable penalty method for generalized game problems with joint constraints

I. Konnov, 2020, Optimization.

Decomposition method for zonal resource allocation problems in telecommunication networks

I. Konnov, A. Kashuba, 2016 .

On vector formulations of auction-type problems with applications

I. Konnov, 2016 .

Vector equilibrium problems on unbounded sets

I. Konnov, Zhenhai Liu, 2010 .

Holistic Verification of Blockchain Consensus

Vincent Gramoli, I. Konnov, N. Bertrand, 2022, DISC.

An Approximate Penalty Method with Descent for Convex Optimization Problems

I. Konnov, 2019, Russian Mathematics.

Existence Results for Generalized Vector Equilibrium Problems on Unbounded Sets

E. Allevi, I. Konnov, M. Rocco, 2017 .

Variational inequalities , bilevel models and the optimal pollution emission price problem

E. Allevi, I. Konnov, 2014 .

Decomposable Generalized Vector Variational Inequalities

E. Allevi, I. Konnov, A. Gnudi, 2005 .

GENERALIZED MONOTONE VECTOR VARIATIONAL INEQUALITIES OVER PRODUCT SETS

E. Allevi, I. Konnov, A. Gnudi, 2001 .

Optimization of wireless networks performance : an approach based on a partial penalty method

I. Konnov, E. Laitinen, O. Kashina, 2017 .

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

I. Konnov, Josef Widder, Marijana Lazi'c, 2020, ArXiv.

On systems of extended primal–dual variational inequalities

I. Konnov, 2012 .

Dynamic Equilibrium Model for Spatial Auction Markets

E. Allevi, I. Konnov, A. Gnudi, 2009 .

Application of the Auction Principles in Oligopolistic Models

I. Konnov, 2015 .

Modelling of Auction Type Markets

I. Konnov, 2007 .

The Variational Inequality Approach for Solving Spatial Auction Problems with Joint Constraints

I. Konnov, 2007 .

Descent method with inexact linesearch for mixed variational inequalities

I. Konnov, 2009 .

Model Checking of Fault-Tolerant Distributed Algorithms : from Classics towards Contemporary

I. Konnov, 2018 .

Regularization of non-monotone multi-valued variational inequalities with applications to partitionable problems

E. Allevi, I. Konnov, A. Gnudi, 2006 .

A method for solving a general multi-valued complementarity problem

I. Konnov, I. Pastukhov, 2011 .

AN EXTENDED GAUSS-SEIDEL METHOD FOR MULTI-VALUED MIXED COMPLEMENTARITY PROBLEMS

E. Allevi, I. Konnov, A. Gnudi, 2009 .

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

I. Konnov, Florian Zuleger, Josef Widder, 2021, International Journal on Software Tools for Technology Transfer.

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

I. Konnov, Josef Widder, Marijana Lazi'c, 2020, ArXiv.

A combined toolset for the verification of real-time distributed systems

D. A. Zorin, I. Konnov, V. Zakharov, 2015, Programming and Computer Software.

Combined methods for dynamic spatial auction market models

E. Allevi, I. Konnov, A. Gnudi, 2011, Optimization and Engineering.

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

I. Konnov, Josef Widder, Marijana Lazi'c, 2020, Log. Methods Comput. Sci..

Nonmonotone equilibrium problems: coercivity conditions and weak regularization

Igor V. Konnov, D. A. Dyabilkin, I. Konnov, 2011, J. Glob. Optim..

Splitting-type method for systems of variational inequalities

Igor V. Konnov, I. Konnov, 2006, Comput. Oper. Res..

Municipal solid waste management in circular economy: A sequential optimization model

G. Oggioni, E. Allevi, I. Konnov, 2021 .

Exact penalties for decomposable convex optimization problems

Igor Konnov, I. Konnov, 2021, Optim. Methods Softw..

A Subgradient Projection Method for Set-Valued Network Equilibrium Problems

I. Konnov, O. Pinyagina, 2021, Communications in Computer and Information Science.

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

I. Konnov, 2020, Journal of Optimization Theory and Applications.

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

Igor Konnov, I. Konnov, 2019, J. Optim. Theory Appl..

Optimization Problems for Distribution of Resources in Spatial Systems

I. Konnov, O. Kashina, Erkkki Laitinen, 2009 .

Parameterized Model Checking by Network Invariants: the Asynchronous Case

Igor Konnov, I. Konnov, 2012 .

An invariant-based approach to the verification of asynchronous parameterized networks

Vladimir A. Zakharov, Igor V. Konnov, I. Konnov, 2010, J. Symb. Comput..

A Case Study on Parametric Verification of Failure Detectors pdf

Josef Widder, Igor Konnov, Thanh-Hai Tran, 2021, FORTE.

Verification of randomized consensus algorithms under round-rigid adversaries

Igor Konnov, Josef Widder, Nathalie Bertrand, 2019, International Journal on Software Tools for Technology Transfer.

Tutorial: Parameterized Verification with Byzantine Model Checker

Igor Konnov, Josef Widder, Ilina Stoilkovska, 2020, FORTE.

Cutoffs for Symmetric Point-to-Point Distributed Algorithms

Igor Konnov, Josef Widder, Thanh-Hai Tran, 2020, NETYS.

Parameterized Systems in BIP: Design and Model Checking

Qiang Wang, Joseph Sifakis, Helmut Veith, 2016, CONCUR.

Decidability of Parameterized Verification

Helmut Veith, Sasha Rubin, Igor Konnov, 2015, Synthesis Lectures on Distributed Computing Theory.

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

Helmut Veith, Ulrich Schmid, Igor Konnov, 2014, SFM.

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms pdf

Helmut Veith, Ulrich Schmid, Igor Konnov, 2012, ArXiv.

Reachability in Parameterized Systems: All Flavors of Threshold Automata

Igor Konnov, Josef Widder, Jure Kukovec, 2018, CONCUR.

On variational inequalities for auction market problems

Igor V. Konnov, I. Konnov, 2007, Optim. Lett..

Sequential Approach for Management of Renewable Natural Resources with Applications to Forestry 1

I. V. Konnov, I. Konnov, 2014 .

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2016, POPL.

On the convergence of a regularization method for variational inequalities

I. V. Konnov, I. Konnov, 2006 .

Combined Relaxation Method for Mixed Equilibrium Problems

Jen-Chih Yao, Siegfried Schaible, I. V. Konnov, 2005 .

A combined relaxation method for variational inequalities with nonlinear constraints

Igor V. Konnov, I. Konnov, 1998, Math. Program..

Iterative algorithms for multi-valued inclusions with Z mappings

I. V. Konnov, I. Konnov, 2007 .

An extension of the Jacobi algorithm for multi-valued mixed complementarity problems

I. V. Konnov, I. Konnov, 2007 .

Relatively monotone variational inequalities over product sets

Igor V. Konnov, I. Konnov, 2001, Oper. Res. Lett..

Exact Penalties for Decomposable Optimization Problems

Igor V. Konnov, I. Konnov, 2020, 2010.00630.

Partial proximal point method for nonmonotone equilibrium problems

Igor V. Konnov, I. Konnov, 2006, Optim. Methods Softw..

A combined relaxation method for decomposable variational inequalities

Igor V. Konnov, I. Konnov, 1999 .

Dynamic Spatial Auction Market Models with General Cost Mappings

G. Oggioni, E. Allevi, I. Konnov, 2017 .

Combined methods for dynamic spatial auction market models

Elisabetta Allevi, Adriana Gnudi, Igor V. Konnov, 2012 .

A general class of relative optimization problems

I. Konnov, 2020, Mathematical Methods of Operations Research.

On penalty methods for non monotone equilibrium problems

Igor V. Konnov, I. Konnov, 2014, J. Glob. Optim..

ByMC: Byzantine Model Checker

Igor Konnov, Josef Widder, I. Konnov, 2018, ISoLA.

Decidability in Parameterized Verification

Jennifer L. Welch, I. Konnov, H. Veith, 2016, SIGA.

On the Generalized Vector Variational Inequality Problem

Jen-Chih Yao, I. V. Konnov, I. Konnov, 1997 .

Evaluating the effects of environmental regulations on a closed-loop supply chain network: a variational inequality approach

Elisabetta Allevi, Adriana Gnudi, Igor Konnov, 2018, Ann. Oper. Res..

On the verification of asynchronous parameterized networks of communicating processes by model checking

Igor Konnov, Vladimir A. Zakharov, I. Konnov, 2006 .

A Scalarization Approach for Vector Variational Inequalities with Applications

Igor V. Konnov, I. Konnov, 2005, J. Glob. Optim..

Infinite Player Noncooperative Games with Vector Payoffs Under Relative Pseudomonotonicity

Elisabetta Allevi, Adriana Gnudi, Siegfried Schaible, 2006, J. Glob. Optim..

On convergence of descent methods for variational inequalities in a Hilbert space

Sangho Kum, Gue Myung Lee, Igor V. Konnov, 2002, Math. Methods Oper. Res..

Mixed variational inequalities and economic equilibrium problems

I. V. Konnov, I. Konnov, E. O. Volotskaya, 2002 .

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

Luca Spalazzi, Josef Widder, Igor V. Konnov, 2017, VMCAI.

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Helmut Veith, Ulrich Schmid, Igor Konnov, 2013, 2013 Formal Methods in Computer-Aided Design.

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms pdf

Helmut Veith, Ulrich Schmid, Igor Konnov, 2012, ArXiv.

Eliminating Message Counters in Synchronous Threshold Automata

Florian Zuleger, Igor Konnov, Josef Widder, 2021, VMCAI.

Who is afraid of Model Checking Distributed Algorithms

Helmut Veith, Igor Konnov, Josef Widder, 2012 .

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2015, Ershov Memorial Conference.

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Helmut Veith, Igor Konnov, Josef Widder, 2015, CAV.

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Helmut Veith, Josef Widder, Igor V. Konnov, 2014, Inf. Comput..

TLA+ model checking made symbolic

Igor Konnov, Thanh-Hai Tran, Jure Kukovec, 2019, Proc. ACM Program. Lang..

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, FMBC@CAV.

Extracting Symbolic Transitions from TLA+ Specifications

Igor Konnov, Thanh-Hai Tran, Jure Kukovec, 2018, ABZ.

Challenges in Model Checking of Fault-tolerant Designs in TLA+

Helmut Veith, Igor Konnov, Josef Widder, 2015 .

A Tendermint Light Client pdf

Igor Konnov, Josef Widder, Zarko Milosevic, 2020, ArXiv.

The Proximal Point Method for Nonmonotone Variational Inequalities

Elisabetta Allevi, Adriana Gnudi, Igor V. Konnov, 2006, Math. Methods Oper. Res..

On a regularization method for variational inequalities with P_0 mappings

I. Konnov, E. Mazurkevich, Mohamed A. M. Ali, 2005 .

Partitionable Mixed Variational Inequalities

E. Allevi, I. Konnov, A. Gnudi, 2005 .

Synthesis of Distributed Algorithms with Parameterized Threshold Guards

Igor Konnov, Josef Widder, Roderick Bloem, 2018, OPODIS.

Para\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document}2: parameterized path reduction, acceleration, a

Helmut Veith, Igor Konnov, Josef Widder, 2017, Formal Methods in System Design.

Tendermint Blockchain Synchronization: Formal Specification and Model Checking

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, ISoLA.

Decentralized multi-agent optimization based on a penalty method

Igor V. Konnov, I. Konnov, 2020, Optimization.

On scalarization of vector optimization type problems

I. Konnov, 2012 .

A Combined Relaxation Method for a Class of Nonlinear Variational Inequalities

Igor V. Konnov, I. Konnov, 2002 .

A little about models.

I. V. Konnov, I. Konnov, 2020, 2004.02629.

Gauss–Seidel method for multi-valued inclusions with Z mappings

Elisabetta Allevi, Adriana Gnudi, Siegfried Schaible, 2012, J. Glob. Optim..

A splitting type algorithm for multi-valued complementarity problems

Igor V. Konnov, I. Konnov, 2009, Optim. Lett..

How to make a simple tool for verification of real-time systems

D. A. Zorin, I. Konnov, V. Zakharov, 2014, Automatic Control and Computer Sciences.

Evaluating the effects of environmental regulations on a closed-loop supply chain network: a variational inequality approach

G. Oggioni, E. Allevi, I. Konnov, 2017, Annals of Operations Research.

A cooperative multihop radio resource allocation in next generation networks

T. Braysy, I. Oppermann, I.M. Suliman, 2005, 2005 IEEE 61st Vehicular Technology Conference.

Duality for Equilibrium Problems under Generalized Monotonicity

Siegfried Schaible, I. V. Konnov, S. Schaible, 2000 .

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

Florian Zuleger, Igor Konnov, Josef Widder, 2019, International Journal on Software Tools for Technology Transfer.

A Simple Dual Decomposition Method for Resource Allocation in Telecommunication Networks

Erkki Laitinen, Igor V. Konnov, Aleksey Kashuba, 2016 .

Right-Hand Side Decomposition for Variational Inequalities

Igor V. Konnov, I. Konnov, 2014, J. Optim. Theory Appl..

TWO-LEVEL DECOMPOSITION METHOD FOR RESOURCEALLOCATION IN TELECOMMUNICATION NETWORKS

Igor Konnov, Erkki Laitinen Olga Kashina, I. Konnov, 2012 .

Primal-Dual Method for Optimization Problems with Changing Constraints pdf

Igor Konnov, I. Konnov, 2022, ArXiv.

Combined Relaxation Method for Monotone Equilibrium Problems

I. V. Konnov, I. Konnov, 2001 .

On Convergence Properties of a Subgradient Method

Igor V. Konnov, I. Konnov, 2003, Optim. Methods Softw..

Existence of solutions for generalized vector equilibrium problems

Jen-Chih Yao, I. V. Konnov, I. Konnov, 1999 .

A Strongly Convergent Combined Relaxation Method in Hilbert Spaces

J. Gwinner, I. Konnov, 2014 .