From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Reachability in Parameterized Systems: All Flavors of Threshold Automata.

J. Kukovec, I. Konnov, и J. Widder. CONCUR, том 118 из LIPIcs, стр. 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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.

Alexei Konnov

Igor Barabash

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

Igor Yakushev

Igor Pribicevic

Igor Pilawski

Другие публикации лиц с тем же именем

Reachability in Parameterized Systems: All Flavors of Threshold Automata.J. Kukovec, I. Konnov, и J. Widder. CONCUR, том 118 из LIPIcs, стр. 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Eliminating Message Counters in Threshold Automata.I. Stoilkovska, I. Konnov, J. Widder, и F. Zuleger. ATVA, том 12302 из Lecture Notes in Computer Science, стр. 196-212. Springer, (2020)Brief Announcement: Holistic Verification of Blockchain Consensus.N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, и J. Widder. PODC, стр. 424-426. ACM, (2022)Partial Linearization Method for Network Equilibrium Problems with Elastic Demands.I. Konnov, и O. Pinyagina. DOOR, том 9869 из Lecture Notes in Computer Science, стр. 418-429. Springer, (2016)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.A. Gmeiner, I. Konnov, U. Schmid, H. Veith, и J. Widder. SFM, том 8483 из Lecture Notes in Computer Science, стр. 122-171. Springer, (2014)Tendermint Blockchain Synchronization: Formal Specification and Model Checking.S. Braithwaite, E. Buchman, I. Konnov, Z. Milosevic, I. Stoilkovska, J. Widder, и A. Zamfir. ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 471-488. Springer, (2020)Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.I. Konnov, M. Lazic, I. Stoilkovska, и J. Widder. CoRR, (2020)Limit vector variational inequality problems via scalarization.M. Bianchi, I. Konnov, и R. Pini. J. Glob. Optim., 72 (3): 579-590 (2018)Decomposition Descent Method for Limit Optimization Problems.I. Konnov. LION, том 10556 из Lecture Notes in Computer Science, стр. 166-179. Springer, (2017)Cutoffs for Symmetric Point-to-Point Distributed Algorithms.T. Tran, I. Konnov, и J. Widder. NETYS, том 12129 из Lecture Notes in Computer Science, стр. 329-346. Springer, (2020)

BibSonomy

Disambiguation