Cyrus Katrak

SMT 2007: 5th International Workshop on Satisfiability Modulo Theories

Ralph Eric McGregor, R. Majumdar, Hai Lin, 2007 .

Using Paxos For Distributed Agreement

Jacob I. Torrey, Cyrus Katrak, 2008 .

Encoding First Order Proofs in SMT

Hai Lin, Christopher Lynch, Jeremy Bongio, 2008, SMT@CAV.