( en | de | ru )

 

Disambiguierung von "Konnov, Igor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reachability in Parameterized Systems: All Flavors of Threshold Automata.

, , und . CONCUR, Volume 118 von LIPIcs, Seite 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexei Konnov

Igor Barabash

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

Igor Yakushev

Igor Pilawski

Igor Barsukov

 

Weitere Publikationen von Autoren mit dem selben Namen

Reachability in Parameterized Systems: All Flavors of Threshold Automata., , und . CONCUR, Volume 118 von LIPIcs, Seite 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Eliminating Message Counters in Threshold Automata., , , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 196-212. Springer, (2020)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , und . SFM, Volume 8483 von Lecture Notes in Computer Science, Seite 122-171. Springer, (2014)Partial Linearization Method for Network Equilibrium Problems with Elastic Demands., und . DOOR, Volume 9869 von Lecture Notes in Computer Science, Seite 418-429. Springer, (2016)Brief Announcement: Holistic Verification of Blockchain Consensus., , , , , und . PODC, Seite 424-426. ACM, (2022)Tendermint Blockchain Synchronization: Formal Specification and Model Checking., , , , , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 471-488. Springer, (2020)Limit vector variational inequality problems via scalarization., , und . J. Glob. Optim., 72 (3): 579-590 (2018)Verification of randomized consensus algorithms under round-rigid adversaries, , , und . International Journal on Software Tools for Technology Transfer, (02.02.2021)Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker., , , und . CoRR, (2020)Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker., , , und . Log. Methods Comput. Sci., (2023)