bibliographer - Zhe Dang

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]

Pushdown timed automata: a binary reachability characterization and safety verification Zhe Dang [github]

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks Zhe Dang [github]

Verification in loosely synchronous queue-connected discrete timed automata Oscar H. Ibarra Zhe Dang Pierluigi San Pietro [github]

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

[show logs] [hide logs]