Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Konnov, Igor
Network Lab
View Statistics
Email Alert
RSS Feed
Profile
Profil
Profile
Profil
Full name
Familienname, Vorname
Konnov, Igor
Own Publications
Eigene Publikationen
(All)
All
Conference Papers
Show/Hide filters
Author
4
Konnov, Igor
4
Widder, Josef
1
Bertrand, Nathalie
1
Kukovec, Jure
1
Lazić, Marijana
1
Stoilkovska, Ilina
1
Zuleger, Florian
Date issued
4
2000 - 2024
Close filters
Results 1-4 of 4 (Search time: 0.002 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Authors / Editors
Title
Type
Issue Date
1
Bertrand, Nathalie
;
Konnov, Igor
;
Lazić, Marijana
;
Widder, Josef
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
Konferenzbeitrag
Inproceedings
2019
2
Stoilkovska, Ilina
;
Konnov, Igor
;
Widder, Josef
;
Zuleger, Florian
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Konferenzbeitrag
Inproceedings
2019
3
Konnov, Igor
;
Widder, Josef
ByMC: Byzantine Model Checker
Konferenzbeitrag
Inproceedings
2018
4
Kukovec, Jure
;
Konnov, Igor
;
Widder, Josef
Reachability in Parameterized Systems: All Flavors of Threshold Automata
Konferenzbeitrag
Inproceedings
2018
Claim Researcher Page
Contact via feedback form
If you want contact administrator site clicking the follow button