Josef Widder

Available identifiers

Publication	Date of Publication	Type
Brief Announcement: Holistic Verification of Blockchain Consensus	2024-03-26	Paper
Communication-closed asynchronous protocols	2024-02-16	Paper
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms	2023-08-21	Paper
Eliminating Message Counters in Threshold Automata	2022-12-22	Paper
A reduction theorem for randomized distributed algorithms under weak adversaries	2021-10-18	Paper
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction	2020-07-07	Paper
Time Complexity of Link Reversal Routing	2018-10-30	Paper
In search of lost time	2017-11-03	Paper
A Logic-Based Framework for Verifying Consensus Algorithms	2015-01-13	Paper
Tolerating corrupted communication	2014-03-13	Paper
Link reversal routing with binary link labels: work complexity	2013-07-24	Paper
The Theta-Model: achieving synchrony without clocks	2013-06-28	Paper
Booting clock synchronization in partially synchronous systems with hybrid process and link failures	2013-06-20	Paper
Efficient Checking of Link-Reversal-Based Concurrent Systems	2012-09-25	Paper
Consensus in the presence of mortal Byzantine faulty processes	2012-06-07	Paper
Distributed Computing	2010-02-23	Paper
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection	2007-09-25	Paper
Adaptive cluster growth: A new algorithm for circuit placement in rectilinear regions	1992-06-28	Paper

This page was built for person: Josef Widder