Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Igor Konnov
Map detail
Igor Konnov8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIgor KonnovAIgor KonnovResearcherPrimal-Dual Method for Optimization Problems with Changing ConstraintsWPrimal-Dual Method for ...preprint / 2022Decentralized Multi-Agent Optimization Based on a Penalty MethodWDecentralized Multi-Age...preprint / 2020Variational Inequality Type Formulations of General Market Equilibrium Problems with Local InformationWVariational Inequality ...preprint / 2020A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed AlgorithmsWA Short Counterexample ...preprint / 2016Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsWCounter Attack on Byzan...preprint / 2013Starting a Dialog between Model Checking and Fault-tolerant Distributed AlgorithmsWStarting a Dialog betwe...preprint / 2012Holistic Verification of Blockchain ConsensusWHolistic Verification o...preprint / 2022
Person7 links

Igor Konnov

Researcher