Josef Widder

MaRDI QIDQ424898zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Brief Announcement: Holistic Verification of Blockchain Consensus Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing	2024-03-26	Paper
Communication-closed asynchronous protocols Computer Aided Verification	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 1517.68216	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 Lecture Notes in Computer Science	2020-07-07	Paper
Time complexity of link reversal routing ACM Transactions on Algorithms	2018-10-30	Paper
In search of lost time Information Processing Letters	2017-11-03	Paper
A logic-based framework for verifying consensus algorithms Lecture Notes in Computer Science	2015-01-13	Paper
Tolerating corrupted communication Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing	2014-03-13	Paper
Link reversal routing with binary link labels: work complexity SIAM Journal on Computing	2013-07-24	Paper
The Theta-Model: achieving synchrony without clocks Distributed Computing	2013-06-28	Paper
Booting clock synchronization in partially synchronous systems with hybrid process and link failures Distributed Computing	2013-06-20	Paper
Efficient checking of link-reversal-based concurrent systems Lecture Notes in Computer Science	2012-09-25	Paper
Consensus in the presence of mortal Byzantine faulty processes Distributed Computing	2012-06-07	Paper
Booting clock synchronization in partially synchronous systems Lecture Notes in Computer Science	2010-02-23	Paper
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection Lecture Notes in Computer Science	2007-09-25	Paper
Adaptive cluster growth: A new algorithm for circuit placement in rectilinear regions CAD. Computer-Aided Design	1992-06-28	Paper

Research outcomes over time

This page was built for person: Josef Widder