bibliographer - Azadeh Farzan

bibliographer a curated TCS bibliography

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

The Beauty of Predicate Automata Azadeh Farzan Zachary Kincaid [github]

Commutativity in Automated Verification Azadeh Farzan [github]

Commutativity Simplifies Proofs of Parameterized Programs Azadeh Farzan Dominik Klumpp Andreas Podelski [github]

Learning Minimal Separating DFA's for Compositional Verification Yu-Fang Chen Azadeh Farzan Edmund M. Clarke Yih-Kuen Tsay Bow-Yaw Wang [github]

Proofs That Count Azadeh Farzan Zachary Kincaid Andreas Podelski [github]

Proof Spaces for Unbounded Parallelism Azadeh Farzan Zachary Kincaid Andreas Podelski [github]

Proving Liveness of Parameterized Programs Azadeh Farzan Zachary Kincaid Andreas Podelski [github]

Inductive data flow graphs Azadeh Farzan Zachary Kincaid Andreas Podelski [github]

Proof Spaces for Unbounded Parallelism Azadeh Farzan Zachary Kincaid Andreas Podelski [github]

Strategy synthesis for linear arithmetic games Azadeh Farzan Zachary Kincaid [github]

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

[show logs] [hide logs]