32 citations · 85 across the 18 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 32 cited
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, Helmut Veith +1
Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process…
math.OC2016
An Adaptive Partial Linearization Method for Optimization Problems on Product Sets
I. V. Konnov
We suggest an adaptive version of a partial linearization method for composite optimization problems. The goal function is the sum of a smooth function and a non necessary smooth c…
math.OC2016
Selective Bi-coordinate Method for Non-Stationary and Non-Smooth Resource Allocation Type Problems
I. V. Konnov
We propose a method of bi-coordinate variations for non-stationary and non-smooth optimization problems, which involve a single linear equality and box constraints. Here only appro…