Conference paper
A topological characterization of weakness
Cindy Eisner, Dana Fisman, et al.
PODC 2005
Cindy Eisner, Dana Fisman, et al.
PODC 2005
Cindy Eisner
Electronic Notes in Theoretical Computer Science
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, et al.
Formal Methods in System Design
Cindy Eisner
International Journal on Software Tools for Technology Transfer