Items where Author is "Lenzen, Christoph"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Lenzen, Christoph and Medina, Moti and Saberi, Mehrdad and Schmid, Stefan
(2023) Robust Routing Made Easy: Reinforcing Networks Against Non-Benign Faults.
IEEE/ACM Transactions on Networking. pp. 1-15. ISSN 1063-6692

Anagnostides, Ioannis and Lenzen, Christoph and Haeupler, Bernhard and Zuzic, Goran and Gouleakis, Themis
(2022) Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts.
In: DISC 2022.
Conference: DISC International Symposium on Distributed Computing (was WDAG)
(In Press)

Frei, Marc and Kwon, Jonghoon and Seyedali, Tabaeiaghdaei and Wyss, Marc and Lenzen, Christoph and Perrig, Adrian
(2022) G-SINC: Global Synchronization Infrastructure for Network Clocks.
In: SRDS 2022.
Conference: SRDS Symposium on Reliable Distributed Systems

Fuegger, Matthias and Lenzen, Christoph and Schmid, Ulrich
(2022) On Specifications and Proofs of Timed Circuits.
In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, pp. 1-24. ISBN 978-3-031-22337-2

Lenzen, Christoph and Loss, Julian
(2022) Optimal Clock Synchronization with Signatures.
In: 2022 ACM PODC.
Conference: PODC ACM Symposium on Principles of Distributed Computing

Lenzen, Christoph and Sheikholeslami, Sahar
(2022) A Recursive Early-Stopping Phase King Protocol.
In: ACM Symposium on Principles of Distributed Computing 2022, July 25-29, 2022, Salermo, Italy.
Conference: PODC ACM Symposium on Principles of Distributed Computing
(Submitted)

Bund, Johannes and Lenzen, Christoph and Medina, Moti
(2022) Small Hazard-Free Transducers.
In: 13th Innovations in Theoretical Computer Science (ITCS).
Conference: ITCS Innovations in Theoretical Computer Science
(In Press)

This list was generated on Sat Nov 23 11:04:18 2024 CET.