bibliographer - M. Yannakakis

bibliographer a curated TCS bibliography

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

A Polynomial Time Algorithm for Computing Extinction Probabilities of Multitype Branching Processes K. Etessami A. Stewart M. Yannakakis [github]

On the Approximability of Trade-offs and Optimal Access of Web Sources C. H. Papadimitriou M. Yannakakis [github]

Checking LTL properties of recursive Markov chains M. Yannakakis K. Etessami [github]

Verifying temporal properties of finite-state probabilistic programs C. Courcoubetis M. Yannakakis [github]

Inference of message sequence charts R. Alur K. Etessami M. Yannakakis [github]

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

[show logs] [hide logs]