Függer, Matthias; Lenzen, Christoph; Schmid, Ulrich On specifications and proofs of timed circuits. (English) Zbl 1528.68220 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 107-130 (2022). MSC: 68Q60 94C11 PDFBibTeX XMLCite \textit{M. Függer} et al., Lect. Notes Comput. Sci. 13660, 107--130 (2022; Zbl 1528.68220) Full Text: DOI arXiv
Khanchandani, Pankaj; Lenzen, Christoph Self-stabilizing Byzantine clock synchronization with optimal precision. (English) Zbl 1423.68072 Theory Comput. Syst. 63, No. 2, 261-305 (2019). MSC: 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{P. Khanchandani} and \textit{C. Lenzen}, Theory Comput. Syst. 63, No. 2, 261--305 (2019; Zbl 1423.68072) Full Text: DOI arXiv
Dolev, Danny; Függer, Matthias; Lenzen, Christoph; Perner, Martin; Schmid, Ulrich HEX: scaling honeycombs is easier than scaling clock trees. (English) Zbl 1345.68012 J. Comput. Syst. Sci. 82, No. 5, 929-956 (2016). Reviewer: Jozef Woźniak (Gdańsk) MSC: 68M07 68M12 68M15 94C12 PDFBibTeX XMLCite \textit{D. Dolev} et al., J. Comput. Syst. Sci. 82, No. 5, 929--956 (2016; Zbl 1345.68012) Full Text: DOI