Send email Copy Email Address
© Tobias Ebelshäuser
Faculty

Christoph Lenzen

Research Group
Algorithmic Foundations and Cryptography

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Awards (selection)

2023: Proof of Concept ERC-Grant

Further Information

Publications by Christoph Lenzen

Year 2022

2022-08

On Specifications and Proofs of Timed Circuits

chapter

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-07-20

Brief Announcement: Almost Universally Optimal Distributed Laplacian Solver

Conference / Medium

ACM Symposium on Principles of Distributed Computing (PODC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-07-20

Optimal Clock Synchronization with Signatures

Conference / Medium

ACM Symposium on Principles of Distributed Computing (PODC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-05-04

A Recursive Early-Stopping Phase King Protocol

Conference / Medium

ACM Symposium on Principles of Distributed Computing (PODC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-01-31

Small Hazard-Free Transducers

Conference / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page