Igor V. Konnov - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2017

2016

Parameterized Systems in BIP: Design and Model CheckingIgor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis. concur 2016: [doi]

2015

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed AlgorithmsIgor V. Konnov, Helmut Veith, Josef Widder. ershov 2016: 6-21 [doi]

A combined toolset for the verification of real-time distributed systemsDmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov. pcs, 41(6):325-335, 2015. [doi]

2014

Optimisation of network resources with zonal auctionsIgor V. Konnov. ijkesdp, 4(4):297-305, 2014. [doi]

How to make a simple tool for verification of real-time systemsIgor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin. accs, 48(7):534-542, 2014. [doi]

2012

Gauss-Seidel method for multi-valued inclusions with Z mappingsElisabetta Allevi, Adriana Gnudi, Igor V. Konnov, Siegfried Schaible. jgo, 53(1):97-105, 2012. [doi]

2011

Optimisation problems for control of distributed resourcesIgor V. Konnov, Olga Kashina, Erkki Laitinen. ijmic, 14(1/2):65-72, 2011. [doi]

2010

Lexicographic and sequential equilibrium problemsMonica Bianchi, Igor V. Konnov, Rita Pini. jgo, 46(4):551-560, 2010. [doi]

Sign reversion approach to concave minimization problemsIgor V. Konnov. ol, 4(4):491-500, 2010. [doi]

An invariant-based approach to the verification of asynchronous parameterized networksIgor V. Konnov, Vladimir A. Zakharov. JSC, 45(11):1144-1162, 2010. [doi]

2009

A splitting type algorithm for multi-valued complementarity problemsIgor V. Konnov. ol, 3(4):573-582, 2009. [doi]

2007

Characterizations of relatively generalized monotone mapsElisabetta Allevi, Adriana Gnudi, Igor V. Konnov, Siegfried Schaible. mmor, 65(2):293-303, 2007. [doi]

On variational inequalities for auction market problemsIgor V. Konnov. ol, 1(2):155-162, 2007. [doi]

2006

2005

A Scalarization Approach for Vector Variational Inequalities with Applications - This paper is dedicated to Professor Franco Giannessi for his 68th birthdayIgor V. Konnov. jgo, 32(4):517-527, 2005. [doi]

2004

Generalized Vector Variational Inequalities over Countable Product of SetsElisabetta Allevi, Adriana Gnudi, Igor V. Konnov. jgo, 30(2-3):155-167, 2004. [doi]

Dual approach for a class of implicit convex optimization problemsIgor V. Konnov. mmor, 60(1):87-99, 2004. [doi]

2002

A Combined Relaxation Method for Nonlinear Variational InequalitiesIgor V. Konnov. oms, 17(2):271-292, 2002. [doi]

On convergence of descent methods for variational inequalities in a Hilbert spaceIgor V. Konnov, Sangho Kum, Gue Myung Lee. mmor, 55(3):371-382, 2002. [doi]

2001

Relatively monotone variational inequalities over product setsIgor V. Konnov. orl, 28(1):21-26, 2001. [doi]

1998

A combined relaxation method for variational inequalities with nonlinear constraintsIgor V. Konnov. mp, 80:239-252, 1998.

Sign in or sign up to see more results.

runs on WebDSL