bibliographer - K. Etessami

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]

Analysis of Recursive Game Graphs Using Data Flow Equations K. Etessami [github]

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

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

One-Counter Markov Decision Processes T. Brázdil V. Brożek K. Etessami A. Kučera D. Wojtczak [github]

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

[show logs] [hide logs]