bibliographer - T. A. Henzinger

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Trading memory for randomness K. Chatterjee L. de Alfaro T. A. Henzinger [github]

The algorithmic analysis of hybrid systems R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P.-H. Ho X. Nicollin A. Olivero J. Sifakis S. Yovine [github]

Back to the future: towards a theory of timed regular languages R. Alur T. A. Henzinger [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]