( en | de | ru )

 

Disambiguation of "Konnov, Igor"

Author of the publication

copydeleteadd this publication to your clipboard
Decidability in Parameterized Verification.

, , , , , , and . SIGACT News, 47 (2): 53-64 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexei Konnov

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Smolitsch

Igor Popov

Igor Yakushev

 

Other publications of authors with the same name

Primal-Dual Method for Optimization Problems with Changing Constraints.. CoRR, (2022)Reachability in Parameterized Systems: All Flavors of Threshold Automata., , and . CONCUR, volume 118 of LIPIcs, page 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Eliminating Message Counters in Threshold Automata., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 196-212. Springer, (2020)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018.. Formal Aspects Comput., 31 (4): 455-456 (2019)Brief Announcement: Holistic Verification of Blockchain Consensus., , , , , and . PODC, page 424-426. ACM, (2022)Partial Linearization Method for Network Equilibrium Problems with Elastic Demands., and . DOOR, volume 9869 of Lecture Notes in Computer Science, page 418-429. Springer, (2016)Tendermint Blockchain Synchronization: Formal Specification and Model Checking., , , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 471-488. Springer, (2020)Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries., , , and . CONCUR, volume 140 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.Tutorial: Parameterized Verification with Byzantine Model Checker, , , and . FORTE, volume 12136 of Lecture Notes in Computer Science, page 189-207. Springer, (2020)