Name Card

Full name Familienname, Vorname
Widder, Josef
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Konnov Igor V - 2017 - Accuracy of Message Counting Abstraction in...pdf.jpgKonnov, Igor V. ; Widder, Josef ; Spegni, Francesco ; Luca, Spalazzi Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed AlgorithmsInproceedings Konferenzbeitrag 2017
2Konnov Igor V - 2016 - What You Always Wanted to Know About Model Checking of...pdf.jpgKonnov, Igor V. ; Veith, Helmut; Widder, Josef What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed AlgorithmsInproceedings Konferenzbeitrag 2016
3Charron-Bost, Bernadette ; Fuegger, Matthias ; Welch, Jennifer L. ; Widder, Josef Brief announcementKonferenzbeitrag Inproceedings 2011
4Charron-Bost, Bernadette ; Függer, Matthias ; Welch, Jennifer L. ; Widder, Josef Full Reversal Routing as a Linear Dynamical SystemKonferenzbeitrag Inproceedings 2011
5Charron-Bost, Bernadette ; Függer, Matthias ; Welch, Jennifer L. ; Widder, Josef Partial is FullKonferenzbeitrag Inproceedings 2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Stoilkovska Ilina - 2021 - Modeling and verification of synchronous...pdf.jpgStoilkovska, Ilina Modeling and verification of synchronous fault-tolerant distributed algorithmsThesis Hochschulschrift 2021