Browsing by Author Widder, Josef
Showing results 1 to 5 of 5
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Widder, Josef | Distributed computing in the presence of bounded asynchrony | Thesis Hochschulschrift   | 2004 |
 | Gmeiner, Annu | Parameterized model checking of fault-tolerant distributed algorithms | Thesis Hochschulschrift | 2015 |
 | Aminof, Benjamin; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef; Zuleger, Florian | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction | Inproceedings Konferenzbeitrag | 2018 |
 | Lazi, Marijana | Reduction techniques for parameterized model checking and synthesis of fault-tolerant distributed algorithms | Thesis Hochschulschrift | 2019 |
 | Widder, Josef | Switching on : how processes initialize for consistent broadcast | Thesis Hochschulschrift | 2002 |