Konnov, Igor

1. Simplified Versions of the Conditional Gradient Method
   2018/01/16 by Konnov, Igor · 1 citation
   #90C25 #90C30 #FOS: Mathematics #Optimization and Control (math.OC)
2. Holistic Verification of Blockchain Consensus
   2022/06/09 by Nathalie Bertrand, Bertrand, Nathalie, Vincent Gramoli +9 · 1 citation
   Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Parallel #and Cluster Computing (cs.DC)
3. Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
   2012/10/14 by Annu John, Igor Konnov, John, Annu +7 · 2 citations
   Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC) #cs.DC #cs.LO