bibliographer - Richard A. Kemmerer

bibliographer a curated TCS bibliography

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

Binary Reachability Analysis of Discrete Pushdown Timed Automata Zhe Dang Oscar H. Ibarra Tevfik Bultan Richard A. Kemmerer Jianwen Su [github]

Past Pushdown Timed Automata and Safety Verification Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer [github]

Library Size: 13G (2 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]