bibliographer - Tevfik Bultan

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]

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic Tevfik Bultan Richard Gerber William Pugh [github]

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

Synchronizability for verification of asynchronously communicating systems Samik Basu Tevfik Bultan Meriem Ouederni [github]

On deciding synchronizability for asynchronously communicating systems Samik Basu Tevfik Bultan [github]

Choreography conformance via synchronizability Samik Basu Tevfik Bultan [github]

Deciding choreography realizability Samik Basu Tevfik Bultan Meriem Ouederni [github]

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

[show logs] [hide logs]