( en | de | ru )

 

Disambiguierung von "Widder, Josef"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

, , , und . Log. Methods Comput. Sci., (2023)

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.

Dieter Josef

Reinhold Josef

Ellen Widder

Bernhard Widder

Stefan Widder

 

Weitere Publikationen von Autoren mit dem selben Namen

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , und . Inf. Comput., (2017)Brief announcement: full reversal routing as a linear dynamical system., , , und . SPAA, Seite 129-130. ACM, (2011)Efficient Checking of Link-Reversal-Based Concurrent Systems., und . CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 486-499. Springer, (2012)Partial is Full., , , und . SIROCCO, Volume 6796 von Lecture Notes in Computer Science, Seite 113-124. Springer, (2011)Full Reversal Routing as a Linear Dynamical System., , , und . SIROCCO, Volume 6796 von Lecture Notes in Computer Science, Seite 101-112. Springer, (2011)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)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)Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use., , , , , und . DSN (Supplements), Seite 11-14. IEEE, (2022)Brief Announcement: Holistic Verification of Blockchain Consensus., , , , , und . PODC, Seite 424-426. ACM, (2022)